up previous next
not    --    boolean "not" operator


Syntax
not(A: BOOL): BOOL

Description
This function negates a boolean: i.e. if A gives true then not(A) gives false, and vice versa.

NOTE: from CoCoA-5.1 not is a function, so its argument must be between round brackets!

Example
/**/  [n in 1..10 | not(IsPrime(n))];
[1,4,6,8,9]

See Also