kimchi_stubs

Module linearization

Source
Expand description

Linearization helpers

Functionsยง

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