Gröbner basis project
Codebase for research into Gröbner basis computation
Weighted_Ordering Class Referenceabstract

interface to a weighted monomial ordering More...

#include <monomial_ordering.hpp>

Inheritance diagram for Weighted_Ordering:
Monomial_Ordering CachedWGrevlex_Ordering WGrevlex

Public Member Functions

Basic properties
virtual const WT_TYPE * order_weights ()=0
 returns the weights used by this orderings
 
- Public Member Functions inherited from Monomial_Ordering
virtual ~Monomial_Ordering ()
 needs virtual destructor for polymorphic delete
 
virtual void set_data (Monomial &)
 sets monomial ordering’s data; default is to do nothing
 
virtual int cmp (const Monomial &t, const Monomial &u) const =0
 {@ More...
 
virtual bool first_larger (const Monomial &, const Monomial &) const =0
 returns true iff the first Monomial is larger than the second
 
bool first_larger_or_equal (const Monomial &, const Monomial &) const
 returns true iff the first Monomial is larger or equal to the second More...
 
virtual bool first_smaller (const Monomial &, const Monomial &) const =0
 returns true iff the first Monomial is smaller than the second More...
 
bool first_smaller_or_equal (const Monomial &, const Monomial &) const
 returns true iff the first Monomial is smaller or equal to the second More...
 
virtual bool first_larger_than_multiple (const Monomial &, const Monomial &, const Monomial &) const =0
 returns true iff the first Monomial is larger than the specified multiple of the second
 
bool first_larger_or_equal_than_multiple (const Monomial &, const Monomial &, const Monomial &) const
 returns true iff the first Monomial is larger or equal to the specified multiple of the second More...
 
bool first_smaller_than_multiple (const Monomial &, const Monomial &, const Monomial &) const
 returns true iff the first Monomial is smaller than the specified multiple of the second More...
 
bool first_smaller_or_equal_than_multiple (const Monomial &, const Monomial &, const Monomial &) const
 returns true iff the first Monomial is smaller or equal to the specified multiple of the second More...
 

Detailed Description

interface to a weighted monomial ordering

Author
John Perry
Date
2016
See also
Monomial_Ordering

This class adds all of one method to Monomial_Ordering.

Definition at line 154 of file monomial_ordering.hpp.


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