Add more setcoeff!
methods and use them to deduplicate PolyRingElem constructors
#2140
Job | Run time |
---|---|
48s | |
9m 35s | |
11m 15s | |
1m 35s | |
1m 43s | |
24m 56s |