This is very preliminary documentation. These functions are about matrices
which define term orderings. They expect and return matrices over RingZ
.
IsTermOrdering(M)
-- true iff matrix M defines a term ordering
NewPositiveMat(M)
-- returns a matrix with non-negative entries
which defines an equivalent term-ordering (but grading may
be different!)
IsPositiveGrading(M, GradingDim)
-- true iff the first
GradingDim rows of M define a positive grading
NewMatMinimize(M)
-- the (ordering) matrix obtained by removing
linearly dependent rows
NewDenseMatRevLex(n)
-- produce the n-by-n dense matrix over
RingZ
corr to the revlex ordering on n indets
NewMatCompleteOrd(ConstMatrixView M)
-- ???
NewMatElim(NumIndets, IndetsToElim)
-- returns the dense matrix
for the elimination ordering of the given indets
NewMatElim(GradingM, IndetsToElim, IsHomog)
-- ???
Doc is woefully incomplete.
Definitely don't like the name NewMatMinimize!
Fixed 2009-09-22: Naming convention not respected ("Matrix" should be "Mat")