Class NUMERIC-MATRIX

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

Slots on this class:

Documentation:

Class of matrices whose elements are nondimensional quantities

Instance-Of: Class

Subclass-Of: Dimensionless-quantity, Matrix-quantity

Superclass-Of: Identity-matrix

Equivalence Axioms:

(<=> (Numeric-Matrix ?M)
     (And (Matrix-Quantity ?M) (Dimensionless-Quantity ?M)))

Axioms:

(Dimensionless-Quantity ?M)

(Matrix-Quantity ?M)

Other Related Axioms:

(<=> (Numeric-Matrix ?M)
     (And (Matrix-Quantity ?M) (Dimensionless-Quantity ?M)))