Add characteristic for multivariate quotient rings over fields (#4241)
#604
| Job | Run time |
|---|---|
| 26m 49s | |
| 1h 25m 27s | |
| 26m 36s | |
| 56m 47s | |
| 37m 14s | |
| 1h 10m 3s | |
| 25m 34s | |
| 1s | |
| 45m 49s | |
| 1h 22m 38s | |
| 59m 38s | |
| 1h 48m 44s | |
| 1h 7m 33s | |
| 1h 15m 2s | |
| 45m 16s | |
| 1s | |
| 1s | |
| 50m 48s | |
| 1h 9m 6s | |
| 15h 33m 7s |