More signatures for quotient_ring_as_module
and ideal_as_module
#16829
Job | Run time |
---|---|
26m 2s | |
24m 20s | |
23m 52s | |
25m 43s | |
12m 14s | |
27m 41s | |
27m 43s | |
27m 36s | |
27m 38s | |
27m 42s | |
27m 38s | |
27m 38s | |
27m 39s | |
27m 38s | |
27m 37s | |
7m 21s | |
14m 7s | |
27m 37s | |
27m 38s | |
7h 45m 24s |