Allow variables of same positive degree in monomials_of_degree

[paemurru]

Namely, allow variables of the same nonzero degree.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 84.55%. Comparing base (3e86180) to head (bf2272d).
Report is 1 commits behind head on master.

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #4497      +/-   ##
==========================================
- Coverage   84.55%   84.55%   -0.01%     
==========================================
  Files         672      672              
  Lines       88880    88888       +8     
==========================================
+ Hits        75152    75157       +5     
- Misses      13728    13731       +3     

Files with missing lines	Coverage Δ
src/InvariantTheory/iterators.jl	90.81% <100.00%> (+0.19%)	⬆️

... and 2 files with indirect coverage changes

[joschmitt]

Out of curiosity: Do you have use for these generalizations? I assume that we could support arbitrary positive weights, but that would require a completely different algorithm (I guess lattice point enumeration methods).

[paemurru]

Yes! In projective geometry, graded rings with grading with positive integers is very important. Supporting arbitrary positive weights would be very good!

[joschmitt]

Looks good, thanks!

[joschmitt]

Yes! In projective geometry, graded rings with grading with positive integers is very important. Supporting arbitrary positive weights would be very good!

I realized that we already have monomial_basis(::MPolyDecRing, ::FinGenAbGroupElem). So this might just need some aligning of interfaces.