Module kimchi_stubs::linearization

Linearization helpers

Functions

• fp_linearization_strings
• fq_linearization_strings
• linearization_strings
  Converts the linearization of the kimchi circuit polynomial into a printable string.