Skip to content

Fix bug in diff_action and provide convenience constructors#5892

Merged
lgoettgens merged 4 commits intooscar-system:masterfrom
SirToby25:tb/fix_diff_action
Mar 25, 2026
Merged

Fix bug in diff_action and provide convenience constructors#5892
lgoettgens merged 4 commits intooscar-system:masterfrom
SirToby25:tb/fix_diff_action

Conversation

@SirToby25
Copy link
Copy Markdown
Collaborator

@SirToby25 SirToby25 commented Mar 24, 2026

This small PR fixes a bug in the diff_action-method for difference polynomial rings: After calculating the position of the new exponents the entries in the previous positions were killed, which caused an error if a new position coincided with an old one. This is now fixed and a test was added.

Additionally, we provide a new constructor for difference and differential polynomial rings respectively. It takes a single symbol instead of a vector of symbols. Using it is more convenient when one want to construct such a ring while storing its single jet variable at the same time. The docs were updated accordingly.

@SirToby25 SirToby25 added enhancement New feature or request topic: commutative algebra experimental Only changes experimental parts of the code bug: wrong result labels Mar 24, 2026
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.

doctests don't go well with comments. these two suggestions should fix that

Comment thread experimental/ActionPolyRing/src/Content.jl
Comment thread experimental/ActionPolyRing/src/Content.jl
SirToby25 and others added 2 commits March 25, 2026 11:09
Co-authored-by: Lars Göttgens <lars.goettgens@gmail.com>
Co-authored-by: Lars Göttgens <lars.goettgens@gmail.com>
@SirToby25
Copy link
Copy Markdown
Collaborator Author

doctests don't go well with comments. these two suggestions should fix that

It seems that way. Thank you for the suggestions

@lgoettgens lgoettgens changed the title Fixed bug in diff_action and provide convenient constructors Fixe bug in diff_action and provide convenient constructors Mar 25, 2026
@lgoettgens lgoettgens changed the title Fixe bug in diff_action and provide convenient constructors Fix bug in diff_action and provide convenience constructors Mar 25, 2026
@lgoettgens lgoettgens added release notes: use title For PRs: the title of this PR is suitable for direct use in the release notes backport 1.7.x and removed topic: commutative algebra labels Mar 25, 2026
@lgoettgens lgoettgens enabled auto-merge (squash) March 25, 2026 10:56
@lgoettgens lgoettgens merged commit e2da678 into oscar-system:master Mar 25, 2026
36 of 40 checks passed
benlorenz pushed a commit that referenced this pull request Mar 25, 2026
Co-authored-by: Lars Göttgens <lars.goettgens@gmail.com>
(cherry picked from commit e2da678)
@benlorenz benlorenz mentioned this pull request Mar 25, 2026
1 task
@benlorenz benlorenz added backport 1.7.x done and removed backport 1.7.x enhancement New feature or request labels Mar 25, 2026
Kazak-11 pushed a commit to Kazak-11/Oscar.jl that referenced this pull request Apr 2, 2026
…system#5892)

Co-authored-by: Lars Göttgens <lars.goettgens@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

backport 1.7.x done bug: wrong result experimental Only changes experimental parts of the code 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