Skip to content

Allow field coercion and pre-set coefficient fields for polyhedra#5670

Merged
benlorenz merged 9 commits intomasterfrom
bl/coerce_polyhedron
Jan 5, 2026
Merged

Allow field coercion and pre-set coefficient fields for polyhedra#5670
benlorenz merged 9 commits intomasterfrom
bl/coerce_polyhedron

Conversation

@benlorenz
Copy link
Copy Markdown
Member

@benlorenz benlorenz commented Dec 22, 2025

Waiting for some more fixes in Hecke, fixes #5667.

@benlorenz benlorenz added topic: polyhedral geometry Issue concerns polyhedral geometry code needs hecke update release notes: use title For PRs: the title of this PR is suitable for direct use in the release notes labels Dec 22, 2025
@benlorenz benlorenz marked this pull request as draft December 22, 2025 14:36
@thofma
Copy link
Copy Markdown
Collaborator

thofma commented Dec 22, 2025

I ran the tests here against thofma/Hecke.jl#2116 and they passed. Are there more things to be tested or should I make a release?

@benlorenz
Copy link
Copy Markdown
Member Author

benlorenz commented Dec 22, 2025

I ran the tests here against thofma/Hecke.jl#2116 and they passed. Are there more things to be tested or should I make a release?

I think this is fine now, thanks!

I ran a more expensive loop (which I don't want to put in the tests):

julia> for i in 1:92
        p = johnson_solid(i)
        print("$i: ")
        try
         print(qqb(volume(p))," - "); println(qqb(volume(p)) == volume(johnson_solid(qqb,i)))
        catch e
         println("failed")
        end
       end

No errors until number 88. This one is stuck in the convex hull computations right now but only because it needs quite involved polynomials...
Edit: the remaining ones were also successful

@thofma
Copy link
Copy Markdown
Collaborator

thofma commented Dec 22, 2025

The fix is available in Hecke version 0.36.7.

@benlorenz benlorenz changed the title field coercion and pre-set coefficient fields for some polyhedra field coercion and pre-set coefficient fields for polyhedra Dec 22, 2025
@benlorenz benlorenz marked this pull request as ready for review December 23, 2025 09:49
@benlorenz benlorenz force-pushed the bl/coerce_polyhedron branch from 12aa43d to 6d1d8c8 Compare December 29, 2025 13:58
@benlorenz benlorenz requested a review from lkastner January 5, 2026 08:22
@benlorenz benlorenz merged commit 40e8471 into master Jan 5, 2026
60 of 63 checks passed
@benlorenz benlorenz deleted the bl/coerce_polyhedron branch January 5, 2026 10:41
varuntrehan7 pushed a commit to varuntrehan7/Oscar.jl that referenced this pull request Jan 14, 2026
@lgoettgens lgoettgens changed the title field coercion and pre-set coefficient fields for polyhedra Allow field coercion and pre-set coefficient fields for polyhedra Feb 2, 2026
@lgoettgens lgoettgens added the enhancement New feature or request label Feb 2, 2026
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 topic: polyhedral geometry Issue concerns polyhedral geometry code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Change coefficient ring of polytope

4 participants