More signatures for quotient_ring_as_module
and ideal_as_module
#16825
Job | Run time |
---|---|
25m 43s | |
1h 36m 45s | |
26m 19s | |
58m 42s | |
24m 56s | |
1h 14m 9s | |
47m 52s | |
25m 25s | |
1h 23m 50s | |
12m 32s | |
56m 37s | |
1h 23m 10s | |
55m 6s | |
1h 12m 44s | |
46m 39s | |
13m 47s | |
14m 25s | |
54m 46s | |
1h 6m 51s | |
15h 40m 18s |