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!