Fixes small_generating_set, mininimal_primes over a number field #17229
| Job | Run time |
|---|---|
| 27m 12s | |
| 27m 48s | |
| 1h 47m 50s | |
| 30m 21s | |
| 56m 4s | |
| 26m 23s | |
| 1h 6m 49s | |
| 12m 50s | |
| 45m 14s | |
| 1h 26m 21s | |
| 53m 27s | |
| 1h 26m 55s | |
| 59m 3s | |
| 1h 10m 34s | |
| 46m 29s | |
| 13m 54s | |
| 15m 2s | |
| 49m 23s | |
| 1h 2m 44s | |
| 15h 44m 23s |