Skip to content

Bump AlgebraicSolving to v0.9.0#4894

Merged
lgoettgens merged 1 commit intooscar-system:masterfrom
ederc:as-v090
May 16, 2025
Merged

Bump AlgebraicSolving to v0.9.0#4894
lgoettgens merged 1 commit intooscar-system:masterfrom
ederc:as-v090

Conversation

@ederc
Copy link
Copy Markdown
Member

@ederc ederc commented May 16, 2025

provides msolve v0.8.0 with improved degrevlex GBs over QQ, more hilbert functionality and bug fixes
(including Nemo v0.50 bump)

@ederc ederc closed this May 16, 2025
@ederc ederc reopened this May 16, 2025
@lgoettgens lgoettgens added package: AlgebraicSolving release notes: use title For PRs: the title of this PR is suitable for direct use in the release notes labels May 16, 2025
@codecov
Copy link
Copy Markdown

codecov Bot commented May 16, 2025

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 84.87%. Comparing base (fba692f) to head (78e223e).
Report is 1 commits behind head on master.

Additional details and impacted files
@@            Coverage Diff             @@
##           master    #4894      +/-   ##
==========================================
- Coverage   84.88%   84.87%   -0.01%     
==========================================
  Files         683      683              
  Lines       91783    91783              
==========================================
- Hits        77906    77904       -2     
- Misses      13877    13879       +2     

see 1 file with indirect coverage changes

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

Copy link
Copy Markdown
Member

@lgoettgens lgoettgens left a comment

Choose a reason for hiding this comment

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

CI seems to be happy about this, so let's get this in

@lgoettgens lgoettgens changed the title AlgebraicSolving v0.9.0 Bump AlgebraicSolving to v0.9.0 May 16, 2025
@lgoettgens lgoettgens merged commit 8091816 into oscar-system:master May 16, 2025
36 of 68 checks passed
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.

2 participants