EqSet

checks if the set of elements in two lists are equal

IsAntiSymmetric

checks if a matrix is antisymmetric

IsDefined

check if an expression has been defined

IsDiagonal

checks if a matrix is diagonal

IsEven, IsOdd

test whether an integer is even or odd

IsHomog

test whether given polynomials are homogeneous

IsIn

check if one object is contained in another

IsLexSegment

checks if an ideal is lexsegment

IsNumber

checks if the argument is a number

IsPositiveGrading

check if a matrix defines a positive grading

IsPPrime

checks if an integer is a probable prime

IsPrime

prime integer test

Isqrt

(truncated) square root of an integer

IsServerReady

checks if CoCoAServer is running

IsStable

checks if an ideal is stable

IsStronglyStable

checks if an ideal is strongly stable

IsSubset

checks if the elements of one list are a subset of another

IsSymmetric

checks if a matrix is symmetric

IsTerm

checks if the argument is a term

IsTermOrdering

check if a matrix defines a termordering

IsZero

test whether an object is zero

Not, And, Or

boolean operators
