-
Notifications
You must be signed in to change notification settings - Fork 1
concept dimension
kwikius edited this page Jun 26, 2020
·
27 revisions
| Home | Concepts | TypeTemplates | Types |
'constexpr all the things' instantiable signature of an abstract physical quantity with dimensional algebra operations.
A dimension is a base_quantity_exponent , a dimension_list or a custom_dimension.
https://en.wikipedia.org/wiki/Dimensional_analysis
https://en.wikipedia.org/wiki/Quantity_calculus
| type | model of | notes |
|---|---|---|
| D | dimension | |
| D1 | dimension | |
| D2 | dimension | |
| Dres | dimension |
| value | type | notes |
|---|---|---|
| d | D | |
| d1 | D1 | |
| d2 | D2 | |
| dres | Dres | local result |
| expression | requires | result type | notes |
|---|---|---|---|
| d1 * d2 | d1 != dimensionless{} / d2 | dres | constexpr |
| d1 * d2 | d1 == dimensionless{} / d2 | dimensionless | constexpr |
| d1 / d2 | d1 != d2 | dres | constexpr |
| d1 / d2 | d1 == d2 | dimensionless | constexpr |
| d * dimensionless{} | d | constexpr | |
| d / dimensionless{} | d | constexpr | |
| dimensionless{} * d | d | constexpr | |
| dimensionless{} / d | dres | dres is inverse dimension of d, constexpr |