All functions that accept inputs from pari must have assertion at the beginning to validate the specific type that GEN (which is a general pointer) points to. for example: https://github.com/KZen-networks/class-groups/blob/master/src/lib.rs#L258 need to add verification that the input is indeed quadratic form.
All functions that accept inputs from pari must have assertion at the beginning to validate the specific type that GEN (which is a general pointer) points to. for example: https://github.com/KZen-networks/class-groups/blob/master/src/lib.rs#L258 need to add verification that the input is indeed quadratic form.