pub fn mul_poly_irr<T: Integer + Copy>( a: &Seq<T>, b: &Seq<T>, irr: &Seq<T>, modulo: T, ) -> Seq<T>
Polynomial multiplication of two size fixed polynomials in R_modulo \ irr