Function hacspec_halo2::divide_leading_terms

source · 
pub fn divide_leading_terms(n: Polyx, d: Polyx) -> Polyx
Expand description

divide the leading terms of two polynomials, returning a single term (e.g. 5x^3) represented as a polynomial (helper function for divide_poly)

Arguments

  • n - the dividend/enumerator polynomial
  • d - the divisor/denominator polynomial