Fix Grassmann Pluecker

[antonydellavecchia]

grassmann_pluecker_ideal returns ideal with knowledge of the the computed groebner basis

related to #3374

[codecov]

Codecov Report

Merging #3382 (5d6a6ac) into master (82f6440) will decrease coverage by 0.03%.
Report is 11 commits behind head on master.
The diff coverage is 100.00%.

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #3382      +/-   ##
==========================================
- Coverage   82.08%   82.06%   -0.03%     
==========================================
  Files         556      557       +1     
  Lines       74072    73973      -99     
==========================================
- Hits        60805    60704     -101     
- Misses      13267    13269       +2     

Files	Coverage Δ
src/Rings/mpoly-ideals.jl	94.08% <100.00%> (-0.03%)	⬇️

... and 32 files with indirect coverage changes

[thofma]

I think it would be unfortunate to call the function blabla_ideal and not return an ideal. What about returning an ideal, which knows this Gröbner basis computed by polymake? If you agree, I can give it a try.

[antonydellavecchia]

I think it would be unfortunate to call the function blabla_ideal and not return an ideal. What about returning an ideal, which knows this Gröbner basis computed by polymake? If you agree, I can give it a try.

Ya that would be ideal.

[thofma]

OK, this was easier than expected. I also took the liberty to clean up one of the conversions.