The relational operators are:
= <> < > <= >= IsIn
The operator IsIn is quite flexible: see its manual for an explanation.
The other relational operators can be applied to two objects of the same type.
The admissible types for = and <> are:
NULL, BOOL, STRING, TYPE, INT, RAT, ZMOD, POLY, RATFUN,
VECTOR, IDEAL, MODULE, MAT, LIST.
The admissible types for the other relational operators are:
STRING, TYPE, INT, RAT, IDEAL, MODULE.
The meaning of < for string is the lexicographic comparison. For
ideals and modules A < B and A <= B both mean that A is (not
necessarily strictly) contained in B.
NOTE: It is sometimes hard to judge the type of an expression from the
appearance of CoCoA output, leading to confusing results from the
relational operators. Here is an simple example:
|