Function hacspec_lib::prelude::poly_to_ring

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

This function can be called from hacspec programs but its body features Rust constructs that are not part of hacspec Makes poly to an element of R_modulo \ irr