Gröbner basis project
Codebase for research into Gröbner basis computation
Matrix_Ordering Class Reference

orderings defined by a nonsingular matrix More...

#include <particular_orderings.hpp>

Inheritance diagram for Matrix_Ordering:
Monomial_Ordering

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
 

Detailed Description

orderings defined by a nonsingular matrix

Author
John Perry
Date
2016

Definition at line 476 of file particular_orderings.hpp.

Member Function Documentation

◆ cmp()

virtual int Matrix_Ordering::cmp ( const Monomial t,
const Monomial u 
) const
inlinevirtual

{@

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.


The documentation for this class was generated from the following files: