Add characteristic
for multivariate quotient rings over fields (#4241)
#147
Job | Run time |
---|---|
12m 5s | |
16m 40s | |
54m 25s | |
43m 30s | |
2h 6m 40s |