Require non-zero coefficient ring in power series ring #3588
Job | Run time |
---|---|
17m 2s | |
15m 33s | |
15m 38s | |
31m 59s | |
21m 3s | |
20m 39s | |
1h 5m 30s | |
38m 3s | |
3h 45m 27s |
Job | Run time |
---|---|
17m 2s | |
15m 33s | |
15m 38s | |
31m 59s | |
21m 3s | |
20m 39s | |
1h 5m 30s | |
38m 3s | |
3h 45m 27s |