MatrixForOrdering

© 2008 Anna Bigatti
GNU Free Documentation License, Version 1.2



index page

User Documentation

This is very preliminary documentation. These functions are about matrices which define term orderings.

IsTermOrdering(M)
true iff matrix M defines a term ordering

NewPositiveMatrix(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
NewMatrixMinimize(M)
the (ordering) matrix obtained by removing linearly dependent rows

NewDenseMatRevLex(R, n)
produce the n-by-n dense matrix corr to the revlex ordering on n indets

NewMatrixCompleteOrd(ConstMatrixView M)
???

NewMatrixElim(NumIndets, IndetsToElim)
product the dense matrix for the elimination ordering of the given indets

NewMatrixElim(GradingM, IndetsToElim, IsHomog)
???

Maintainer Documentation

Bugs, Shortcomings, and other ideas

Doc is woefully incomplete.

Naming convention not respected ("Matrix" should be "Mat").

Definitely don't like the name NewMatrixMinimize!