Resolution -- the class of all resolution computations

Resolution -- the class of all resolution computations

The type Resolution is a member of the class Type. Each object of class Resolution is called a resolution. Each resolution is also a member of class MutableHashTable.

More general types (whose methods may also apply) :

MutableHashTable -- the class of all mutable hash tables

HashTable -- the class of all hash tables

These resolutions are internal engine objects not meant to be examined by the user.

Methods for using a resolution :

generators(ZZ,Resolution)

getChangeMatrix(ZZ,Resolution)

leadTerm(ZZ,ZZ,Resolution)

mingens(ZZ,Resolution)

status Resolution

summary Resolution

toString Resolution