-
Notifications
You must be signed in to change notification settings - Fork 1
concept dimension
kwikius edited this page Jun 25, 2020
·
27 revisions
| Home | Concepts | TypeTemplates | Types |
signature of an abstract physical quantity for use in dimensional analysis
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 | D | local result |
| expression | requires | result type | notes |
|---|---|---|---|
| d1 * d2 | d1 != dimensionless{} / d2 | dres | |
| d1 * d2 | d1 == dimensionless{} / d2 | dimensionless | |
| d1 / d2 | d1 != d2 | dres | |
| d1 / d2 | d1 == d2 | dimensionless | |
| d * dimensionless{} | d | ||
| d / dimensionless{} | d | ||
| dimensionless{} * d | d | ||
| dimensionless{} / d | dres | dres is inverse dimension of d |