v0.23.7
Singular v0.23.7
Merged pull requests:
- Extending GB for modules to non-commutative (#827) (@Lax202)
- Delete unused Singular.NCRing (#830) (@fingolfin)
- Add some type assertions (#831) (@fingolfin)
- Version 0.23.7 (#832) (@fingolfin)
Merged pull requests: