Unit-of-measure IDENTITY-UNIT

• Defined in theory: Physical-quantities
• Source code: physical-quantities.lisp

Slots on this unit-of-measure:

Documentation:

The identity unit can be combined with any other unit to produce the same unit. The identity unit is the real number 1. Its dimension is the identity-dimension.

Instance-Of: Unit-of-measure

Axioms:

(= (Quantity.Dimension Identity-Unit) Identity-Dimension)

Other Related Axioms:

(Abelian-Group Unit-Of-Measure * Identity-Unit)