TropicalGeometry: new positive tropicalizations #4447
+111
−0
Codecov / codecov/project
succeeded
Jan 24, 2025 in 1s
84.55% (-0.01%) compared to 3e86180, passed because coverage increased by 0% when compared to adjusted base (84.55%)
View this Pull Request on Codecov
84.55% (-0.01%) compared to 3e86180, passed because coverage increased by 0% when compared to adjusted base (84.55%)
Details
Codecov Report
Attention: Patch coverage is 84.21053% with 3 lines in your changes missing coverage. Please review.
Project coverage is 84.55%. Comparing base (
3e86180) to head (a5778ed).
| 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.55% -0.01%
==========================================
Files 672 673 +1
Lines 88880 88899 +19
==========================================
+ Hits 75152 75167 +15
- Misses 13728 13732 +4 | Files with missing lines | Coverage Δ | |
|---|---|---|
| src/TropicalGeometry/positive_variety.jl | 84.21% <84.21%> (ø) |
Loading