Function RECIP

• Defined in theory: Scalar-quantities
• Source code: scalar-quantities.lisp
• Also defined in: Physical-quantities, Unary-scalar-functions

Slots on this function:

Documentation:

RECIP defines the specialization of the multiplicative inverse operator for scalar-quantities.

Axioms:

(=> (And (Scalar-Quantity ?X) (Recip ?X ?Y))
    (And (Scalar-Quantity ?Y)
         (Forall (?Dim)
                 (=> (/= ?X (The-Zero-Scalar-For-Dimension ?Dim))
                     (= (* ?X ?Y) Identity-Scalar)))))