Class 3D-FRAME

• Defined in theory: Simple-geometry
• Source code: simple-geometry.lisp

Slots on this class:

Documentation:

A frame in 3D space. A triad of orthonormal basis vectors.

Instance-Of: Class

Subclass-Of: Orthonormal-basis

---

Slots on instances of this class:

Basis.Dimension: 3

Equivalence Axioms:

(<=> (3d-Frame ?F)
     (And (Orthonormal-Basis ?F) (Basis.Dimension ?F 3)))

Axioms:

(Orthonormal-Basis ?F)

Other Related Axioms:

(<= (Basis.Dimension $X 3) (3d-Frame $X))

(<=> (3d-Frame ?F)
     (And (Orthonormal-Basis ?F) (Basis.Dimension ?F 3)))

(Nth-Domain Orientation 2 3d-Frame)

(Nth-Domain Orientation 1 3d-Frame)