Trait ring_algorithm::RingNormalize [−][src]
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).