Struct Monomial 

pub struct Monomial {
    pub exponents: Vec<usize>,
}

Monomial represented as exponent vector

For polynomial in variables [x, y, z], monomial x²y³z is [2, 3, 1] This representation enables O(1) monomial comparison and operations.

Fields

exponents: Vec<usize>

Exponents for each variable (index corresponds to variable order)

Implementations

impl Monomial

pub fn new(exponents: Vec<usize>) -> Self

Create monomial from exponent vector

pub fn constant(num_vars: usize) -> Self

Create constant monomial (all exponents zero)

pub fn degree(&self) -> usize

Total degree of monomial

pub fn mul(&self, other: &Self) -> Self

Multiply two monomials (add exponents)

pub fn div(&self, other: &Self) -> Option<Self>

Divide two monomials if divisible (subtract exponents)

pub fn lcm(&self, other: &Self) -> Self

Least common multiple of two monomials

pub fn divide(&self, other: &Self) -> Self

Divide monomial by another (assumes divisibility)

pub fn try_divide(&self, other: &Self) -> Option<Self>

Try to divide monomial by another (returns None if not divisible)

pub fn cmp(&self, other: &Self, order: &MonomialOrder) -> Ordering

Compare monomials using given ordering

Trait Implementations

impl Clone for Monomial

fn clone(&self) -> Monomial

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Monomial

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

Formats the value using the given formatter.

impl Hash for Monomial

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Monomial

fn eq(&self, other: &Monomial) -> 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 Eq for Monomial

impl StructuralPartialEq for Monomial