rewrite julia_to_gap
#1284
Job | Run time |
---|---|
1m 42s | |
4m 28s | |
4m 8s | |
5m 8s | |
5m 42s | |
8m 24s | |
9m 58s | |
0s | |
39m 30s |
julia_to_gap
#1284
Job | Run time |
---|---|
1m 42s | |
4m 28s | |
4m 8s | |
5m 8s | |
5m 42s | |
8m 24s | |
9m 58s | |
0s | |
39m 30s |