The Simplify command attempts to simplify an ideal using a Groebner basis.  It always detects whether the ideal is equivalent to the entire polynomial ring.

The Simplify command can be applied directly to sequences of ideals, but must be mapped onto lists and sets.

A monomial order, T, can be specified as an optional argument, forcing ideals into a canonical form.

The set of ring variables can also be overridden using an optional argument.  If the new variables are a subset of the original ones, this computes the extension of the ideal in the new polynomial ring. The Contract command inverts this process when it is possible to do so.  Groebner bases that are stored by the system are not preserved under this operation.

Simplify can optionally perform syntactic substitutions prior to the computation of a Groebner basis.  This is equivalent to using the eval command on the ideal generators.  Stored Groebner bases are not preserved under this operation.

Simplify can also simplify under the assumption that certain expressions are not equal.  This functionality is equivalent to that of the Saturate command, and can be of great assistance on large problems.