Primary decomposition rerouting #3091
Merged
This check has been archived and is scheduled for deletion.
Learn more about checks retention
Codecov / codecov/project
succeeded
Dec 8, 2023 in 1s
80.52% (+0.01%) compared to 503d48c
View this Pull Request on Codecov
80.52% (+0.01%) compared to 503d48c
Details
Codecov Report
Merging #3091 (5cb6dbd) into master (503d48c) will increase coverage by
0.01%.
Report is 1 commits behind head on master.
The diff coverage is91.93%.
Additional details and impacted files
@@ Coverage Diff @@
## master #3091 +/- ##
==========================================
+ Coverage 80.51% 80.52% +0.01%
==========================================
Files 524 525 +1
Lines 70408 70467 +59
==========================================
+ Hits 56689 56744 +55
- Misses 13719 13723 +4 | Files | Coverage Δ | |
|---|---|---|
| src/Rings/mpoly-ideals.jl | 93.25% <100.00%> (+0.23%) |
⬆️ |
| src/Rings/mpolyquo-localizations.jl | 74.59% <100.00%> (ø) |
|
| src/Rings/MPolyMap/MPolyAnyMap.jl | 93.33% <83.33%> (-0.67%) |
⬇️ |
| src/Rings/primary_decomposition_helpers.jl | 90.69% <90.69%> (ø) |
Loading