Trait ring_algorithm::RingNormalize

source · [−]
pub trait RingNormalize {
    fn leading_unit(&self) -> Self;

    fn normalize_mut(&mut self);

    fn into_normalize(self) -> Self
    where
        Self: Sized,
    { ... }

    fn normalize(&self) -> Self
    where
        Self: Clone,
    { ... }

    fn is_similar(&self, other: &Self) -> bool
    where
        Self: Clone + Eq,
    { ... }
}
Expand description

Normarize ring element

abs(a) in $\mathbb{Z}$. a/lc(a) in $R[x]$ (lc(x) is leading coefficent of x).

Required methods

Provided methods

Implementations on Foreign Types

Implementors