Clean up HeckeMiscPoly.jl
#467
Job | Run time |
---|---|
51s | |
3m 41s | |
4m 52s | |
3m 36s | |
4m 47s | |
17m 47s |
HeckeMiscPoly.jl
#467
Job | Run time |
---|---|
51s | |
3m 41s | |
4m 52s | |
3m 36s | |
4m 47s | |
17m 47s |