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

This function can be called from hacspec programs but its body features Rust constructs that are not part of hacspec Polynomial multiplication of two size fixed polynomials in R_modulo \ irr