next
|
previous
|
forward
|
backward
|
up
|
top
|
index
|
toc
|
home
Macaulay2
>
The Macaulay2 language
>
operators
>
not
not -- negation
Description
not x
-- yields the negation of x, which must be true or false.
See also
and
-- conjunction
or
-- disjunction
For the programmer
The object
not
is
a
keyword
.
This operator may be used as a prefix unary operator in an expression like
not y
. The user may install a method for handling such expressions with code such as
not Y := (y) -> ...
where
Y
is the class of
y
.