Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

TropicalGeometry: new positive tropicalizations #4447

Open
wants to merge 6 commits into
base: master
Choose a base branch
from

Update src/TropicalGeometry/positive_variety.jl

588fccd
Select commit
Loading
Failed to load commit list.
Open

TropicalGeometry: new positive tropicalizations #4447

Update src/TropicalGeometry/positive_variety.jl
588fccd
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Mar 25, 2025 in 0s

84.43% (-0.13%) compared to 3e86180

View this Pull Request on Codecov

84.43% (-0.13%) compared to 3e86180

Details

Codecov Report

Attention: Patch coverage is 84.21053% with 3 lines in your changes missing coverage. Please review.

Project coverage is 84.43%. Comparing base (3e86180) to head (588fccd).
Report is 162 commits behind head on master.

Files with missing lines Patch % Lines
src/TropicalGeometry/positive_variety.jl 84.21% 3 Missing ⚠️
Additional details and impacted files
@@            Coverage Diff             @@
##           master    #4447      +/-   ##
==========================================
- Coverage   84.55%   84.43%   -0.13%     
==========================================
  Files         672      675       +3     
  Lines       88880    90060    +1180     
==========================================
+ Hits        75152    76039     +887     
- Misses      13728    14021     +293     
Files with missing lines Coverage Δ
src/TropicalGeometry/positive_variety.jl 84.21% <84.21%> (ø)

... and 141 files with indirect coverage changes

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