Add characteristic
for multivariate quotient rings over fields (#4241)
#17064
Job | Run time |
---|---|
25m 48s | |
26m 2s | |
1h 29m 59s | |
43m 23s | |
54m 56s | |
26m 26s | |
1h 8m 30s | |
13m 2s | |
45m 26s | |
1h 22m 17s | |
55m 17s | |
1h 39m 47s | |
1h 0m 35s | |
1h 12m 7s | |
42m 19s | |
14m 2s | |
14m 41s | |
52m 14s | |
1h 6m 34s | |
15h 53m 25s |