add GAP.Packages.versioninfo()
#483
Job | Run time |
---|---|
6m 25s | |
21m 40s | |
7m 31s | |
6m 35s | |
21m 41s | |
7m 52s | |
23m 31s | |
23m 45s | |
1h 59m 0s |
GAP.Packages.versioninfo()
#483
Job | Run time |
---|---|
6m 25s | |
21m 40s | |
7m 31s | |
6m 35s | |
21m 41s | |
7m 52s | |
23m 31s | |
23m 45s | |
1h 59m 0s |