(Nth-Domain Tensor-To-Matrix 3 Matrix-Quantity)
(Nth-Domain Tensor-To-Matrix 2 Orthonormal-Basis)
(Nth-Domain Tensor-To-Matrix 1 Tensor-Quantity)
(<=> (Tensor-To-Matrix ?T ?Basis ?M)
(And (Tensor-Quantity ?T)
(Orthonormal-Basis ?Basis)
(=> (Member ?Q (Tensor-Order ?T)) (Member ?Q (Setof 1 2)))
(Matrix-Quantity ?M)
(=> (= (Tensor-Order ?T) 1)
(= (Row-Dimension ?M) 1)
(= (Column-Dimension ?M) (Spatial.Dimension ?T))
(Forall (?I)
(= (Value ?M 1 ?I)
(Vector-Component ?T ?I ?Basis))))
(=> (= (Tensor-Order ?T) 2)
(Square-Matrix ?M)
(= (Size ?M) (Spatial.Dimension ?T))
(Forall (?I ?J)
(= (Value ?M ?I ?J)
(Dyad-Component ?T ?I ?J ?Basis))))))