Negate: Difference between revisions
Content added Content deleted
mNo edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
{{primitive|-x}} |
|||
The '''negate''' function, generally denoted by <code>-</code>, is used for getting the additive inverse of a number in K(numeric negation). |
The '''negate''' function, generally denoted by <code>-</code>, is used for getting the additive inverse of a number in K(numeric negation). |
||
Revision as of 19:00, 8 July 2021
Negate
-x
The negate function, generally denoted by -
, is used for getting the additive inverse of a number in K(numeric negation).
When applied directly to a numeric literal, -
should be followed by a space to prevent it from becoming the sign of its first item.
The negate primitive is right atomic.
-[3] -3 - 9 8 7 -9 -8 -7 -(9;(8;-56);(7;-65)) (-9 -8 56 -7 65)