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