Function hacspec_lib::prelude::degree_poly

pub fn degree_poly<T: Integer + Copy>(poly: &Seq<T>) -> usize

This function can be called from hacspec programs but its body features Rust constructs that are not part of hacspec Returns degree of polynomial, e.g. for 3x² + 2x + 1 -> 2