Function hacspec_lib::prelude::div_poly
source · [−]pub fn div_poly<T: Integer + Copy>(
a: &Seq<T>,
b: &Seq<T>,
n: T
) -> Result<(Seq<T>, Seq<T>), &'static str>
Expand description
Euclidean polynomial division, calculates a/b
in R_n
.
Returns Ok(quotient, remainder)
or Err("Can't divide these two polynomials")