v0.47.4

AbstractAlgebra v0.47.4

Diff since v0.47.3

Merged pull requests:

• Document ideal interface (#2113) (@emikelsons)
• Add coordinates(::FPModuleElem) (#2160) (@lgoettgens)
• Dim of sum (#2164) (@fieker)
• Don't allow multiplying matrices with non-matching base rings (#2165) (@joschmitt)
• Fix == for PrettyOrderWrapper (thanks JET) (#2166) (@fingolfin)
• Fix some more JET warnings (#2167) (@fingolfin)
• Add docstring to is_unit(::PolyRingElem) (#2169) (@aaruni96)
• Add is_attribute_storing and is_attribute_storing_type (#2171) (@fingolfin)
• add a solve_ctx to the module map to speed up repeated preimages (#2174) (@fieker)
• Remove redundancy in UniversalPolyRing (#2176) (@SoongNoonien)
• use SolveCtx in inv (#2177) (@fieker)
• Add copy(::UnivPoly) (#2178) (@fingolfin)
• Unify "Parent object call overload" comments (#2181) (@fingolfin)
• Remove unneeded upgrade for MPoly used for universal polynomials (#2184) (@SoongNoonien)
• Make equality of factorizations give error (instead of false) (#2188) (@JohnAAbbott)
• Simplify _change_univ_poly_ring (#2195) (@SoongNoonien)
• Simplify one coeff method for universal polynomials (#2197) (@SoongNoonien)
• Tinker with test_module (#2200) (@joschmitt)
• Rename dense_poly_type to poly_type (#2202) (@JohnAAbbott)
• Add custom message to InfiniteDimensionError (#2203) (@joschmitt)
• CI: test with julia 1.12 and 1.13-nightly (#2204) (@lgoettgens)
• fix: adjust to IJulia changes (#2209) (@thofma)
• chore: Version 0.47.4 (#2210) (@lgoettgens)

Closed issues:

• Rename dense_poly_type and/or mpoly_type (and their *_ring_type counterparts) (#1301)
• Docstring of base_ring and coefficient_ring (#2183)
• 'Dummy error for jupyter' in IJulia 1.32 (#2208)