Compatibility with AbstractAlgebra ideal interface

[paemurru]

Hopefully resolves the failing checks in Nemocas/AbstractAlgebra.jl#1731

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 75.67%. Comparing base (a7d6515) to head (79faa43).
Report is 1 commits behind head on master.

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #1577      +/-   ##
==========================================
- Coverage   75.68%   75.67%   -0.02%     
==========================================
  Files         357      357              
  Lines      113579   113583       +4     
==========================================
- Hits        85966    85955      -11     
- Misses      27613    27628      +15     

Files	Coverage Δ
src/Misc/PIDIdeal.jl	68.42% <100.00%> (+2.38%)	⬆️

... and 32 files with indirect coverage changes

[thofma]

Things like

function ideal(R::Field, x...)
  return _ideal_pid(R, x...)
end

can be removed once the AA changes are available, right?

[paemurru]

Yes, exactly, that's the idea.

[thofma]

Great! I'll do a release later today or tomorrow, which should make the tests happy in Nemocas/AbstractAlgebra.jl#1731.