Function RECIP

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

Slots on this function:

Documentation:

RECIP is the multiplicative inverse operator for unary-scalar-function-quantities.

Instance-Of: Function, Relation-extended-to-function-quantities

Axioms:

(=> (And (Unary-Scalar-Function-Quantity ?X) (Recip ?X ?Y))
    (Unary-Scalar-Function-Quantity ?Y))