More signatures for quotient_ring_as_module and ideal_as_module (…
#16833
| Job | Run time |
|---|---|
| 26m 45s | |
| 26m 59s | |
| 28m 35s | |
| 26m 38s | |
| 12m 32s | |
| 1h 32m 34s | |
| 56m 33s | |
| 1h 6m 27s | |
| 45m 46s | |
| 1h 23m 36s | |
| 55m 35s | |
| 1h 26m 0s | |
| 54m 30s | |
| 1h 10m 6s | |
| 44m 46s | |
| 13m 56s | |
| 14m 28s | |
| 52m 54s | |
| 1h 4m 48s | |
| 15h 23m 28s |