More signatures for quotient_ring_as_module and ideal_as_module

[wdecker]

Related to the discussion in PR #4100

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 84.59%. Comparing base (78da753) to head (8823360).
Report is 1 commits behind head on master.

Additional details and impacted files

@@           Coverage Diff           @@
##           master    #4174   +/-   ##
=======================================
  Coverage   84.59%   84.59%           
=======================================
  Files         631      631           
  Lines       84813    84813           
=======================================
+ Hits        71747    71749    +2     
+ Misses      13066    13064    -2     

Files with missing lines	Coverage Δ
src/Modules/ModulesGraded.jl	73.72% <100.00%> (ø)

... and 1 file with indirect coverage changes

[afkafkafk13]

Could you add a doctest for a MPolyLocalizedIdeal somewhere?

[HechtiDerLachs]

I agree that we should eventually extend the tests a bit. Other than that, it seems good.

I was wondering whether it might make sense to have a unified name for the function, such as e.g. as_module(...). Similar to sub and friends. But we can discuss this some other time in person.