Skip to content

Tags: Nemocas/AbstractAlgebra.jl

Tags

v0.45.1

Toggle v0.45.1's commit message
[Diff since v0.45.0](v0.45.0...v0.45.1)

**Merged pull requests:**
- Fix edge-case in `ConformanceTests.generate_element(::MPolyRing)` (#2077) (@HechtiDerLachs)
- Add `krull_dim` and `vector_space_dim` (#2078) (@emikelsons)
- Add `coefficient_ring_type` (#2086) (@fingolfin)
- Replace `typeof(a)<:b` by `a isa b` (#2087) (@fingolfin)
- Rename FactoredFractionField -> factored_fraction_field (#2089) (@fingolfin)
- Support function call syntax for evaluate for more rings (#2090) (@fingolfin)
- Alias `ispositive`/`isnegative` in recent enough julia versions (#2091) (@lgoettgens)
- Add missing method `characteristic(::LaurentMPolyWrapRing)` (#2093) (@fingolfin)
- Add workaround for GLIBCXX issue with julia 1.6 (#2094) (@lgoettgens)
- Don't use `inv` and `inv!` in ring conformance tests (#2096) (@fingolfin)
- feat: relax signature for map_coefficients (#2097) (@thofma)
- chore: bump to 0.45.1 (#2098) (@thofma)

**Closed issues:**
- Add `coefficient_ring` for `SeriesRing` subtypes (#2079)

v0.45.0

Toggle v0.45.0's commit message
[Diff since v0.44.13](v0.44.13...v0.45.0)

See the changelog for the breaking changes in this release.

**Merged pull requests:**
- Allow more inputs for `gens(::UniversalPolyRing, ...)` and change its return type from `Tuple` to `Vector` (#1809) (@lgoettgens)
- Breaking changes to the conformance test setup (#2002) (@lgoettgens)
- Remove `ignore_kwargs` option from `@attr` (#2003) (@lgoettgens)
- Make `RationalFunctionFieldElem` immutable (#2006) (@fingolfin)
- Fix weird return type in evaluate via call syntax (#2071) (@lgoettgens)
- feat: more `is_perfect` methods and tests (#2072) (@thofma)
- chore: bump version to 0.45.0-DEV (#2080) (@lgoettgens)
- Move `Infinity.jl` from Nemo (#2081) (@lgoettgens)
- Move parts of Oscar's `MoveToAbstractAlgebra.jl` over (#2082) (@lgoettgens)
- chore: set version to 0.45.0 (#2084) (@lgoettgens)
- doctests: add verbose output, disable Matrix-Strassen doctest (#2085) (@benlorenz)

**Closed issues:**
- Matrices over noncommutative rings (#2075)
- Evaluate via call syntax gives wrong type (#1219)
- Segmentation fault when using instance created in module (#2073)

v0.44.13

Toggle v0.44.13's commit message
[Diff since v0.44.12](v0.44.12...v0.44.13)

**Merged pull requests:**
- Fix a promote issue for AbsMSeries over Poly tower (#2061) (@lgoettgens)
- Fix `swap_cols!` for `Matrix{T}` (#2065) (@fingolfin)
- Fix a typo in `var_index` docstring (#2066) (@fingolfin)
- Update CHANGELOG.md (#2067) (@fingolfin)
- Remove bad generic sqrt method (#2068) (@fingolfin)
- Add `canonical_unit(x::FieldElement) = x`, and stop some `canonical_unit` methods from returning non-units when the input is zero (#2069) (@lgoettgens)
- Version 0.44.13 (#2070) (@fingolfin)

**Closed issues:**
- `denominator` for polynomials (#1753)
- Promotion of AbsMSeries over PolyRing over PolyRing fails (#2060)

v0.44.12

Toggle v0.44.12's commit message
[Diff since v0.44.11](v0.44.11...v0.44.12)

**Merged pull requests:**
- Add generic `shift_left!` and `shift_right!` for univariate polynomials (#2039) (@felix-roehrich)
- Fix a typo (#2045) (@fingolfin)
- Add `falling_factorial` (#2047) (@SoongNoonien)
- Enable point views of matrices (#2048) (@albinahlback)
- Fix stack overflow when constructing non-implemented views (#2054) (@lgoettgens)
- Add useful comments and more solving examples (#2055) (@emikelsons)
- Fix typo in `isomorphism(::Type{T}, ::T) where T <: Group` (#2056) (@lgoettgens)
- Fix a JET issue in `iterate(::ProductIterator)` (#2057) (@lgoettgens)
- Improve univariate conversion (#2058) (@SoongNoonien)
- chore: bump version to 0.44.12 (#2059) (@lgoettgens)

**Closed issues:**
- Support basic Ideal properties (#2038)

v0.44.11

Toggle v0.44.11's commit message
[Diff since v0.44.10](v0.44.10...v0.44.11)

**Merged pull requests:**
- Fix unwanted poly modification during evaluation (#2042) (@lgoettgens)
- Add an `@id` field to a docs header (#2043) (@lgoettgens)
- chore: Bump version to 0.44.11 (#2044) (@lgoettgens)

v0.44.10

Toggle v0.44.10's commit message
[Diff since v0.44.9](v0.44.9...v0.44.10)

**Merged pull requests:**
- Replace Val-dispatch by if-else in Generic.MPoly (#2024) (@lgoettgens)
- Improvements for multivariate and universal polynomials (#2028) (@thofma)
- clean up `monomial_isless` for `Generic.MPoly` (#2031) (@felix-roehrich)
- Optimize `gen(::MPolyRing, ::Int)` for :deglex and :degrevlex (#2033) (@fingolfin)
- Introduce stub for `is_equal_as_morphism` (#2035) (@HechtiDerLachs)
- Add stub for isomorphism(::Type{<:Group}, ::Group) (#2036) (@lgoettgens)
- Remove broken `is_unit` and `is_nilpotent` for `NCPolyRingElem` (#2037) (@JohnAAbbott)
- chore: Bump version to 0.44.10 (#2040) (@lgoettgens)

**Closed issues:**
- Many functions for `Generic.MPolyRing` cause unnecessary runtime dispatches (#2021)

v0.44.9

Toggle v0.44.9's commit message
[Diff since v0.44.8](v0.44.8...v0.44.9)

**Merged pull requests:**
- Wrap `MPoly` factorization for `UnivPoly` (#2007) (@SoongNoonien)
- Remove redundant tests (#2008) (@SoongNoonien)
- Add some missing `check_parent` in MPoly arithmetics (#2011) (@lgoettgens)
- Some tweaks to evaluate methods (#2013) (@fingolfin)
- Add some refs between allow_unicode and friends (#2016) (@fingolfin)
- Add `is_(positive/negative)_entry` fallbacks (#2017) (@lgoettgens)
- More intuitive polynomial evaluation, e.g. `f(y=3)` to substitute 3 for the variable named `y` in the polynomial `f` (#2018) (@SoongNoonien)
- fix: make MPolyFactor module more robust (#2019) (@thofma)
- Add separability for univariate polynomials (#2020) (@thofma)
- Fix some references in the Linear Solving docs (#2022) (@lgoettgens)
- Add `pow!` and `reverse!` fallback implementation (#2023) (@felix-roehrich)
- chore: Bump to 0.44.9 (#2025) (@lgoettgens)

**Closed issues:**
- Bug (?) in `MPolyFactor` when coefficients are are not in a field (#1960)
- Adding generators from different rings (#2010)
- More intuitive evaluation of polys from universal polynomial ring (#2014)

v0.44.8

Toggle v0.44.8's commit message
[Diff since v0.44.7](v0.44.7...v0.44.8)

**Merged pull requests:**
- Allow creating `UniversalPolyRing` with variables (#1993) (@SoongNoonien)
- fix: is_finite for rational function fields (#1998) (@thofma)
- Minors command with row and column indices returned (#2001) (@afkafkafk13)
- feat: add `divides!` (#2004) (@thofma)
- chore: bump to 0.44.8 (#2005) (@thofma)

**Closed issues:**
- Use `@varnames_interface` on `universal_polynomial_ring` (#1979)
- Caching for universal polynomial rings (#1989)

v0.44.7

Toggle v0.44.7's commit message
[Diff since v0.44.6](v0.44.6...v0.44.7)

**Merged pull requests:**
- Import mulpow! into submodule MPolyFactor (#1964) (@fingolfin)
- feat: improvements for function fields (#1999) (@thofma)
- chore: bump to 0.44.7 (#2000) (@thofma)

v0.44.6

Toggle v0.44.6's commit message
[Diff since v0.44.5](v0.44.5...v0.44.6)

**Merged pull requests:**
- Import more ConformanceTests stuff into TestExt (#1978) (@fingolfin)
- Create dependabot.yml (#1984) (@ranocha)
- Bump codecov/codecov-action from 4 to 5 (#1987) (@dependabot[bot])
- Explicitely import `Base.Matrix` (#1988) (@lgoettgens)
- OscarCI: try testing oscar master with released Nemo+Hecke+Singular (#1990) (@lgoettgens)
- Add `is_zero(::NCRing)` as an alias of `is_trivial` (#1991) (@emikelsons)
- Simplify and slightly optimize vars(::MPolyRingElem) (#1994) (@fingolfin)
- feat: add some missing rational function field functionality (#1995) (@thofma)
- chore: bump to 0.44.6 (#1997) (@thofma)