MonomialOrdering

mathhook_core::algebra::groebner

Trait MonomialOrdering 

Source 
pub trait MonomialOrdering {
    // Required methods
    fn compare_monomials(
        &self,
        mono1: &Expression,
        mono2: &Expression,
        variables: &[Symbol],
    ) -> Ordering;
    fn leading_monomial(
        &self,
        poly: &Expression,
        variables: &[Symbol],
    ) -> Expression;
    fn leading_coefficient(
        &self,
        poly: &Expression,
        variables: &[Symbol],
    ) -> Expression;
}
Expand description

Trait for comparing monomials according to a specific ordering

Required Methods§

Source

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

Compare two monomials using this ordering

§Arguments
  • mono1 - First monomial
  • mono2 - Second monomial
  • variables - Ordered list of variables
§Returns

Ordering result (Less, Equal, Greater)

Source

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

Get the leading monomial of a polynomial

§Arguments
  • poly - Polynomial expression
  • variables - Ordered list of variables
§Returns

The leading monomial according to this ordering

Source

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

Get the leading coefficient of a polynomial

§Arguments
  • poly - Polynomial expression
  • variables - Ordered list of variables
§Returns

The coefficient of the leading monomial

Implementors§