Enum MonomialOrder 

pub enum MonomialOrder {
    Lex,
    Grlex,
    Grevlex,
}

Monomial ordering types

Variants

Lex

Lexicographic ordering (Lex)

Compares monomials by exponents left to right x^a1 y^a2 > x^b1 y^b2 if first non-equal exponent ai > bi

Grlex

Graded lexicographic ordering (Grlex)

First compare total degree, then use lex for ties

Grevlex

Graded reverse lexicographic ordering (Grevlex)

First compare total degree, then reverse lex for ties

Trait Implementations

impl Clone for MonomialOrder

fn clone(&self) -> MonomialOrder

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for MonomialOrder

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl MonomialOrdering for MonomialOrder

fn compare_monomials( &self, mono1: &Expression, mono2: &Expression, variables: &[Symbol], ) -> Ordering

Compare two monomials using this ordering

fn leading_monomial( &self, poly: &Expression, variables: &[Symbol], ) -> Expression

Get the leading monomial of a polynomial

fn leading_coefficient( &self, poly: &Expression, variables: &[Symbol], ) -> Expression

Get the leading coefficient of a polynomial

impl PartialEq for MonomialOrder

fn eq(&self, other: &MonomialOrder) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for MonomialOrder

impl Eq for MonomialOrder

impl StructuralPartialEq for MonomialOrder