QuotientingHom(P: RING): RINGHOM
/**/ Use P ::= QQ[i]; /**/ CC := P/ideal(i^2+1); /**/ phi := QuotientingHom(CC); -- phi: P -> CC /**/ Ring(phi(f)); /**/ phi(f)^2; 1