Class UNIT-VEC

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

Slots on this class:

Documentation: Unit length vectors.

Instance-Of: Class

Subclass-Of: Vector-quantity

---

Slots on instances of this class:

Quantity.Dimension: Identity-dimension

Equivalence Axioms:

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

Axioms:

(= (Dot ?V ?V) 1)

(Vector-Quantity ?V)

Other Related Axioms:

(<= (Quantity.Dimension $X Identity-Dimension) (Unit-Vec $X))

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

(Nth-Domain Basis.Vec 3 Unit-Vec)