CoCoA » CoCoALib

I have some trouble writing a bit of code because I cannot redefine an ideal in another ring (changing (chenging characteristic).
Should we allow that, as we did for @RingElem@?
Probably not...