17.3 Comparisons of Unknowns

To compare unknowns with other objects, the operators <, <=, =, =, and < can be used. The result will be true if the first operand is smaller, smaller or equal, equal, larger or equal, larger, or inequal, respectively, and false otherwise.

We have Unknown( n ) = Unknown( m ) if and only if n = m holds; unknowns are larger than cyclotomics and finite field elements, unknowns are smaller than all objects which are not cyclotomics, finite field elements or unknowns.

    gap> Unknown() >= Unknown();
    false
    gap> Unknown(2) < Unknown(3);
    true
    gap> Unknown() > 3;
    true
    gap> Unknown() > Z(8);
    false
    gap> Unknown() > E(3);
    true
    gap>  Unknown() > [];
    false

Previous Up Top Next
Index