v0.48.0

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)