hacspec_lib::prelude

Function mul_poly_irr

Source
pub fn mul_poly_irr<T: Integer + Copy>(
    a: &Seq<T>,
    b: &Seq<T>,
    irr: &Seq<T>,
    modulo: T,
) -> Seq<T>
Expand description

Polynomial multiplication of two size fixed polynomials in R_modulo \ irr