Add coefficient_ring for modules and series and improve the docs for base_ring#2185
Merged
fingolfin merged 5 commits intoNemocas:masterfrom Dec 1, 2025
Merged
Add `coefficient_ring` for modules and series and improve the docs for `base_ring`#2185fingolfin merged 5 commits intoNemocas:masterfrom
fingolfin merged 5 commits intoNemocas:masterfrom
