Function BASIS.VEC

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

Slots on this function:

Documentation:

Function to select the individual unit vectors of a basis.

Arity: 3

Axioms:

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

(Nth-Domain Basis.Vec 2 Positive-Integer)

(Nth-Domain Basis.Vec 1 Orthonormal-Basis)

(=> (Basis.Vec ?Basis ?N ?Uv) (=< ?N (Basis.Dimension ?Basis)))