Skip to content

Add more setcoeff! methods and use them to deduplicate PolyRingElem constructors#1911

Open
lgoettgens wants to merge 5 commits intoNemocas:masterfrom lgoettgens:lg/more_setcoeff

Commits

Commits on Nov 8, 2024

Commits on Dec 10, 2024