v0.23.10

Singular v0.23.10

Diff since v0.23.9

Merged pull requests:

• Switch to CxxWrap 0.16 (#837) (@fingolfin)

v0.23.9

Singular v0.23.9

Diff since v0.23.8

Merged pull requests:

• fix quotient /saturation for smodule (#835) (@hannes14)
• Update to 0.23.9 (#836) (@hannes14)

v0.23.8

Singular v0.23.8

Diff since v0.23.7

Merged pull requests:

• add length for svector (#833) (@hannes14)
• Update to 0.23.8 (#834) (@hannes14)

v0.23.7

Singular v0.23.7

Diff since v0.23.6

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)

v0.23.6

Singular v0.23.6

Diff since v0.23.5

Merged pull requests:

• Run tests jobs daily at 3:00AM UTC (#825) (@HereAround)
• Bump Nemo and AA compat (#829) (@lgoettgens)

v0.23.5

Singular v0.23.5

Diff since v0.23.4

Merged pull requests:

• CI: stop testing for invalidations (#819) (@fingolfin)
• keep isGB in map_ideal (https://github.com/oscar-system/Oscar.jl/issu… (#820) (@hannes14)
• also check for equal orderings in map_ideal (#821) (@hannes14)
• also check for equal orderings in map_ideal (#823) (@hannes14)
• Version 0.23.5 (#824) (@fingolfin)

Closed issues:

• Singular.jl broken, possibly due to new Singular_jll release? (#811)
• Singular_jll release broken Singular.jl (#822)

v0.23.4

Singular v0.23.4

Diff since v0.23.3

Merged pull requests:

• CI: update julia-actions/cache to v2 (#813) (@fingolfin)
• Add outdated docs warning to old versions (#814) (@lgoettgens)
• Provide a stale_age to mkpidlock (#815) (@fingolfin)
• Test against Julia 1.11-rc1 (#816) (@fingolfin)
• Bump Nemo compat (#817) (@lgoettgens)
• chore: tag 0.23.4 (#818) (@thofma)

v0.23.3

Singular v0.23.3

Diff since v0.23.2

Merged pull requests:

• README.maintainer.md: further improvements (#667) (@fingolfin)
• extend rQuotientRing to non-commutative quotient rings (#809) (@hannes14)
• option handling, fix #808 (#810) (@hannes14)
• Version 0.23.3 (#812) (@fingolfin)

Closed issues:

• Inconsistent output of prune_with_map_projection (#796)
• Turning off the reduce tails option (#808)

v0.23.2

Singular v0.23.2

Diff since v0.23.1

Merged pull requests:

• update Singular_jll and SIGCHLD handling (#805) (@hannes14)
• Version 0.23.2 (#806) (@hannes14)

v0.23.1

Singular v0.23.1

Diff since v0.23.0

Merged pull requests:

• feat: bump to flint3 (#801) (@thofma)