Design #1647
Updated by Anna Maria Bigatti 3 months ago
Should ideals suppress zero generators?
Currently we have:
<pre>
/**/ I := ideal(x,x-x,x-x,y);
/**/ I;
ideal(x, 0, 0, y)
</pre>
This issue proposes changing this into:
<pre>
/**/ I := ideal(x,x-x,x-x,y); // have to make 0 by x-x
/**/ I;
ideal(x, y)
</pre>
<pre>
/**/ I := ideal(x,y,1);
/**/ I;
ideal(1)
</pre>
The zero ideal would then have no generators.
What do you think?
Currently we have:
<pre>
/**/ I := ideal(x,x-x,x-x,y);
/**/ I;
ideal(x, 0, 0, y)
</pre>
This issue proposes changing this into:
<pre>
/**/ I := ideal(x,x-x,x-x,y); // have to make 0 by x-x
/**/ I;
ideal(x, y)
</pre>
<pre>
/**/ I := ideal(x,y,1);
/**/ I;
ideal(1)
</pre>
The zero ideal would then have no generators.
What do you think?