| 2.10.4 Commands and Functions returning RINGHOM |
| CanonicalHom | canonical homomorphism |
| CoeffEmbeddingHom | returns the coefficient embedding homomorphism of a polynomial ring |
| EmbeddingHom | returns the embedding homomorphism of a fraction field |
| InducedHom | homomorphism induced by a homomorphism |
| PolyAlgebraHom | homomorphism of polynomial algebras |
| PolyRingHom | homomorphism of polynomial rings |
| QQEmbeddingHom | returns the homomorphism QQ --> R |
| QuotientingHom | returns the projection homomorphism into a quotient ring |
| TmpChainCanonicalHom | canonical homomorphism |