Add is_in_canonical_form_for_deformation
#210
| Job | Run time |
|---|---|
| 13m 36s | |
| 12m 47s | |
| 30m 4s | |
| 30m 9s | |
| 1h 26m 36s |
is_in_canonical_form_for_deformation
#210
| Job | Run time |
|---|---|
| 13m 36s | |
| 12m 47s | |
| 30m 4s | |
| 30m 9s | |
| 1h 26m 36s |