Struct WeightOrder 

pub struct WeightOrder { /* private fields */ }

Weighted ordering: compare by $\sum_i w_i \cdot e_i$ descending.

The weight vector is stored at construction time, enabling arbitrary elimination orderings that cannot be expressed as zero-sized types.

Example

use ocas_poly::sparse::{MonomialOrder, WeightOrder};
use smallvec::smallvec;

let ord = WeightOrder::new(smallvec![2, 1]);
// [1,0] → weight 2, [0,1] → weight 1 → [1,0] is "larger"
assert_eq!(ord.cmp(&[1, 0], &[0, 1]), std::cmp::Ordering::Less);

Implementations

impl WeightOrder

pub fn new(weights: SmallVec<[i64; 4]>) -> Self

Create a new weighted ordering with the given weight vector.

pub fn from_slice(weights: &[i64]) -> Self

Create a weighted ordering from a slice.

Trait Implementations

impl Clone for WeightOrder

fn clone(&self) -> WeightOrder

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for WeightOrder

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

Formats the value using the given formatter.

impl Default for WeightOrder

fn default() -> Self

Default: all-ones weights (total degree ordering).

impl Eq for WeightOrder

impl MonomialOrder for WeightOrder

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

Compare two exponent vectors.

impl PartialEq for WeightOrder

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for WeightOrder