diff --git a/src/map/alghom.jl b/src/map/alghom.jl index 6ec2fc246..d5e7fd346 100644 --- a/src/map/alghom.jl +++ b/src/map/alghom.jl @@ -61,7 +61,7 @@ end compose(f::AbstractAlgebra.Map(Singular.SAlgHom), g::AbstractAlgebra.Map(Singular.SAlgHom)) -Returns an algebra homomorphism $h: domain(f) --> codomain(g)$, +Returns an algebra homomorphism $h: domain(f) \to codomain(g)$, where $h = g(f)$. """ function compose(f::Map(SAlgHom), g::Map(SAlgHom)) @@ -131,9 +131,9 @@ end ############################################################################### @doc Markdown.doc""" - Algebra_Homomorphism(D::PolyRing, C::PolyRing, V::Vector) + AlgebraHomomorphism(D::PolyRing, C::PolyRing, V::Vector) -Constructs an algebra homomorphism $f: D --> C$, where the $i$-th variable of +Constructs an algebra homomorphism $f: D \to C$, where the $i$-th variable of $D$ is mapped to the $i$-th entry of $V$. $D$ and $C$ must be polynomial rings over the same base ring. """ diff --git a/src/map/idalghom.jl b/src/map/idalghom.jl index 83fc9b8ec..5c4fc5c74 100644 --- a/src/map/idalghom.jl +++ b/src/map/idalghom.jl @@ -102,7 +102,8 @@ function preimage(f::Map(SIdAlgHom), I::sideal) end @doc Markdown.doc""" - kernel(f::AbstractAlgebra.Map(SIdAlgHom)) + kernel(f::AbstractAlgebra.Map(SIdAlgHom)) + Returns the kernel of the identity algebra homomorphism. """ function kernel(f::Map(SIdAlgHom)) @@ -116,8 +117,9 @@ end ################################################################################ @doc Markdown.doc""" - Identity_Algebra_Homomorphism(R::PolyRing) -Constructs the canonical identity algebra homomorphism $id: D --> D$, + IdentityAlgebraHomomorphism(R::PolyRing) + +Constructs the canonical identity algebra homomorphism $id: D \to D$, where the $i$-th variable of $D$ is mapped to itself. """ IdentityAlgebraHomomorphism(R::PolyRing) = SIdAlgHom{typeof(R.base_ring)}(R)