Rename UniversalPolynomialRing
to universal_polynomial_ring
#95
Job | Run time |
---|---|
51s | |
56m 7s | |
56m 20s | |
57m 48s | |
58m 28s | |
3h 49m 34s |
UniversalPolynomialRing
to universal_polynomial_ring
#95
Job | Run time |
---|---|
51s | |
56m 7s | |
56m 20s | |
57m 48s | |
58m 28s | |
3h 49m 34s |