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)

v0.47.3

AbstractAlgebra v0.47.3

Diff since v0.47.2

Merged pull requests:

• Collapse all docstrings in documentation (#2163) (@lgoettgens)

v0.47.2

AbstractAlgebra v0.47.2

Diff since v0.47.1

Merged pull requests:

• Fix is_loaded_directly on julia 1.12.0-rc1 and current nightly (#2159) (@lgoettgens)
• chore: Set version to 0.47.2 (#2161) (@lgoettgens)
• fix: remove more illegal .fac access (#2162) (@thofma)

v0.47.1

AbstractAlgebra v0.47.1

Diff since v0.47.0

Merged pull requests:

• fix: remove more illegal .fac access (#2158) (@thofma)

v0.47.0

AbstractAlgebra v0.47.0

Diff since v0.46.5

BREAKING

• #2132 Add fraction_field_type and define fraction_field method for fields
• #2144 Remove base_ring methods returning Union{}
• #2145 Add identity_map to excluded imports
• #2150 Stop printing 1 in factorizations
• #2153 Throw for leading/trailing_coefficient of the zero polynomial in multivariate setting

Merged pull requests:

• chore: bump to 0.47.0 (#2157) (@thofma)

v0.46.5

AbstractAlgebra v0.46.5

Diff since v0.46.4

Merged pull requests:

• Cf/perm gmodule (#2134) (@fieker)
• Bump actions/checkout from 4 to 5 (#2148) (@dependabot[bot])
• fix: broadcasting with views of MatElem (#2152) (@thofma)
• Fix a missing deepcopy in echelon_form_with_transformation (#2154) (@joschmitt)
• chore: tag 0.46.5 (#2155) (@thofma)

Closed issues:

• Make universal polynomial ring play nice with all flint rings (#1287)
• broadcasted assignment of matrix rows/cols silently ignored (#2151)

v0.46.4

AbstractAlgebra v0.46.4

Diff since v0.46.3

Merged pull requests:

• fix: typo in Fac code (#2149) (@thofma)

v0.46.3

AbstractAlgebra v0.46.3

Diff since v0.46.2

Merged pull requests:

• Define is_homogeneous for MPolyRingElem (#1649) (@fingolfin)
• Add is_finitely_generated for FPModules and fix is_noetherian (#2127) (@emikelsons)
• feat: add non-mathematical ordering for pretty printing (#2131) (@thofma)
• Resolve a bunch of JET warnings (#2143) (@fingolfin)
• feat: store (additional) array in Fac (#2146) (@thofma)
• chore: bump to 0.46.3 (#2147) (@thofma)

Closed issues:

• Wrong is_noetherian(::Module) method (#2125)

v0.46.2

AbstractAlgebra v0.46.2

Diff since v0.46.1

Merged pull requests:

• Equal FPModules must have the same hash value (#2139) (@ThomasBreuer)
• Fix is_loaded_directly on nightly (#2141) (@lgoettgens)
• chore: bump to 0.46.2 (#2142) (@lgoettgens)

Closed issues:

• should_show_banner broken in Julia nightly (#2140)

v0.46.1

AbstractAlgebra v0.46.1

Diff since v0.46.0

Merged pull requests:

• Add fraction_field_type and define fraction_field method for fields (#2092) (@fingolfin)
• Prepare deprecations of some mixed methods of julia/oscar matrices and entries (#2111) (@lgoettgens)
• Add has_preimage_with_preimage for FPModuleHomomorphism (#2112) (@jamesnohilly)
• Allow AbstractVectors for more matrix and diagonal_matrix constructions (#2126) (@benlorenz)
• Revert "Add fraction_field_type and define fraction_field method for fields" (#2128) (@lgoettgens)
• Fix ownership in UnivPoly.jl (#2133) (@SirToby25)
• Add InfiniteDimensionError exception for vector spaces (#2135) (@emikelsons)
• chore: bump to 0.46.1 (#2136) (@thofma)