Skip to content

Conversation

@fingolfin
Copy link
Member

Also add a "missing" coercion from AbsSimpleNumFieldElem to FpPolyRingElem.

But considering the work @thofma just went through to get rid of a bunch of non-"canonical" coercions, perhaps instead of adding this one, the other three should be removed?
(I don't know if anything uses these... would need upstream tests to know)

Note that the functions nf_elem_to_gfp_fmpz_poly! etc. are used in Hecke. Once Hecke switched to the new name nf_elem_to_poly!, the old names could be deprecated/removed.

Also add a "missing" coercion from AbsSimpleNumFieldElem
to FpPolyRingElem.

These functions are used in Hecke. Once Hecke switched to the
new names, the old ones could be deprecated/removed.
@codecov
Copy link

codecov bot commented Jan 13, 2026

Codecov Report

❌ Patch coverage is 0% with 18 lines in your changes missing coverage. Please review.
✅ Project coverage is 88.38%. Comparing base (a575e53) to head (555c616).
⚠️ Report is 1 commits behind head on master.

Files with missing lines Patch % Lines
src/HeckeMoreStuff.jl 0.00% 18 Missing ⚠️
Additional details and impacted files
@@            Coverage Diff             @@
##           master    #2232      +/-   ##
==========================================
- Coverage   88.38%   88.38%   -0.01%     
==========================================
  Files         100      100              
  Lines       37170    37178       +8     
==========================================
+ Hits        32852    32858       +6     
- Misses       4318     4320       +2     

☔ 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.

@thofma
Copy link
Member

thofma commented Jan 13, 2026

Can we remove them later? We would also need to cook up a new name for the (::PolyRing)(::AbsSimpleNumFieldElem) version.

@fingolfin
Copy link
Member Author

Sure, I am not in a hurry to remove those -- I was just adding the "missing" method out of reflex, and then started to think WTF am I doing here 😂

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants