search

Nemocas / Nemo.jl

Julia bindings for various mathematical libraries (including flint2)
http://nemocas.github.io/Nemo.jl/
Other
187 stars 58 forks source link

Rename HeckeMiscInfinity.jl -> Infinity.jl #1767

Closed fingolfin closed 4 months ago

fingolfin commented 4 months ago

Thinking about it now, perhaps this should also be moved to AbstractAlgebra? But that then requires careful coordination of package releases... sigh

codecov[bot] commented 4 months ago

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Project coverage is 85.58%. Comparing base (1cca47a) to head (56ef8ed). Report is 1 commits behind head on master.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #1767 +/- ## ======================================= Coverage 85.58% 85.58% ======================================= Files 95 95 Lines 36921 36921 ======================================= Hits 31597 31597 Misses 5324 5324 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.

lgoettgens commented 4 months ago

Thinking about it now, perhaps this should also be moved to AbstractAlgebra? But that then requires careful coordination of package releases... sigh

Yeah, but let's do that some time after the begehung