Function hacspec_lib::prelude::mul_poly_irr

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

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