Skip to content

Commit

Permalink
Tweak some docstrings
Browse files Browse the repository at this point in the history
  • Loading branch information
fingolfin committed Nov 9, 2021
1 parent fa7a16f commit 7a80e9b
Show file tree
Hide file tree
Showing 2 changed files with 8 additions and 6 deletions.
6 changes: 3 additions & 3 deletions src/map/alghom.jl
Original file line number Diff line number Diff line change
Expand Up @@ -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))
Expand Down Expand Up @@ -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.
"""
Expand Down
8 changes: 5 additions & 3 deletions src/map/idalghom.jl
Original file line number Diff line number Diff line change
Expand Up @@ -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))
Expand All @@ -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)
Expand Down

0 comments on commit 7a80e9b

Please sign in to comment.