Ax::efficientOperation -- the axiom of
efficient operations
IntroductionAx::efficientOperation((oper)) states that
operation oper can be performed efficiently.
Generating
the axiomAx::efficientOperation(oper)
Parametersoper |
- | A string which defines the efficient operation. |
DetailsAx::efficientOperation(oper) is
used to state that the operation oper can be performed
efficiently.oper must be the name of the operations
slot in the domain stating the axiom. Examples are
"_mult", "_invert" or
"_divide".