Extend is_invertible_with_inverse to rings of type MPolyQuoRing{<:MPolyDecRingElem}

[wdecker]

…MPolyDecRingElem}`

[wdecker]

I added an example from intersection theory where the extension is needed.

[codecov]

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 2 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%)	⬆️

... and 6 files with indirect coverage changes

[wdecker]

O.k. from my side if lights are green