Feature #1763
Updated by Anna Maria Bigatti 3 months ago
I'm fairly sure we used to have the constructor @ideal(R)@ for an ideal with no generators, but I cannot find any trace of it (and/or why we do not have it).
Of course we can write explicitely @ideal(R, v)@ with an empty vector, but that's ugly.
Should I add the constructor @ideal(R)@?
*2024-02* No longer needed: just call ideal(zero(R))
Of course we can write explicitely @ideal(R, v)@ with an empty vector, but that's ugly.
Should I add the constructor @ideal(R)@?
*2024-02* No longer needed: just call ideal(zero(R))