next up previous contents index
Next: add!,minus! Up: AdditiveType Previous: .   Contents   Index


+,-


Usage

$x + y$
$x - y$
$-x$


Signatures

$-$: % $\to$ %
$+,-$: (%, %) $\to$ %


Parameter Type Description
x,y % elements of the type


Returns

$x + y, x - y$ return respectively the sum and difference $x$ with $y$, while $-x$ returns the opposite of $x$.


See Also

add!, minus!



Manuel Bronstein 2004-06-28