Add more setcoeff! methods and use them to deduplicate PolyRingElem constructors
#2276
Triggered via pull request
November 8, 2024 15:16
lgoettgens
Status
Success
Total duration
2h 58m 46s
Artifacts
–
oscar.yml
on: pull_request
generatematrix
49s
Matrix: test-oscar