Gröbner basis project
Codebase for research into Gröbner basis computation
|
orderings defined by a nonsingular matrix More...
#include <particular_orderings.hpp>
Public Member Functions | |
Matrix_Ordering (NVAR_TYPE rows, NVAR_TYPE cols, const WT_TYPE **data) | |
checks that data defines a nonsingular matrix, and sets things up | |
virtual int | cmp (const Monomial &t, const Monomial &u) const |
{@ More... | |
virtual bool | first_larger (const Monomial &t, const Monomial &u) const |
returns true iff first Monomial is larger than second | |
virtual bool | first_larger_than_multiple (const Monomial &t, const Monomial &u, const Monomial &v) const |
returns true iff first Monomial is larger than product of second and third | |
virtual bool | first_smaller (const Monomial &t, const Monomial &u) const |
returns true iff first Monomial is smaller than second | |
Protected Attributes | |
const NVAR_TYPE | m |
the number of rows | |
const NVAR_TYPE | n |
the number of columns | |
const WT_TYPE ** | W |
the matrix that defines this ordering | |
orderings defined by a nonsingular matrix
Definition at line 476 of file particular_orderings.hpp.
{@
returns 0 if the Monomials are like; negative if smaller, positive if larger – for efficiency, you probably want to redefine this
Implements Monomial_Ordering.
Definition at line 497 of file particular_orderings.hpp.