Function SUMMATION

• Defined in theory: Physical-quantities
• Source code: physical-quantities.lisp

Slots on this function:

Documentation:

Summation operator for a function that represents an integer indexed quantity.

Instance-Of: Function

Implication Axioms:

(=> (And (Range ?Func Physical-Quantity)
         (Summation ?Func ?Start ?End ?Q))
    (And (Physical-Quantity ?Q) (Integer ?Start) (Integer ?End)))

Other Related Axioms:

(=> (And (Range ?Func Physical-Quantity)
         (Summation ?Func ?Start ?End ?Q))
    (And (Physical-Quantity ?Q) (Integer ?Start) (Integer ?End)))