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