Function THE-ZERO-DYAD-OF-TYPE

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

Slots on this function:

Documentation:

The ?spatdim dimensional zero dyad of physical dimension ?physdim.

Instance-Of: Function

Arity: 3

Axioms:

(Nth-Domain The-Zero-Dyad-Of-Type 2 Physical-Dimension)

(Nth-Domain The-Zero-Dyad-Of-Type 1 Positive-Integer)

(Nth-Domain The-Zero-Dyad-Of-Type 3 Dyad)

Other Related Axioms:

(Forall (?Physdim ?Spatdim)
        (Abelian-Group (Dyad-Of-Dimensions ?Physdim ?Spatdim)
                       +
                       (The-Zero-Dyad-Of-Type ?Spatdim ?Physdim)))

(=> (= (The-Zero-Dyad-Of-Type ?Spatdim ?Physdim) ?V0)
    (Forall (?V)
            (=> (Dyad ?V)
                (= (Dot ?V ?V0)
                   (The-Zero-Scalar-For-Dimension ?Physdim)))))