v0.47.6

AbstractAlgebra v0.47.6

Diff since v0.47.5

Merged pull requests:

• Remove _map for universal polys (#2206) (@SoongNoonien)
• Add docstring for ideal_type (#2235) (@fingolfin)
• Fix is_domain_type default and redirects for NCRing (#2237) (@lgoettgens)
• Allow running UnivPoly tests multiple times (#2239) (@lgoettgens)
• Adapt is_square docstring (#2242) (@lgoettgens)
• chore: Bump version to 0.47.6 (#2243) (@lgoettgens)

v0.47.5

AbstractAlgebra v0.47.5

Diff since v0.47.4

Merged pull requests:

• Add coefficient_ring for modules and series and improve the docs for base_ring (#2185) (@SoongNoonien)
• Condense doc for is_square into single docstring (#2186) (@JohnAAbbott)
• "Inplace" iterators over the coefficients, monomials, terms and exponent vectors of a multivariate polynomial (#2196) (@joschmitt)
• Introduce upgrade! for universal polynomials (#2211) (@SoongNoonien)
• Fix compatibility with Documenter 1.16 (#2215) (@lgoettgens)
• Fix Nemo#2173 (#2216) (@joschmitt)
• Add var_indices for mpolys (#2217) (@SoongNoonien)
• feat: add coeff for multivariate laurent polynomials (#2218) (@thofma)
• Remove duplicate vars(::UnivPoly) implementation (#2219) (@lgoettgens)
• Add var_indices for universal polynomials (#2220) (@SoongNoonien)
• Fixup #2196 (#2221) (@joschmitt)
• Use NCRingElement instead of Union{RingElement, NCRingElem} (#2223) (@SoongNoonien)
• condense doc for sqrt into single docstring (#2226) (@varuntrehan7)
• Fix showing MatElem and MatRingElem in Jupyter (#2227) (@fingolfin)
• Don't rely on MersenneTwister internals in test_rand (#2228) (@lgoettgens)
• Bump actions/checkout from 5 to 6 (#2229) (@dependabot[bot])
• chore: Bump to 0.47.5 (#2230) (@lgoettgens)
• Add Julia(Field|Ring|ExactRing)Element type unions (#2231) (@fingolfin)
• Remove undocumented poly_ring(:AbsMSeriesRing) (#2232) (@fingolfin)
• Prevent creation of fields with one element (#2233) (@fingolfin)
• Use NCRingElement (#2234) (@lgoettgens)

Closed issues:

• base_ring vs coefficient_ring: methods and documentation (#1207)
• is_nilpotent for NCPolyRingElem (#2032)
• Define and provide coefficient_ring for series rings (#2187)
• Add the is_square docstring to the manual (#2222)
• Interesting type specifications in julia (#2224)

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)