up previous next
 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 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 t1 is coprime with t2 IsDiagonal checks if a matrix is diagonal IsDivisible checks if A is divisible by B IsElem checks if A is an element of B 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 IsMaximal maximality test IsMinusOne test whether an object is -1 IsMultiArrFree checks if the multiarrangement is free IsOne test whether an object is one 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 IsPrimary primary test IsPrime prime integer test 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" operators Order Comparison Operators less than, greater than, ...