From ef425b1b79b424ed56a9fb827f91c87e72c6b862 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lars=20G=C3=B6ttgens?= Date: Thu, 28 Sep 2023 11:37:14 +0200 Subject: [PATCH] Remove spaces in morphism printing (#2856) --- .../ModulesOverMultivariateRings/subquotients.md | 2 +- experimental/LieAlgebras/src/LieAlgebraHom.jl | 10 +++++----- experimental/LieAlgebras/src/LieAlgebraModuleHom.jl | 10 +++++----- .../Schemes/CoveredSchemes/Morphisms/Constructors.jl | 2 +- .../Schemes/CoveredSchemes/Morphisms/Methods.jl | 2 +- .../Schemes/CoveredSchemes/Objects/Attributes.jl | 2 +- .../Schemes/ProjectiveSchemes/Morphisms/Methods.jl | 4 ++-- src/Rings/mpoly-localizations.jl | 8 ++++---- src/Rings/mpolyquo-localizations.jl | 2 +- 9 files changed, 21 insertions(+), 21 deletions(-) diff --git a/docs/src/CommutativeAlgebra/ModulesOverMultivariateRings/subquotients.md b/docs/src/CommutativeAlgebra/ModulesOverMultivariateRings/subquotients.md index 82702d19411c..70790c1a9042 100644 --- a/docs/src/CommutativeAlgebra/ModulesOverMultivariateRings/subquotients.md +++ b/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`, diff --git a/experimental/LieAlgebras/src/LieAlgebraHom.jl b/experimental/LieAlgebras/src/LieAlgebraHom.jl index cbd78e90e3a3..452c3869a0fc 100644 --- a/experimental/LieAlgebras/src/LieAlgebraHom.jl +++ b/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} diff --git a/experimental/LieAlgebras/src/LieAlgebraModuleHom.jl b/experimental/LieAlgebras/src/LieAlgebraModuleHom.jl index 323e0a3582ba..e0246542c3fb 100644 --- a/experimental/LieAlgebras/src/LieAlgebraModuleHom.jl +++ b/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} diff --git a/src/AlgebraicGeometry/Schemes/CoveredSchemes/Morphisms/Constructors.jl b/src/AlgebraicGeometry/Schemes/CoveredSchemes/Morphisms/Constructors.jl index 55f38330e60d..99e54c1f2797 100644 --- a/src/AlgebraicGeometry/Schemes/CoveredSchemes/Morphisms/Constructors.jl +++ b/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)) diff --git a/src/AlgebraicGeometry/Schemes/CoveredSchemes/Morphisms/Methods.jl b/src/AlgebraicGeometry/Schemes/CoveredSchemes/Morphisms/Methods.jl index 24030bd10235..a905af3dedb6 100644 --- a/src/AlgebraicGeometry/Schemes/CoveredSchemes/Morphisms/Methods.jl +++ b/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()) diff --git a/src/AlgebraicGeometry/Schemes/CoveredSchemes/Objects/Attributes.jl b/src/AlgebraicGeometry/Schemes/CoveredSchemes/Objects/Attributes.jl index 23c59f1931e3..8a66c1acbe86 100644 --- a/src/AlgebraicGeometry/Schemes/CoveredSchemes/Objects/Attributes.jl +++ b/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) diff --git a/src/AlgebraicGeometry/Schemes/ProjectiveSchemes/Morphisms/Methods.jl b/src/AlgebraicGeometry/Schemes/ProjectiveSchemes/Morphisms/Methods.jl index 3df5e0b1f5f6..34d34d2f33c5 100644 --- a/src/AlgebraicGeometry/Schemes/ProjectiveSchemes/Morphisms/Methods.jl +++ b/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 diff --git a/src/Rings/mpoly-localizations.jl b/src/Rings/mpoly-localizations.jl index 9bd84da60fc9..8ff029a7402f 100644 --- a/src/Rings/mpoly-localizations.jl +++ b/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 diff --git a/src/Rings/mpolyquo-localizations.jl b/src/Rings/mpolyquo-localizations.jl index 10b57336ef07..f386e90433ff 100644 --- a/src/Rings/mpolyquo-localizations.jl +++ b/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())