pub fn linearization_strings<F: PrimeField>( uses_custom_gates: bool, ) -> (String, Vec<(String, String)>)where BigUint: From<F::BigInt>,
Converts the linearization of the kimchi circuit polynomial into a printable string.