| 2.1.3 Commands and Functions returning BOOL |
| and | boolean "and" operator |
| AreGensMonomial | checks if given gens are monomial |
| AreGensSqFreeMonomial | checks if given gens are squarefree monomial |
| EqSet | checks if the set of elements in two lists are equal |
| Equality Operator | test whether two values are equal or not |
| HasGBasis | checks if the argument has a pre-computed GBasis |
| IsAntiSymmetric | checks if a matrix is anti-symmetric |
| IsArrCentral | checks if the arrangement is central |
| IsArrFree | checks if the arrangement is free |
| IsAtEOF | checks if input stream has reached end of input |
| IsCommutative | test whether a ring is commutative |
| IsConstant | checks if a ringelem is in the coefficient ring |
| IsContained | checks if A is Contained in B |
| IsCoprime | checks if two elements are coprime |
| IsDiagonal | checks if a matrix is diagonal |
| IsDivisible | checks if A is divisible by B |
| IsElem | checks if A is an element of B |
| IsEmpty | checks if a list is empty |
| IsEven, IsOdd | test whether an integer is even or odd |
| IsEvenPoly, IsOddPoly | test whether a polynomial is even or odd as a function |
| IsFactorClosed | test whether a list of PPs is factor closed |
| IsField | test whether a ring is a field |
| IsFiniteField | test whether a ring is a finite field |
| IsFractionField | test whether a ring is a fraction field |
| IsHomog | test whether given polynomials are homogeneous |
| IsIn | check if one object is contained in another |
| IsIndet | check if argument is an indeterminate |
| IsIndetPosPower | check if argument is a power of an indeterminate |
| IsInImage | check if a RINGELEM is in image of RINGHOM |
| IsInjective | check if a RINGHOM is injective |
| IsInRadical | check if a polynomial (or ideal) is in a radical |
| IsInteger | check if a RINGELEM is integer |
| IsIntegralDomain | test whether a ring is integral |
| IsInvertible | check if a RINGELEM is invertible |
| IsIrred | check if a RINGELEM is irreducible |
| IsLattice | checks if the poset is a lattice |
| IsLexSegment | checks if an ideal is lex-segment |
| IsLRSDegenerate | checks the given polynomial for LRS-degeneracy |
| IsLRSDegenerateOrder | checks the given polynomial for n-LRS-degeneracy |
| IsMaximal | maximality test |
| IsMinusOne | test whether an object is -1 |
| IsMultiArrFree | checks if the multiarrangement is free |
| IsOne | test whether an object is one |
| IsPalindromic | test whether a univariate polynomial is palindromic |
| IsPolyRing | test whether a ring is a polynomial ring |
| IsPosetGraded | checks if the poset is graded |
| IsPositiveGrading | check if a matrix defines a positive grading |
| IsPowerOf2 | check if an integer is a power of 2 |
| IsPrimary | primary test |
| IsPrime | prime integer test |
| IsPrimitivePoly | test if polynomial over finite field is primitive |
| IsProbPrime | checks if an integer is a probable prime |
| IsPthPower | p-th power test |
| IsQQ | test whether a ring is the ring of rationals |
| IsQuotientRing | test whether a ring is a quotient ring |
| IsRadical | check if an IDEAL is radical |
| IsRational | check if a RINGELEM is rational |
| IsSigmaGoodPrime | check if INT is good prime for IDEAL |
| IsSqFree | check if an INT or RINGELEM is square-free |
| IsSquare | check if an INT is a square |
| IsStable | checks if an ideal is stable |
| IsStdGraded | checks if the grading is standard |
| IsStronglyStable | checks if an ideal is strongly stable |
| IsSubset | checks if the elements of one list are a subset of another |
| IsSurjective | check if a RINGHOM is surjective |
| IsSymmetric | checks if a matrix is symmetric |
| IsTerm | checks if the argument is a term |
| IsTermOrdering | check if a matrix defines a term-ordering |
| IsTrueGCDDomain | test whether a ring is a true GCD domain |
| IsZero | test whether an object is zero |
| IsZeroCol, IsZeroRow | test whether a column(row) is zero |
| IsZeroDet | test whether determinant is zero |
| IsZeroDim | test whether an ideal is zero-dimensional |
| IsZeroDivisor | test whether a RINGELEM is a zero-divisor |
| IsZZ | test whether a ring is the ring of integers |
| not | boolean "not" operator |
| or | boolean "or" operator |
| Order Comparison Operators | less than, greater than, ... |