CoCoA » CoCoALib

07 Sep 2023

11:44 Feature #1763: implement ideal(R) for zero ideal, with no generators?

Here is another idea. We could create a constant empty vector of @RingElem@, and use that.... John Abbott

11:37 Feature #1763: implement ideal(R) for zero ideal, with no generators?

Mmm, don't remember... I'm still on holiday (sort of).
We can do *@ideal(zero(P))@* and *@ideal(P,EmptyList)@*.
May... John Abbott

08:31 Feature #1763 (Rejected): implement ideal(R) for zero ideal, with no generators?

I'm fairly sure we used to have the constructor @ideal(R)@ for an ideal with no generators, but I cannot find any tra... Anna Maria Bigatti