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)