Class MATRIX-QUANTITY

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

Slots on this class:

Documentation:

Class of matrices whose elements are quantities

Subclass-Of: Matrix, Physical-quantity

Axioms:

(<=> (Matrix-Quantity ?M)
     (And (Matrix ?M)
          (Physical-Quantity ?M)
          (Forall (?I ?J)
                  (=> (Defined (Value ?M ?I ?J))
                      (= (Quantity.Dimension ?M)
                         (Quantity.Dimension (Value ?M ?I ?J)))))))