Class UNIT-VEC

• Defined in theory: Tensor-quantities
• Source code: tensor-quantities.lisp

Slots on this class:

Documentation:

Unit length vectors.

Subclass-Of: Vector-quantity

---

Slots on instances of this class:

Quantity.Dimension: Identity-dimension

Axioms:

(<=> (Unit-Vec ?V)
     (And (Vector-Quantity ?V)
          (= (Quantity.Dimension ?V) Identity-Dimension)
          (= (Dot ?V ?V) 1)))