Feature #1330
Updated by Anna Maria Bigatti over 4 years ago
Making a quotient ring is often tedious. In CoCoA-5 we need to write (the best we can do):
<pre>
QQy ::= QQ[y];
R := NewQuotientRing(QQy, ideal(RingElem(QQy,"y^2-5")));
</pre>
Consider the syntax:
<pre>
R := NewQuotientRing(NewPolyRing(QQ,"a,i"), "a^2-5, i^2+1");
</pre>
where the string is automatically read as an ideal in the base ring.
(similar syntax for @PolyAlgebraHom@)
<pre>
QQy ::= QQ[y];
R := NewQuotientRing(QQy, ideal(RingElem(QQy,"y^2-5")));
</pre>
Consider the syntax:
<pre>
R := NewQuotientRing(NewPolyRing(QQ,"a,i"), "a^2-5, i^2+1");
</pre>
where the string is automatically read as an ideal in the base ring.
(similar syntax for @PolyAlgebraHom@)