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,"y"), ["y^2-5"]); ["(1+y)/2"]);
</pre>
where the string is automatically read in the ring.
(similar for @PolyAlgebraHom@)
<pre>
QQy ::= QQ[y];
R := NewQuotientRing(QQy, ideal(RingElem(QQy,"y^2-5")));
</pre>
Consider the syntax:
<pre>
R := NewQuotientRing(NewPolyRing(QQ,"y"), ["y^2-5"]); ["(1+y)/2"]);
</pre>
where the string is automatically read in the ring.
(similar for @PolyAlgebraHom@)