v0.11.0

AlgebraicSolving v0.11.0

Diff since v0.10.6

• Adds new improved data structures for signature-based computations
• Many smaller bug fixes

Breaking changes:

• Uses msolve v0.10.1, thus slight interface changes.

Merged pull requests:

• Implementation of monomial divisibility diagrams for efficient membership tests (#129) (@ThTer11)
• prepares v0.11.0 including msolve v0.10.1 (#147) (@ederc)

v0.10.6

AlgebraicSolving v0.10.6

Diff since v0.10.5

Merged pull requests:

• Add CAD-based sample points (#132) (@wegank)
• chore: bump Nemo dependency (#145) (@thofma)

v0.10.5

AlgebraicSolving v0.10.5

Diff since v0.10.4

Merged pull requests:

• Add multivariate rational interpolation (#122) (@wegank)
• Avoid some invalidations related to Base.hash (#123) (@lgoettgens)
• adds script for testing local msolve in AlgebraicSolving (#124) (@ederc)
• Fix typo in index.md (#126) (@albinahlback)
• Allow Gröbner basis computation with inputs in msolve format (#127) (@wegank)
• Allow parallel Gröbner basis computations (#128) (@wegank)
• Allow calls to _core_msolve with inputs in msolve format (#130) (@wegank)
• Allow parallel parametrization computations (#131) (@wegank)
• Use leading_coefficient from AbstractAlgebra.jl (#134) (@wegank)
• Bump msolve version to 0.9.5 (#136) (@wegank)
• Bumps to msolve v0.900.502 (#137) (@ederc)
• Fix issue when calling _core_groebner_basis_array from Oscar (#139) (@wegank)
• Fix bug in Gröbner basis caching (#140) (@wegank)
• Fix a multithreading bug in Newton interpolation (#143) (@wegank)
• Allow Nemo.jl v0.55, bump version to 0.10.5 (#144) (@lgoettgens)

Closed issues:

• Gröbner basis + complete_reduction=false = SIGSEGV (#117)
• Unexpected/undocumented behavior of Gröbner basis caching (#135)
• Conversion problems when calling _groebner_basis_array from Oscar (#138)

v0.10.4

AlgebraicSolving v0.10.4

Diff since v0.10.3

Merged pull requests:

• Update contributors in documentation (#119) (@rprebet)
• fixes doctest for rational_solutions() (#120) (@ederc)
• Sort variables in rational solutions (#121) (@ederc)

v0.10.3

AlgebraicSolving v0.10.3

Diff since v0.10.2

Merged pull requests:

• Allow Nemo 0.54; bump version to 0.10.3 (#118) (@lgoettgens)

v0.10.2

AlgebraicSolving v0.10.2

Diff since v0.10.1

Merged pull requests:

• Enforcing msolve v0.9.3 (#116) (@ederc)

Closed issues:

• Gröbner basis + elimination order = random errors (#113)
• Gröbner basis + elimination order = miscellaneous error (macOS-only) (#114)

v0.10.1

AlgebraicSolving v0.10.1

Diff since v0.10.0

Merged pull requests:

• fixes elimination GB bug due to fix via msolve v0.9.2 (#112) (@ederc)
• Allow Nemo.jl 0.53 (#115) (@lgoettgens)

Closed issues:

• Gröbner basis + elimination order = unreliable result (#110)

v0.10.0

AlgebraicSolving v0.10.0

Diff since v0.9.2

• Adds rational parametrizations for algebraic curves

Breaking changes

• Uses msolve v0.9, thus slight interface resp. output changes due to bug fixes and optimizations in precision handling possible.

Merged pull requests:

• Add rational parametrization for algebraic curves (#106) (@rprebet)
• msolve v0.9.1, release v0.10.0 (#109) (@ederc)

v0.9.2

AlgebraicSolving v0.9.2

Diff since v0.9.1

Merged pull requests:

• Allow Nemo 0.52.0 and tag 0.9.2 (#108) (@thofma)

v0.9.1

AlgebraicSolving v0.9.1

Diff since v0.9.0

Merged pull requests:

• adds hilbert to documentation (#103) (@ederc)
• Make Test a test-only dependency (#104) (@lgoettgens)
• Dimension and Hilbert: handle zero ideal (#105) (@rprebet)
• Declare compatibility with Nemo 0.51 (#107) (@lgoettgens)