Feature #1329
Updated by Anna Maria Bigatti over 4 years ago
Making a homomorphism 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")));
phi := PolyAlgebraHom(QQt(1), R, [RingElem(R,"(1+y)/2")]);
</pre>
Consider the syntax:
<pre>
phi := PolyAlgebraHom(QQt(1), R, "(1+y)/2"); ["(1+y)/2"]);
</pre>
where the string is automatically read in the codomain.
(similar for @NewQuotientRing@)
<pre>
QQy ::= QQ[y];
R := NewQuotientRing(QQy, ideal(RingElem(QQy,"y^2-5")));
phi := PolyAlgebraHom(QQt(1), R, [RingElem(R,"(1+y)/2")]);
</pre>
Consider the syntax:
<pre>
phi := PolyAlgebraHom(QQt(1), R, "(1+y)/2"); ["(1+y)/2"]);
</pre>
where the string is automatically read in the codomain.
(similar for @NewQuotientRing@)