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 that from CoCoA-5.1 not is a function, so its argument must be between brackets!

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

See Also