add number_of_generators
for UniversalPolyRing
#623
Job | Run time |
---|---|
52s | |
51s | |
56s | |
38s | |
42s | |
3m 59s |
number_of_generators
for UniversalPolyRing
#623
Job | Run time |
---|---|
52s | |
51s | |
56s | |
38s | |
42s | |
3m 59s |