Function poly_to_ring

pub fn poly_to_ring<T: Integer + Copy>(
    irr: &Seq<T>,
    poly: &Seq<T>,
    modulus: T,
) -> (Seq<T>, bool)

Makes poly to an element of R_modulo \ irr