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).