- [#2426](#2426) Add `is_domain_type` for multivariate laurent polyno…

…mials

[Full diff since v0.50.0](v0.50.0...v0.50.1)

> !These changes break compatibility from previous versions!

- [#2410](#2410) Extend // to create total_ring_of_fractions if necessary

- [#2414](#2414) Parametrize `FunctionField` as `FunctionField{T, U}`

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

[Full diff since v0.49.0](v0.49.0...v0.50.0)

> !These changes break compatibility from previous versions!

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

- [#2394](#2394) Add `!isone` test for truncated identity mats to conformance tests

[Full diff since v0.48.6](v0.48.6...v0.49.0)

- [#2380](#2380) "Inplace" iterators over the coefficients, monomials…

…, terms and exponent words of a free associative algebra element

- [#2390](#2390) Add `ConformanceTests.test_NCRing_interface_recursive`
- [#2392](#2392) Use `∞` in printing `PosInf()`, `NegInf()` when unicode allowed

- [#2379](#2379) Fix promotion bug for LaurenMPoly
- [#2385](#2385) Fix stack overflow in MPoly creation

[Full diff since v0.48.5](v0.48.5...v0.48.6)

- [#2358](#2358) Add some missing methods for Laurent polynomials

- [#2361](#2361) Fix printing of `RingElem`s in Jupyter notebooks
- [#2362](#2362) Drop `is_unit` tests from `test_NCRing_interface` to comply with interface definitions

- [#2307](#2307) Allow building the documentation as a PDF

[Full diff since v0.48.4](v0.48.4...v0.48.5)

There was no changelog provided when registering this version.

Please wait for a maintainer to update the release description.

[Full diff since v0.48.3](v0.48.3...v0.48.4)

- [#2326](#2326) Add `is_pairwise` function

- [#2333](#2333) Add `universal_poly_type` and `universal_poly_ring_type`

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

- [#2332](#2332) Fix `@attributes Foo` if `AbstractAlgebra` is not imported

- [#2320](#2320) Avoid stack overflow if `divexact` is not implemented
- [#2335](#2335) Avoid stack overflow if `divexact_left` or `divexact_right` is not implemented
- [#2338](#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](v0.48.2...v0.48.3)

[Diff since v0.48.1](v0.48.1...v0.48.2)

**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)

[Diff since v0.48.0](v0.48.0...v0.48.1)

**Merged pull requests:**
- Merge `AA.transpose!` and `LinearAlgebra.transpose!` (#2284) (@lgoettgens)
- Version 0.48.1 (#2285) (@fingolfin)

[Diff since v0.47.6](v0.47.6...v0.48.0)

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.

> !These changes break compatibility from previous versions!

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

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

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

- [#2241](#2241) Fix `is_power` for e.g. `ZZPolyRing`
- [#2275](#2275) Remove dubious group interface conformance test for `gens`

- [#2179](#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)