Unit-of-measure IDENTITY-UNIT

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

Slots on this instance:

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)

(= Identity-Unit 1)