Class TENSOR-QUANTITY

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

Slots on this class:

Documentation:

Every tensor has an associated spatial dimension and tensor order. Each tensor-quantity can be decomposed into scalar components for a given orthonormal basis of the proper dimension (except of . The physical-dimension of a scalar component of the tensor-quantity is equivalent to the physical-dimension of the tensor-quantity.

Subclass-Of: Constant-quantity

---

Slots on instances of this class:

Spatial.Dimension:

Slot-Cardinality: 1

Slot-Value-Type: Non-negative-integer

Tensor-Order:

Slot-Cardinality: 1

Slot-Value-Type: Non-negative-integer

Axioms:

(<=> (And (Tensor-Quantity ?T) (= (Tensor-Order ?T) 0))
     (Scalar-Quantity ?T))