Negate: Difference between revisions

Content added Content deleted

Inline

Revision as of 16:08, 8 July 2021

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)

@@ Line 1: / Line 1: @@
 The '''negate''' function, generally denoted by <code>-</code>, is used for getting the additive inverse of a number in K(numeric negation).
-When applied directly to a numeric list literal, <code>-</code> should be followed by a space to prevent it from becoming sign of the first item.
+When applied directly to a numeric literal, <code>-</code> should be followed by a space to prevent it from becoming the sign of its first item.
 The negate primitive is [[Atomicity|right atomic.]]<pre>