Expand description
Monomial types and orderings for Groebner basis computations
This module provides the Monomial struct and MonomialOrder enum, which are used to
represent and compare monomials in multivariate polynomial rings. Monomial orderings
are essential for defining leading terms and for the correctness of Groebner basis algorithms.
§Example
use groebner::{Monomial, MonomialOrder};
let m1 = Monomial::new(vec![2, 1]); // x0^2 * x1
let m2 = Monomial::new(vec![1, 2]); // x0 * x1^2
assert_eq!(
m1.compare(&m2, MonomialOrder::Lex),
std::cmp::Ordering::Greater
);