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.

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)

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