AbstractAlgebra v0.50.1

Other fixed bugs

• #2426 Add is_domain_type for multivariate laurent polynomials

Full diff since v0.50.0

AbstractAlgebra v0.50.0

Breaking changes

!These changes break compatibility from previous versions!

New or extended functionality

• #2410 Extend // to create total_ring_of_fractions if necessary

Performance improvements or improved testing

• #2414 Parametrize FunctionField as FunctionField{T, U}

New or extended functionality

• #2406 Add generators as alias for gens
• #2409 Add graeffe_transform(::PolyRingElem)
• #2413 Disallow nondistinct variable names for universal rings
• #2416 Rename FunctionField to AbsSimpleFunctionField

Full diff since v0.49.0

AbstractAlgebra v0.49.0

Breaking changes

!These changes break compatibility from previous versions!

• #2274 Introduce "universal ring" as a generalization of UniversalPolyRing
• #2286 Restrict static params of our types, so e.g. PolyRing{T} now always must satisfy T<:RingElement
• #2339 Restrict swap_rows, hnf, snf to MatElem; to apply to MatRingElem work with underlying matrix
• #2356 Change behavior of base_ring for Laurent polynomials
• #2364 Rework multivariate polynomial evaluation

Miscellaneous changes

• #2394 Add !isone test for truncated identity mats to conformance tests

Full diff since v0.48.6

AbstractAlgebra v0.48.6

New or extended functionality

• #2380 "Inplace" iterators over the coefficients, monomials, terms and exponent words of a free associative algebra element
• #2390 Add ConformanceTests.test_NCRing_interface_recursive
• #2392 Use ∞ in printing PosInf(), NegInf() when unicode allowed

Fixed bugs that resulted in unexpected errors

• #2379 Fix promotion bug for LaurenMPoly
• #2385 Fix stack overflow in MPoly creation

Full diff since v0.48.5

AbstractAlgebra v0.48.5

New or extended functionality

• #2358 Add some missing methods for Laurent polynomials

Other fixed bugs

• #2361 Fix printing of RingElems in Jupyter notebooks
• #2362 Drop is_unit tests from test_NCRing_interface to comply with interface definitions

Improvements or additions to documentation

• #2307 Allow building the documentation as a PDF

Full diff since v0.48.4

AbstractAlgebra v0.48.4

New or extended functionality

• #2276 Implement is_known(is_finite, ::NCRing), at least for ring types defined in AbstractAlgebra

Fixed bugs that resulted in unexpected errors

• #2345 Fix canonical_unit for zero matrices

Full diff since v0.48.3

AbstractAlgebra v0.48.3

New or extended functionality

• #2326 Add is_pairwise function
• #2333 Add universal_poly_type and universal_poly_ring_type

Fixed bugs that returned incorrect results

• #2288 Ensure det for 0x0 matrices always returns 1 (and not 0)
• #2305 Disable Julia fallbacks for iszero/isone for our parent objects

Fixed bugs that resulted in unexpected errors

• #2332 Fix @attributes Foo if AbstractAlgebra is not imported

Other fixed bugs

• #2320 Avoid stack overflow if divexact is not implemented
• #2335 Avoid stack overflow if divexact_left or divexact_right is not implemented
• #2338 Restrict hcat, vcat, cat, hvcat to MatElem; drop support for MatRingElem as this would in most cases result in an error anyway (for non-square results)

Full diff since v0.48.2

AbstractAlgebra v0.48.2

Diff since v0.48.1

Merged pull requests:

• Adding new functions rank_interpolation, rank_interpolation_mc and evaluation_points. (#2246) (@stelip42)
• Remove trailing spaces (#2287) (@fingolfin)
• Fix roots(::PolyRingElem) if coeffs are not in a field (#2292) (@fingolfin)
• Pass through version to the script (#2293) (@aaruni96)
• Add .git-blame-ignore-revs (#2294) (@fingolfin)
• Merge AA.transpose! and AA.Generic.transpose! (#2296) (@lgoettgens)
• Fix bug in evaluation_points for RationalFunctionField (#2297) (@thofma)
• fix: multivariate factorization (#2301) (@thofma)
• Bump version from 0.48.1 to 0.48.2 (#2304) (@thofma)

AbstractAlgebra v0.48.1

Diff since v0.48.0

Merged pull requests:

• Merge AA.transpose! and LinearAlgebra.transpose! (#2284) (@lgoettgens)
• Version 0.48.1 (#2285) (@fingolfin)

AbstractAlgebra v0.48.0

Diff since v0.47.6

The following gives an overview of the changes compared to the previous release. This list is not
complete, many more internal or minor changes were made, but we tried to only list those changes
which we think might affect some users directly.

Breaking changes

!These changes break compatibility from previous versions!

• #1857 Forbid residue_ring for zero rings for technical reasons
• #2108 Expand the common code for ideal implementations
• #2182 Change behavior of base_ring for UniversalPolyRing
• #2191 Add more syntactic sugar for polynomial ring constructors
• #2212 Restrict generic ==(x::NCRingElem, y::NCRingElem) fallback
• #2214 Make evaluate for universal polynomials more universal
• #2251 Type param for FracField is RingElem, not RingElement
• #2252 Switch delegation order of sub and getindex for submatrices
• #2261 Enable prepared deprecations
• #2262 Remove getindex(::SimpleNumField, ::Int), rely on generic getindex(::Set,::Int) instead (hence L[0] won't return one(L) anymore)

New or extended functionality

• #2168 Add alias for rels and relations
• #2270 Add several is_known methods for characteristic and is_perfect
• #2279 Add ^(I::Ideal, k::Integer) fallback method

Performance improvements or improved testing

• #1937 Enhance performance of generic transpose and transpose! methods, restrict in-place transpose! to square matrices
• #2207 Rewrite MatRing to wrap a native matrix

Other fixed bugs

• #2241 Fix is_power for e.g. ZZPolyRing
• #2275 Remove dubious group interface conformance test for gens

Improvements or additions to documentation

• #2179 Improved doc for polynomial ring element constructors

Merged pull requests:

• Remove/replace calls to PolyRing(R) and polynomial_ring_only (and deprecate both) by calls to new poly_ring helper (#1729) (@fingolfin)
• Forbid residue_ring for zero rings for technical reasons (#1857) (@lgoettgens)
• Enhance performance of generic transpose and transpose! methods, restrict in-place transpose! to square matrices (#1937) (@fingolfin)
• Expand the common code for ideal implementations (#2108) (@fingolfin)
• Add alias for rels and relations (#2168) (@janikapeters)
• Improved doc for polynomial ring element constructors (#2179) (@JohnAAbbott)
• Change behavior of base_ring for UniversalPolyRing (#2182) (@SoongNoonien)
• Add more syntactic sugar for polynomial ring constructors (#2191) (@SoongNoonien)
• Add _upgrade and _add_gens for mpolys (#2198) (@SoongNoonien)
• Rewrite MatRing to wrap a native matrix (#2207) (@fingolfin)
• Restrict generic ==(x::NCRingElem, y::NCRingElem) fallback (#2212) (@fingolfin)
• Make evaluate for universal polynomials more universal (#2214) (@SoongNoonien)
• Remove unused _is_known_via_attributes (#2240) (@fingolfin)
• Fix is_power for e.g. ZZPolyRing (#2241) (@fingolfin)
• Allow fraction coercion to residue rings (#2245) (@SoongNoonien)
• Address some issues reported by JET (#2248) (@fingolfin)
• Fix a check broken by wrong operator precedence (#2249) (@fingolfin)
• Enable RPTU runners for OscarCI (#2250) (@fingolfin)
• Type param for FracField is RingElem, not RingElement (#2251) (@fingolfin)
• Switch delegation order of sub and getindex for submatrices (#2252) (@lgoettgens)
• Version 0.48.0 (#2253) (@fingolfin)
• LocalizedEuclideanRing: add tests, fix some bugs, run conformance tests (#2254) (@fingolfin)
• More JET fixes (#2256) (@fingolfin)
• Simplify rand for UniversalPolyRing (#2257) (@SoongNoonien)
• Changelog script for AA (#2258) (@aaruni96)
• chore: bump version to 0.48.0-DEV (#2259) (@lgoettgens)
• Fix a typo (#2260) (@fingolfin)
• Enable prepared deprecations (#2261) (@lgoettgens)
• Remove getindex(::SimpleNumField, ::Int), rely on generic getindex(::Set,::Int) instead (hence L[0] won't return one(L) anymore) (#2262) (@fingolfin)
• Fix bug in *(::Ideal,::RingElement) (#2263) (@fingolfin)
• Delegate from MatRingElem to MatElem in more places (#2265) (@fingolfin)
• docs: avoid outdated signature syntax (#2266) (@fingolfin)
• More JET inspired changes (#2267) (@fingolfin)
• Help JET prove that nrows/ncols returns Int (#2268) (@fingolfin)
• Update canonical_unit docs to match current reality (#2269) (@fingolfin)
• Add several is_known methods for characteristic and is_perfect (#2270) (@fingolfin)
• Merge characteristic docstrings (#2271) (@fingolfin)
• Address more JET and SnoopCompile reports (#2273) (@fingolfin)
• Remove dubious group interface conformance test for gens (#2275) (@fingolfin)
• Help JET with is_loaded_directly (#2277) (@lgoettgens)
• Remove bad transpose(::MatRingElem) method (#2278) (@fingolfin)
• Add ^(I::Ideal, k::Integer) fallback method (#2279) (@fingolfin)
• Changes for changelog-script action (#2281) (@aaruni96)
• Update changelog for 0.48.0 (#2282) (@github-actions[bot])

Closed issues:

• Inconsistent canonical_unit (#894)
• canonical_unit does not always return a unit (#1166)
• Move src/Infinity.jl (and tests) from Nemo to AbstractAlgebra (#1841)
• Forbid zero ring in polynomial ring/series constructions (#1856)
• Change MatRing & MatRingElem to wrap a "native" matrix, not a Matrix{T} (#1955)
• Square root in Z/p^nZ (#2190)