Skip to content

Add Puiseux polynomials#2391

Draft
ollieclarke8787 wants to merge 7 commits into
Nemocas:masterfrom
ollieclarke8787:oc/PuiseuxPolynomialsFromLaurent
Draft

Add Puiseux polynomials#2391
ollieclarke8787 wants to merge 7 commits into
Nemocas:masterfrom
ollieclarke8787:oc/PuiseuxPolynomialsFromLaurent

Conversation

@ollieclarke8787
Copy link
Copy Markdown

@ollieclarke8787 ollieclarke8787 commented Apr 9, 2026

Working repository for adding Puiseux Polynomials to AA, this should supersede oscar-system/Oscar.jl#5861

@joschmitt joschmitt added enhancement New feature or request release notes: use title For PRs: the title of this PR is suitable for direct use in the release notes labels Apr 9, 2026
@joschmitt joschmitt changed the title Add Puiseux polynomials package Add Puiseux polynomials Apr 9, 2026
@codecov
Copy link
Copy Markdown

codecov Bot commented Apr 9, 2026

Codecov Report

❌ Patch coverage is 0% with 198 lines in your changes missing coverage. Please review.
✅ Project coverage is 87.59%. Comparing base (3355a14) to head (d6e032a).

Files with missing lines Patch % Lines
src/PuiseuxMPoly.jl 0.00% 198 Missing ⚠️
Additional details and impacted files
@@            Coverage Diff             @@
##           master    #2391      +/-   ##
==========================================
- Coverage   88.12%   87.59%   -0.53%     
==========================================
  Files         128      129       +1     
  Lines       32886    33084     +198     
==========================================
  Hits        28981    28981              
- Misses       3905     4103     +198     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

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

@joschmitt
Copy link
Copy Markdown
Collaborator

The test file needs to be included explicitly to be executed (there is no magic like in OSCAR). I assume it could fit in the list of includes in test/Rings-test.jl.

Comment thread src/PuiseuxMPoly.jl Outdated
K, (t1,t2,t3) = laurent_polynomial_ring(QQ, ["t1","t2","t3"])
K_p,(tp1,tp2,tp3) = puiseux_polynomial_ring(QQ, ["t1","t2","t3"])
@test K_p.baseRing == K
@test K_p == Oscar.PuiseuxMPolyRing(K)
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.

this file contains multiple references to Oscar which won't work here

Comment thread test/PuiseuxPolynomials-test.jl Outdated
@YueRen
Copy link
Copy Markdown
Contributor

YueRen commented Apr 10, 2026

@lgoettgens Good point, I suggest we remove these for now and once this PR is merged and a new release of AA has happened, I will open a PR in OSCAR.

ollieclarke8787 and others added 2 commits May 27, 2026 11:51
Co-authored-by: Lars Göttgens <lars.goettgens@gmail.com>
Removed trivial tests from the PuiseuxPolynomials test suite.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request 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.

4 participants