Skip to content

Drop duplicate is_monomial(::MPolyRingElem)#5732

Merged
lgoettgens merged 6 commits into
oscar-system:masterfrom
lgoettgens:lg/obsolete-is_monomial
Jan 30, 2026
Merged

Drop duplicate is_monomial(::MPolyRingElem)#5732
lgoettgens merged 6 commits into
oscar-system:masterfrom
lgoettgens:lg/obsolete-is_monomial

Conversation

@lgoettgens
Copy link
Copy Markdown
Member

It is already defined at https://github.com/Nemocas/AbstractAlgebra.jl/blob/fb1d09f3f3baf688f598deb50358aa6aa1789860/src/MPoly.jl#L496.
This is not a problem right now (just a code duplication), but with Nemocas/AbstractAlgebra.jl#2286 this is results in precompilation failures due to method overwriting.

@lgoettgens lgoettgens requested a review from fingolfin January 29, 2026 17:00
@lgoettgens lgoettgens added the release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes label Jan 29, 2026
Comment thread src/Rings/mpoly-ideals.jl Outdated
Co-authored-by: ederc <ederc@mathematik.uni-kl.de>
Comment thread src/Rings/mpoly-ideals.jl Outdated
Comment thread src/Rings/mpoly-ideals.jl Outdated
Comment thread src/Rings/mpoly-ideals.jl Outdated
Co-authored-by: Max Horn <max@quendi.de>
@lgoettgens lgoettgens enabled auto-merge (squash) January 30, 2026 10:17
@lgoettgens lgoettgens merged commit 4c63003 into oscar-system:master Jan 30, 2026
59 of 62 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants