Extend is_invertible_with_inverse to rings of type MPolyQuoRing{<:MPolyDecRingElem}
#4226
Codecov / codecov/project
succeeded
Oct 22, 2024 in 0s
84.58% (+0.00%) compared to 88b734c
View this Pull Request on Codecov
84.58% (+0.00%) compared to 88b734c
Details
Codecov Report
Attention: Patch coverage is 75.00000% with 1 line in your changes missing coverage. Please review.
Project coverage is 84.58%. Comparing base (
88b734c) to head (745e2ca).
Report is 1 commits behind head on master.
| Files with missing lines | Patch % | Lines |
|---|---|---|
| experimental/IntersectionTheory/src/Main.jl | 50.00% | 1 Missing |
Additional details and impacted files
@@ Coverage Diff @@
## master #4226 +/- ##
=======================================
Coverage 84.58% 84.58%
=======================================
Files 631 631
Lines 85009 85012 +3
=======================================
+ Hits 71908 71911 +3
Misses 13101 13101 | Files with missing lines | Coverage Δ | |
|---|---|---|
| ...ental/IntersectionTheory/src/IntersectionTheory.jl | 100.00% <ø> (ø) |
|
| src/Rings/MPolyQuo.jl | 92.03% <100.00%> (+0.02%) |
⬆️ |
| experimental/IntersectionTheory/src/Main.jl | 93.07% <50.00%> (+0.17%) |
⬆️ |
Loading