Skip to content

AlgebraicSolving v0.11.0 providing signature-based Gröbner basis algorithms - #6114

Open
ederc wants to merge 37 commits into
oscar-system:masterfrom
ederc:siggb
Open

AlgebraicSolving v0.11.0 providing signature-based Gröbner basis algorithms#6114
ederc wants to merge 37 commits into
oscar-system:masterfrom
ederc:siggb

Conversation

@ederc

@ederc ederc commented Jul 10, 2026

Copy link
Copy Markdown
Member

This PR brings AlgebraicSolving v0.11.0 including msolve v0.10.1 and provides a new signature-based Gröbner basis algorithm.

@ederc ederc added package: AlgebraicSolving release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes labels Jul 10, 2026
Comment thread src/Rings/groebner/general.jl Outdated
Comment thread src/Rings/groebner/general.jl Outdated
Comment thread src/Rings/groebner/signature-based.jl Outdated
Comment thread src/Rings/groebner/signature-based.jl Outdated
Comment thread src/Rings/groebner/signature-based.jl Outdated
Comment thread src/Rings/groebner/signature-based.jl Outdated
Comment thread src/Rings/groebner/signature-based.jl Outdated
Comment thread src/Rings/groebner/signature-based.jl Outdated
Comment thread src/Rings/groebner/signature-based.jl Outdated
Comment thread src/Rings/groebner/signature-based.jl
ederc and others added 23 commits August 14, 2026 13:12
Co-authored-by: Benjamin Lorenz <benlorenz@users.noreply.github.com>
Co-authored-by: Benjamin Lorenz <benlorenz@users.noreply.github.com>
Co-authored-by: Benjamin Lorenz <benlorenz@users.noreply.github.com>
Co-authored-by: Benjamin Lorenz <benlorenz@users.noreply.github.com>
Co-authored-by: Benjamin Lorenz <benlorenz@users.noreply.github.com>

@benlorenz benlorenz left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Seems reasonable!

One could debate whether to keep the existing info_level arguments for backwards compatibility and combine the values.

Comment thread src/Rings/solving.jl
Comment thread src/Rings/solving.jl Outdated
Comment thread src/Rings/groebner/f4.jl Outdated
Comment thread src/Rings/groebner/signature-based.jl Outdated
Comment thread src/Rings/solving.jl Outdated
Comment thread src/Rings/solving.jl Outdated
@benlorenz

Copy link
Copy Markdown
Member

I would say this also deserves a release notes entry for the new GB algorithms?

ederc and others added 6 commits August 19, 2026 18:55
Co-authored-by: Benjamin Lorenz <benlorenz@users.noreply.github.com>
Co-authored-by: Benjamin Lorenz <benlorenz@users.noreply.github.com>
Co-authored-by: Benjamin Lorenz <benlorenz@users.noreply.github.com>
Co-authored-by: Benjamin Lorenz <benlorenz@users.noreply.github.com>
Co-authored-by: Benjamin Lorenz <benlorenz@users.noreply.github.com>
@ederc ederc added release notes: use title For PRs: the title of this PR is suitable for direct use in the release notes and removed release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes labels Aug 19, 2026
@ederc ederc changed the title AlgebraicSolving v0.11.0 providing signature-based GB algorithms AlgebraicSolving v0.11.0 providing signature-based Gröbner basis algorithms Aug 19, 2026
Comment thread src/Rings/groebner/f4.jl Outdated
Comment thread docs/src/CommutativeAlgebra/GroebnerBases/groebner_bases.md Outdated
Comment thread src/Rings/solving.jl Outdated
Comment thread src/Rings/solving.jl Outdated
Comment thread src/Rings/solving.jl Outdated
ederc and others added 5 commits August 19, 2026 20:59
Co-authored-by: Benjamin Lorenz <benlorenz@users.noreply.github.com>
Co-authored-by: Benjamin Lorenz <benlorenz@users.noreply.github.com>
Co-authored-by: Benjamin Lorenz <benlorenz@users.noreply.github.com>
Co-authored-by: Benjamin Lorenz <benlorenz@users.noreply.github.com>
Co-authored-by: Benjamin Lorenz <benlorenz@users.noreply.github.com>
Comment thread src/Rings/solving.jl Outdated
Comment thread src/Rings/solving.jl
Comment thread src/Rings/solving.jl
ederc and others added 3 commits August 20, 2026 06:32
Co-authored-by: Benjamin Lorenz <benlorenz@users.noreply.github.com>
Co-authored-by: Benjamin Lorenz <benlorenz@users.noreply.github.com>
Co-authored-by: Benjamin Lorenz <benlorenz@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

package: AlgebraicSolving release notes: use title For PRs: the title of this PR is suitable for direct use in the release notes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants