Remove spaces in morphism printing (#2856)

docs/src/CommutativeAlgebra/ModulesOverMultivariateRings/subquotients.md

@@ -217,7 +217,7 @@ true
 
 Given an element `m` of a subquotient `M` over a ring $R$ with element type `T`,
 - `parent(m)` refers to `M`, 
-- `coordinates(m)` to  an object of type `SRow{T}` specifying the coefficients of an $R$-linear combination of the generators of $M$ which gives $m$, and
+- `coordinates(m)` to an object of type `SRow{T}` specifying the coefficients of an $R$-linear combination of the generators of $M$ which gives $m$, and
 - `ambient_representative(m)` to an element of the ambient free module of `M` which represents `m`.
 
 Given an element `f` of the ambient free module of a subquotient `M` such that `f` represents an element of `M`,

experimental/LieAlgebras/src/LieAlgebraHom.jl

@@ -74,7 +74,7 @@ function Base.show(io::IO, ::MIME"text/plain", h::LieAlgebraHom)
   println(io, LowercaseOff(), "Lie algebra morphism")
   print(io, Indent())
   println(io, "from ", Lowercase(), domain(h))
-  print(io, "to   ", Lowercase(), codomain(h))
+  print(io, "to ", Lowercase(), codomain(h))
   print(io, Dedent())
 end
 
@@ -244,7 +244,7 @@ julia> L2 = special_linear_lie_algebra(QQ, 3);
 julia> h = hom(L1, L2, [basis(L2, 1), basis(L2, 4), basis(L2, 7)]) # embed sl_2 into sl_3
 Lie algebra morphism
   from special linear Lie algebra of degree 2 over QQ
-  to   special linear Lie algebra of degree 3 over QQ
+  to special linear Lie algebra of degree 3 over QQ
   
 julia> [(x, h(x)) for x in basis(L1)]
 3-element Vector{Tuple{LinearLieAlgebraElem{QQFieldElem}, LinearLieAlgebraElem{QQFieldElem}}}:
@@ -277,7 +277,7 @@ julia> L2 = general_linear_lie_algebra(QQ, 2);
 julia> h = hom(L1, L2, matrix(QQ, [0 1 0 0; 0 0 1 0; 1 0 0 -1]))
 Lie algebra morphism
   from special linear Lie algebra of degree 2 over QQ
-  to   general linear Lie algebra of degree 2 over QQ
+  to general linear Lie algebra of degree 2 over QQ
 
 julia> [(x, h(x)) for x in basis(L1)]
 3-element Vector{Tuple{LinearLieAlgebraElem{QQFieldElem}, LinearLieAlgebraElem{QQFieldElem}}}:
@@ -307,7 +307,7 @@ over rational field
 julia> identity_map(L)
 Lie algebra morphism
   from special linear Lie algebra of degree 3 over QQ
-  to   special linear Lie algebra of degree 3 over QQ
+  to special linear Lie algebra of degree 3 over QQ
 ```
 """
 function identity_map(L::LieAlgebra)
@@ -330,7 +330,7 @@ over rational field
 julia> zero_map(L)
 Lie algebra morphism
   from special linear Lie algebra of degree 3 over QQ
-  to   special linear Lie algebra of degree 3 over QQ
+  to special linear Lie algebra of degree 3 over QQ
 ```
 """
 function zero_map(L1::LieAlgebra{C}, L2::LieAlgebra{C}) where {C<:RingElement}

experimental/LieAlgebras/src/LieAlgebraModuleHom.jl

@@ -81,7 +81,7 @@ function Base.show(io::IO, ::MIME"text/plain", h::LieAlgebraModuleHom)
   println(io, LowercaseOff(), "Lie algebra module morphism")
   print(io, Indent())
   println(io, "from ", Lowercase(), domain(h))
-  print(io, "to   ", Lowercase(), codomain(h))
+  print(io, "to ", Lowercase(), codomain(h))
   print(io, Dedent())
 end
 
@@ -221,7 +221,7 @@ julia> V2 = direct_sum(V1, V3);
 julia> h = hom(V1, V2, [V2([v, zero(V3)]) for v in basis(V1)])
 Lie algebra module morphism
   from standard module of dimension 2 over sl_2
-  to   direct sum module of dimension 5 over sl_2
+  to direct sum module of dimension 5 over sl_2
 
 julia> [(v, h(v)) for v in basis(V1)]
 2-element Vector{Tuple{LieAlgebraModuleElem{QQFieldElem}, LieAlgebraModuleElem{QQFieldElem}}}:
@@ -259,7 +259,7 @@ julia> V2 = trivial_module(L);
 julia> h = hom(V1, V2, matrix(QQ, 3, 1, [0, 0, 0]))
 Lie algebra module morphism
   from standard module of dimension 3 over gl_3
-  to   abstract Lie algebra module of dimension 1 over gl_3
+  to abstract Lie algebra module of dimension 1 over gl_3
   
 julia> [(v, h(v)) for v in basis(V1)]
 3-element Vector{Tuple{LieAlgebraModuleElem{QQFieldElem}, LieAlgebraModuleElem{QQFieldElem}}}:
@@ -291,7 +291,7 @@ over special linear Lie algebra of degree 3 over QQ
 julia> identity_map(V)
 Lie algebra module morphism
   from standard module of dimension 3 over sl_3
-  to   standard module of dimension 3 over sl_3
+  to standard module of dimension 3 over sl_3
 ```
 """
 function identity_map(V::LieAlgebraModule)
@@ -316,7 +316,7 @@ over special linear Lie algebra of degree 3 over QQ
 julia> zero_map(V)
 Lie algebra module morphism
   from standard module of dimension 3 over sl_3
-  to   standard module of dimension 3 over sl_3
+  to standard module of dimension 3 over sl_3
 ```
 """
 function zero_map(V1::LieAlgebraModule{C}, V2::LieAlgebraModule{C}) where {C<:RingElement}

src/AlgebraicGeometry/Schemes/CoveredSchemes/Morphisms/Constructors.jl

@@ -38,7 +38,7 @@ Morphism
     1a: [(y//x), (z//x)]   V((y//x), 1)
     2a: [(x//y), (z//y)]   V(1, (x//y))
     3a: [(x//z), (y//z)]   V((y//z), (x//z))
-  to   scheme over QQ covered with 3 patches
+  to scheme over QQ covered with 3 patches
     1b: [(y//x), (z//x)]   V((y//x), 1)
     2b: [(x//y), (z//y)]   V(1, (x//y))
     3b: [(x//z), (y//z)]   V((y//z), (x//z))

src/AlgebraicGeometry/Schemes/CoveredSchemes/Morphisms/Methods.jl

@@ -146,7 +146,7 @@ function Base.show(io::IO, ::MIME"text/plain", f::AbsCoveredSchemeMorphism)
   print(io, Indent(), "from ", Lowercase())
   Oscar._show_semi_compact(io, domain(f), domain(g), "a")
   println(io)
-  print(io, "to   ", Lowercase())
+  print(io, "to ", Lowercase())
   Oscar._show_semi_compact(io, codomain(f), codomain(g), "b")
   if min(length(domain(g)), length(codomain(g))) == 0
     print(io, Dedent())

src/AlgebraicGeometry/Schemes/CoveredSchemes/Objects/Attributes.jl

@@ -247,7 +247,7 @@ julia> s
 Morphism
   from scheme over QQ covered with 1 patch
     1a: [(x//z), (y//z)]   V((x//z)^3 - (y//z)^2, (y//z), (x//z))
-  to   scheme over QQ covered with 3 patches
+  to scheme over QQ covered with 3 patches
     1b: [(y//x), (z//x)]   V(-(y//x)^2*(z//x) + 1)
     2b: [(x//y), (z//y)]   V((x//y)^3 - (z//y))
     3b: [(x//z), (y//z)]   V((x//z)^3 - (y//z)^2)

src/AlgebraicGeometry/Schemes/ProjectiveSchemes/Morphisms/Methods.jl

@@ -33,7 +33,7 @@ julia> Y = projective_scheme(P, I);
 julia> f = identity_map(Y)
 Morphism
   from projective scheme in IP^2 over QQ
-  to   projective scheme in IP^2 over QQ
+  to projective scheme in IP^2 over QQ
 
 julia> fcov = covered_scheme_morphism(f);
 
@@ -115,7 +115,7 @@ function Base.show(io::IO, ::MIME"text/plain", f::ProjectiveSchemeMor)
     print(io, Lowercase())
   end
   println(io, X)
-  print(io, "to   ")
+  print(io, "to ")
   if typeof(Y) <: AbsProjectiveScheme{<:Field, <:MPolyAnyRing} # same as above
     print(io, Lowercase())
   end

src/Rings/mpoly-localizations.jl

@@ -2712,7 +2712,7 @@ julia> TL, _ =  localization(T, UT);
 julia> PSI = hom(TL, RQL, RQL.([x]))
 Ring homomorphism
   from localization of multivariate polynomial ring in 1 variable over QQ at complement of maximal ideal of point (0)
-  to   localization of quotient of multivariate polynomial ring at complement of maximal ideal
+  to localization of quotient of multivariate polynomial ring at complement of maximal ideal
 defined by
   t -> x
 
@@ -2728,7 +2728,7 @@ function Base.show(io::IO, ::MIME"text/plain", phi::MPolyLocalizedRingHom)
   println(io, "Ring homomorphism")
   print(io, Indent())
   println(io, "from ", Lowercase(), domain(phi))
-  println(io, "to   ", Lowercase(), codomain(phi))
+  println(io, "to ", Lowercase(), codomain(phi))
   print(io, Dedent())
   println(io,"defined by")
   print(io, Indent())
@@ -2819,7 +2819,7 @@ julia> TL, _ =  localization(T, UT);
 julia> PHI = hom(RQL, TL, TL.([t, t^2, t^3]))
 Ring homomorphism
   from localization of quotient of multivariate polynomial ring at complement of maximal ideal
-  to   localization of multivariate polynomial ring in 1 variable over QQ at complement of maximal ideal of point (0)
+  to localization of multivariate polynomial ring in 1 variable over QQ at complement of maximal ideal of point (0)
 defined by
   x -> t
   y -> t^2
@@ -2828,7 +2828,7 @@ defined by
 julia> PSI = hom(TL, RQL, RQL.([x]))
 Ring homomorphism
   from localization of multivariate polynomial ring in 1 variable over QQ at complement of maximal ideal of point (0)
-  to   localization of quotient of multivariate polynomial ring at complement of maximal ideal
+  to localization of quotient of multivariate polynomial ring at complement of maximal ideal
 defined by
   t -> x
 

src/Rings/mpolyquo-localizations.jl

@@ -1123,7 +1123,7 @@ function Base.show(io::IO, ::MIME"text/plain", phi::MPolyQuoLocalizedRingHom)
   println(io, "Ring homomorphism")
   print(io, Indent())
   println(io, "from ", Lowercase(), domain(phi))
-  println(io, "to   ", Lowercase(), codomain(phi))
+  println(io, "to ", Lowercase(), codomain(phi))
   print(io, Dedent())
   println(io,"defined by")
   print(io, Indent())