Struct MatrixOrder 

pub struct MatrixOrder { /* private fields */ }

Matrix ordering: compare monomials by multiplying exponent vectors by an integer matrix and comparing the results lexicographically.

Given an $n \times n$ matrix $M$, monomial $\alpha > \beta$ iff $M\alpha >_{\text{lex}} M\beta$. This generalizes all standard orderings and is particularly useful for constructing elimination orderings.

Example

use ocas_poly::sparse::{MatrixOrder, MonomialOrder};

// 2×2 identity matrix = Lex order
let ord = MatrixOrder::new(vec![vec![1, 0], vec![0, 1]]);
assert_eq!(ord.cmp(&[1, 0], &[0, 1]), std::cmp::Ordering::Greater);

Implementations

impl MatrixOrder

pub fn new(matrix: Vec<Vec<i64>>) -> Self

Create a new matrix ordering from an n×n matrix.

pub fn elimination_order(elim_vars: usize, n_vars: usize) -> Self

Create an elimination ordering that eliminates the first elim_vars variables. Equivalent to BlockOrder([elim_vars in Lex, rest in Grevlex]) but expressed as a weight matrix.

Trait Implementations

impl Clone for MatrixOrder

fn clone(&self) -> MatrixOrder

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MatrixOrder

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

Formats the value using the given formatter.

impl Default for MatrixOrder

fn default() -> Self

Default: 1×1 identity (single variable).

impl Eq for MatrixOrder

impl MonomialOrder for MatrixOrder

fn cmp(&self, lhs: &[usize], rhs: &[usize]) -> Ordering

Compare two exponent vectors.

impl PartialEq for MatrixOrder

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for MatrixOrder