Trait Normalizable 

pub trait Normalizable {
    // Required method
    fn normalize(&mut self);

    // Provided methods
    fn is_normal(&self) -> bool
       where Self: Clone + Eq { ... }
    fn eqn(&self, other: &Self) -> bool
       where Self: Eq + Clone { ... }
}

A term that can be normalized

Required Methods

fn normalize(&mut self)

Provided Methods

fn is_normal(&self) -> bool

where Self: Clone + Eq,

Check if it is in normal form by syntactic equality

fn eqn(&self, other: &Self) -> bool

where Self: Eq + Clone,

Equality modulo normalization

Implementors

impl<T: Ord + Clone> Normalizable for Bin<T>

Remove all zero elements (0*a + c = c)

impl<T: Ord + Clone> Normalizable for Lin<T>

Remove all zero elements (0*a + c = c)

impl<T: Ord + Clone> Normalizable for Dyadic<T>

impl<T: Ord> Normalizable for Mono<T>