diff --git a/experimental/Schemes/BlowupMorphism.jl b/experimental/Schemes/BlowupMorphism.jl index e853f53a3297..e7dee68a19ad 100644 --- a/experimental/Schemes/BlowupMorphism.jl +++ b/experimental/Schemes/BlowupMorphism.jl @@ -35,7 +35,7 @@ julia> I = ideal(R, [x,y,z]) ideal(x, y, z) julia> bl = blow_up(A3, I) -Blow up +Blowup of scheme over QQ covered with 1 patch 1b: [x, y, z] affine 3-space in sheaf of ideals with restriction @@ -497,9 +497,9 @@ end function Base.show(io::IO, Bl::BlowupMorphism) io = pretty(io) if get(io, :supercompact, false) - print(io, "Morphism") + print(io, "Blowup morphism") else - print(io, "Blow-up: ", Lowercase(), domain(Bl)) + print(io, "Blowup: ", Lowercase(), domain(Bl)) print(io, " -> ", Lowercase(), codomain(Bl)) end end @@ -519,7 +519,7 @@ function show(io::IO, ::MIME"text/plain", Bl::BlowupMorphism) ## create the output io = pretty(io) - println(io, "Blow up") + println(io, "Blowup") print(io, Indent(), "of ", Lowercase()) Oscar._show_semi_compact(io, X0, C0, "b") println(io) diff --git a/experimental/Schemes/CartierDivisor.jl b/experimental/Schemes/CartierDivisor.jl index bebdc2ea77b3..75a8f24be5b0 100644 --- a/experimental/Schemes/CartierDivisor.jl +++ b/experimental/Schemes/CartierDivisor.jl @@ -398,7 +398,7 @@ dim(C::CartierDivisor) = dim(scheme(C))-1 function Base.show(io::IO, C::EffectiveCartierDivisor) io = pretty(io) if get(io, :supercompact, false) - print(io, "Cartier divisor") + print(io, "Effective cartier divisor") elseif has_attribute(C, :name) print(io, get_attribute(C, :name)) else diff --git a/experimental/Schemes/CoherentSheaves.jl b/experimental/Schemes/CoherentSheaves.jl index 767b16e99c8e..5e013b9a2d8f 100644 --- a/experimental/Schemes/CoherentSheaves.jl +++ b/experimental/Schemes/CoherentSheaves.jl @@ -71,7 +71,7 @@ end function Base.show(io::IO, M::AbsCoherentSheaf) io = pretty(io) if get(io, :supercompact, false) - print(io, "Presheaf") + print(io, "Coherent sheaf of modules") elseif has_attribute(M, :name) print(io, get_attribute(M, :name)) else @@ -1011,7 +1011,7 @@ end function Base.show(io::IO, M::DirectSumSheaf) if get(io, :supercompact, false) - print(io, "Presheaf") + print(io, "Direct sum of sheaves") else s = summands(M) if is_unicode_allowed() && length(s) > 0 @@ -1020,7 +1020,7 @@ function Base.show(io::IO, M::DirectSumSheaf) end print(io, "$(s[end])") else - print(io, "Sheaf of modules on covered scheme") + print(io, "Direct sum of sheaves of modules on covered scheme") end end end diff --git a/experimental/Schemes/CoveredProjectiveSchemes.jl b/experimental/Schemes/CoveredProjectiveSchemes.jl index aecd5354731b..339ec12ec727 100644 --- a/experimental/Schemes/CoveredProjectiveSchemes.jl +++ b/experimental/Schemes/CoveredProjectiveSchemes.jl @@ -173,23 +173,11 @@ mutable struct ProjectiveGlueing{ end function Base.show(io::IO, PG::LazyProjectiveGlueing) - if get(io, :supercompact, false) - print(io, "Projective glueing") - else - if isdefined(G, :underlying_glueing) - show(io, underlying_glueing(G)) - else - print(io, "Glueing of projective patches (not yet computed)") - end - end + print(io, "Glueing of projective patches (not yet computed)") end function Base.show(io::IO, PG::ProjectiveGlueing) - if get(io, :supercompact, false) - print(io, "Projective glueing") - else - print(io, "Glueing of projective patches") - end + print(io, "Glueing of projective patches") end function Base.show(io::IO, ::MIME"text/plain", PG::ProjectiveGlueing) @@ -281,10 +269,10 @@ function Base.show(io::IO, CPS::CoveredProjectiveScheme) n = length(projective_patches(CPS)) K = base_ring(base_scheme(CPS)) if get(io, :supercompact, false) - print(io, "Scheme") + print(io, "Relative projective scheme") else if length(projective_patches(CPS)) == 0 - print(io, "Empty covered projective scheme over ") + print(io, "Empty relative projective scheme over ") else print(io, "Relative projective scheme over ") end diff --git a/experimental/Schemes/CoveredScheme.jl b/experimental/Schemes/CoveredScheme.jl index 0d120dbb9020..bb698a1a269d 100644 --- a/experimental/Schemes/CoveredScheme.jl +++ b/experimental/Schemes/CoveredScheme.jl @@ -689,8 +689,8 @@ julia> inc_E = Oscar.CoveredClosedEmbedding(domain(pr), JJ); julia> comp = Oscar.composite_map(inc_E, pr) Composite morphism of - Morphism: scheme over QQ covered with 2 patches -> scheme over QQ covered with 2 patches - Blow-up: scheme over QQ covered with 2 patches -> scheme over QQ covered with 1 patch + Hom: scheme over QQ covered with 2 patches -> scheme over QQ covered with 2 patches + Blowup: scheme over QQ covered with 2 patches -> scheme over QQ covered with 1 patch julia> Oscar.maps(comp)[1] === inc_E true diff --git a/experimental/Schemes/FunctionFields.jl b/experimental/Schemes/FunctionFields.jl index 9d016a0e011b..a6c525d93958 100644 --- a/experimental/Schemes/FunctionFields.jl +++ b/experimental/Schemes/FunctionFields.jl @@ -388,9 +388,9 @@ canonical_unit(f::VarietyFunctionFieldElem) = f # part of the ring interface tha function Base.show(io::IO, KK::VarietyFunctionField) io = pretty(io) if get(io, :supercompact, false) - print(io, "Field") + print(io, "Field of rational functions") else - print(io, "Function field of ", Lowercase(), variety(KK)) + print(io, "Field of rational functions on ", Lowercase(), variety(KK)) end end @@ -414,7 +414,7 @@ end function Base.show(io::IO, f::VarietyFunctionFieldElem) io = pretty(io) if get(io, :supercompact, false) - print(io, "Field element") + print(io, "Rational function") else print(io, "Rational function on ", Lowercase(), variety(parent(f))) end diff --git a/experimental/Schemes/IdealSheaves.jl b/experimental/Schemes/IdealSheaves.jl index 4f153f1819c0..f68cc8a13f0f 100644 --- a/experimental/Schemes/IdealSheaves.jl +++ b/experimental/Schemes/IdealSheaves.jl @@ -1029,7 +1029,7 @@ function Base.show(io::IO, I::IdealSheaf, show_scheme::Bool = true) if has_attribute(I, :name) print(io, get_attribute(I, :name)) elseif get(io, :supercompact, false) - print(io, "Presheaf") + print(io, "Sheaf of ideals") else if get_attribute(I, :is_one, false) print(io, "Sheaf of unit ideals") diff --git a/experimental/Schemes/MorphismFromRationalFunctions.jl b/experimental/Schemes/MorphismFromRationalFunctions.jl index 7f03d21535a2..631e7046fc00 100644 --- a/experimental/Schemes/MorphismFromRationalFunctions.jl +++ b/experimental/Schemes/MorphismFromRationalFunctions.jl @@ -49,7 +49,7 @@ julia> Phi = Oscar.MorphismFromRationalFunctions(IP1, IP2, U, V, [1//t, 1//t^2]) julia> realizations = Oscar.realize_on_patch(Phi, U); julia> realizations[3] -Morphism +Affine scheme morphism from [(t//s)] AA^1 \ V() to [(x//z), (y//z)] affine 2-space given by the pullback function @@ -122,7 +122,7 @@ function Base.show(io::IOContext, Phi::MorphismFromRationalFunctions) if get(io, :supercompact, false) print("Morphism from rational functions") else - print("hom: ", X, " -> ", Y) + print("Hom: ", X, " -> ", Y) end end diff --git a/experimental/Schemes/Sheaves.jl b/experimental/Schemes/Sheaves.jl index f4d17971c0f0..a1d87da94912 100644 --- a/experimental/Schemes/Sheaves.jl +++ b/experimental/Schemes/Sheaves.jl @@ -453,7 +453,7 @@ end function Base.show(io::IO, R::StructureSheafOfRings) io = pretty(io) if get(io, :supercompact, false) - print(io, "Presheaf") + print(io, "Structure sheaf of rings") else if is_unicode_allowed() print(io, "𝒪_{") diff --git a/experimental/Schemes/SpaceGerms.jl b/experimental/Schemes/SpaceGerms.jl index 42a3c6036cc7..f7c7caa42cbf 100644 --- a/experimental/Schemes/SpaceGerms.jl +++ b/experimental/Schemes/SpaceGerms.jl @@ -643,7 +643,7 @@ Spectrum at complement of maximal ideal of point (0, 0, 0) julia> phi -Morphism +Affine scheme morphism from [x1, x2, x3] Spec of localization of quotient of multivariate polynomial ring at complement of maximal ideal to [x1, x2, x3] V(x1^2 + x2^2 + x3^2) given by the pullback function @@ -721,7 +721,7 @@ Spectrum at complement of maximal ideal of point (0, 0, 0) julia> phi -Morphism +Affine scheme morphism from [x1, x2, x3] Spec of localization of quotient of multivariate polynomial ring at complement of maximal ideal to [x1, x2, x3] V(x1^2 + x2^2 + x3^2) given by the pullback function @@ -796,7 +796,7 @@ Spectrum at complement of maximal ideal of point (0, 0, 0) julia> phi -Morphism +Affine scheme morphism from [x1, x2, x3] Spec of localization of quotient of multivariate polynomial ring at complement of maximal ideal to [x1, x2, x3] V(x1^2 + x2^2 + x3^2, x1*x2) given by the pullback function @@ -1032,7 +1032,7 @@ Spectrum at complement of maximal ideal of point (0, 0, 0) julia> incSL -Morphism +Affine scheme morphism from [x1, x2, x3] Spec of localization of quotient of multivariate polynomial ring at complement of maximal ideal to [x1, x2, x3] Spec of localization of quotient of multivariate polynomial ring at complement of maximal ideal given by the pullback function diff --git a/experimental/Schemes/WeilDivisor.jl b/experimental/Schemes/WeilDivisor.jl index 4eef30d8d570..38c45d7bdb35 100644 --- a/experimental/Schemes/WeilDivisor.jl +++ b/experimental/Schemes/WeilDivisor.jl @@ -180,7 +180,7 @@ function Base.show(io::IO, D::WeilDivisor) if has_name(D) print(io, name(D)) elseif get(io, :supercompact, false) - print(io, "Algebraic cycle") + print(io, "Weil divisor") # if the divisor is prime and the ideal sheaf has a name print that elseif length(components(D)) == 1 && has_attribute(first(components(D)), :name) I = first(components(D)) diff --git a/experimental/Schemes/elliptic_surface.jl b/experimental/Schemes/elliptic_surface.jl index 4d7d66d12b9b..682e147da225 100644 --- a/experimental/Schemes/elliptic_surface.jl +++ b/experimental/Schemes/elliptic_surface.jl @@ -276,7 +276,7 @@ end function Base.show(io::IO, S::EllipticSurface) io = pretty(io) if get(io, :supercompact, false) - print(io, "Scheme") + print(io, "Elliptic surface") else E = generic_fiber(S) print(io, "Elliptic surface with generic fiber ", equation(E)) diff --git a/src/AlgebraicGeometry/Schemes/AffineAlgebraicSet/Objects/Methods.jl b/src/AlgebraicGeometry/Schemes/AffineAlgebraicSet/Objects/Methods.jl index f569702991f3..ac9a736350ec 100644 --- a/src/AlgebraicGeometry/Schemes/AffineAlgebraicSet/Objects/Methods.jl +++ b/src/AlgebraicGeometry/Schemes/AffineAlgebraicSet/Objects/Methods.jl @@ -26,7 +26,7 @@ end function Base.show(io::IO, X::AffineAlgebraicSet{<:Field,<:MPolyQuoRing}) io = pretty(io) if get(io, :supercompact, false) - print(io, "Scheme") + print(io, "Affine algebraic set") elseif get_attribute(X, :is_empty, false) print(io, "Empty affine algebraic set over ") K = base_ring(X) @@ -58,7 +58,7 @@ end function Base.show(io::IO, X::AffineAlgebraicSet) io = pretty(io) if get(io, :supercompact, false) - print(io, "Scheme") + print(io, "Affine algebraic set") elseif get_attribute(X, :is_empty, false) print(io, "Empty affine algebraic set over ") K = base_ring(X) diff --git a/src/AlgebraicGeometry/Schemes/AffineSchemes/Morphisms/Attributes.jl b/src/AlgebraicGeometry/Schemes/AffineSchemes/Morphisms/Attributes.jl index 0d59614c9e6c..45674668cda4 100644 --- a/src/AlgebraicGeometry/Schemes/AffineSchemes/Morphisms/Attributes.jl +++ b/src/AlgebraicGeometry/Schemes/AffineSchemes/Morphisms/Attributes.jl @@ -42,7 +42,7 @@ Spectrum by ideal(x1) julia> f = inclusion_morphism(X, Y) -Morphism +Affine scheme morphism from [x1, x2, x3] V(x1) to [x1, x2, x3] affine 3-space over QQ given by the pullback function @@ -91,7 +91,7 @@ Spectrum by ideal(x1) julia> f = inclusion_morphism(X, Y) -Morphism +Affine scheme morphism from [x1, x2, x3] V(x1) to [x1, x2, x3] affine 3-space over QQ given by the pullback function @@ -250,7 +250,7 @@ Spectrum by ideal(x1) julia> f = inclusion_morphism(X, Y) -Morphism +Affine scheme morphism from [x1, x2, x3] V(x1) to [x1, x2, x3] affine 3-space over QQ given by the pullback function @@ -259,7 +259,7 @@ given by the pullback function x3 -> x3 julia> graph(f) -(V(x1, -x1, x2 - x2, x3 - x3), Morphism: V(x1, -x1, x2 - x2, x3 - x3) -> V(x1), Morphism: V(x1, -x1, x2 - x2, x3 - x3) -> affine 3-space over QQ with coordinates [x1, x2, x3]) +(V(x1, -x1, x2 - x2, x3 - x3), Hom: V(x1, -x1, x2 - x2, x3 - x3) -> V(x1), Hom: V(x1, -x1, x2 - x2, x3 - x3) -> affine 3-space over QQ with coordinates [x1, x2, x3]) ``` """ function graph(f::AbsSpecMor{<:AbsSpec{BRT}, <:AbsSpec{BRT}}) where {BRT} diff --git a/src/AlgebraicGeometry/Schemes/AffineSchemes/Morphisms/Constructors.jl b/src/AlgebraicGeometry/Schemes/AffineSchemes/Morphisms/Constructors.jl index 875500438bb1..f2151b5078b1 100644 --- a/src/AlgebraicGeometry/Schemes/AffineSchemes/Morphisms/Constructors.jl +++ b/src/AlgebraicGeometry/Schemes/AffineSchemes/Morphisms/Constructors.jl @@ -28,7 +28,7 @@ Affine space of dimension 3 with coordinates [x1, x2, x3] julia> SpecMor(X, Y, gens(OO(X))) -Morphism +Affine scheme morphism from [x1, x2, x3] affine 3-space over QQ to [x1, x2, x3] affine 3-space over QQ given by the pullback function @@ -83,7 +83,7 @@ Affine space of dimension 3 with coordinates [x1, x2, x3] julia> identity_map(X) -Morphism +Affine scheme morphism from [x1, x2, x3] affine 3-space over QQ to [x1, x2, x3] affine 3-space over QQ given by the pullback function @@ -128,7 +128,7 @@ Spectrum by ideal(x1) julia> f = inclusion_morphism(Y, X) -Morphism +Affine scheme morphism from [x1, x2, x3] V(x1) to [x1, x2, x3] affine 3-space over QQ given by the pullback function @@ -176,7 +176,7 @@ Spectrum by ideal(x1) julia> m1 = inclusion_morphism(Y, X) -Morphism +Affine scheme morphism from [x1, x2, x3] V(x1) to [x1, x2, x3] affine 3-space over QQ given by the pullback function @@ -185,7 +185,7 @@ given by the pullback function x3 -> x3 julia> m2 = identity_map(X) -Morphism +Affine scheme morphism from [x1, x2, x3] affine 3-space over QQ to [x1, x2, x3] affine 3-space over QQ given by the pullback function @@ -194,7 +194,7 @@ given by the pullback function x3 -> x3 julia> m3 = identity_map(Y) -Morphism +Affine scheme morphism from [x1, x2, x3] V(x1) to [x1, x2, x3] V(x1) given by the pullback function diff --git a/src/AlgebraicGeometry/Schemes/AffineSchemes/Morphisms/Methods.jl b/src/AlgebraicGeometry/Schemes/AffineSchemes/Morphisms/Methods.jl index 3100a176c8c6..025f4c65aad5 100644 --- a/src/AlgebraicGeometry/Schemes/AffineSchemes/Morphisms/Methods.jl +++ b/src/AlgebraicGeometry/Schemes/AffineSchemes/Morphisms/Methods.jl @@ -162,7 +162,7 @@ function Base.show(io::IO, ::MIME"text/plain", f::AbsSpecMor) kY = length(str) # Length coordinates codomain push!(co_str, str) k = max(length.(co_str)...) # Maximum to estimate offsets - println(io, "Morphism") + println(io, "Affine scheme morphism") print(io, Indent(), "from ") print(io, co_str[1]*" "^(k-kX+2)) # Consider offset for alignment if typeof(X) <: Union{PrincipalOpenSubset, AffineVariety{ <:Field, <: MPolyAnyRing}, <:Spec{<:Field, <:MPolyAnyRing}} # Take care of the case where the domain is not given as a V(bla) @@ -210,11 +210,11 @@ end function Base.show(io::IO, f::AbsSpecMor) io = pretty(io) if get(io, :supercompact, false) - print(io, "Morphism") + print(io, "Affine scheme morphism") else X = domain(f) Y = codomain(f) - print(io, "Morphism: ") + print(io, "Hom: ") if typeof(X) <: Union{PrincipalOpenSubset, AffineVariety{ <:Field, <: MPolyAnyRing}, <:Spec{<:Field, <:MPolyAnyRing}} # Take care of the case where the domain is not given as a V(bla) print(io, Lowercase()) end diff --git a/src/AlgebraicGeometry/Schemes/AffineSchemes/Objects/Attributes.jl b/src/AlgebraicGeometry/Schemes/AffineSchemes/Objects/Attributes.jl index d4b5f8822e21..4695ff3088ff 100644 --- a/src/AlgebraicGeometry/Schemes/AffineSchemes/Objects/Attributes.jl +++ b/src/AlgebraicGeometry/Schemes/AffineSchemes/Objects/Attributes.jl @@ -229,7 +229,7 @@ Spectrum by ideal(x) julia> inc = ambient_embedding(Y) -Morphism +Affine scheme morphism from [x, y] V(x) to [x, y] affine 2-space over QQ given by the pullback function @@ -558,10 +558,10 @@ Spectrum at complement of maximal ideal of point (0, 0) julia> reduced_scheme(X) -(V(x^2 - 2*x*y + y^2, x - y), Morphism: V(x^2 - 2*x*y + y^2, x - y) -> V(x^2 - 2*x*y + y^2)) +(V(x^2 - 2*x*y + y^2, x - y), Hom: V(x^2 - 2*x*y + y^2, x - y) -> V(x^2 - 2*x*y + y^2)) julia> reduced_scheme(Y) -(Spec of localization of quotient of multivariate polynomial ring at complement of maximal ideal, Morphism: Spec of localization of quotient of multivariate polynomial ring at complement of maximal ideal -> Spec of localization of quotient of multivariate polynomial ring at complement of maximal ideal) +(Spec of localization of quotient of multivariate polynomial ring at complement of maximal ideal, Hom: Spec of localization of quotient of multivariate polynomial ring at complement of maximal ideal -> Spec of localization of quotient of multivariate polynomial ring at complement of maximal ideal) ``` """ @@ -641,10 +641,10 @@ Spectrum by ideal(x^2 - y^2 + z^2) julia> singular_locus(A3) -(V(1), Morphism: V(1) -> affine 3-space) +(V(1), Hom: V(1) -> affine 3-space) julia> singular_locus(X) -(V(x^2 - y^2 + z^2, z, y, x), Morphism: V(x^2 - y^2 + z^2, z, y, x) -> V(x^2 - y^2 + z^2)) +(V(x^2 - y^2 + z^2, z, y, x), Hom: V(x^2 - y^2 + z^2, z, y, x) -> V(x^2 - y^2 + z^2)) julia> U = MPolyComplementOfKPointIdeal(R,[0,0,0]) Complement @@ -661,7 +661,7 @@ Spectrum at complement of maximal ideal of point (0, 0, 0) julia> singular_locus(Y) -(Spec of localization of quotient of multivariate polynomial ring at complement of maximal ideal, Morphism: Spec of localization of quotient of multivariate polynomial ring at complement of maximal ideal -> Spec of localization of quotient of multivariate polynomial ring at complement of maximal ideal) +(Spec of localization of quotient of multivariate polynomial ring at complement of maximal ideal, Hom: Spec of localization of quotient of multivariate polynomial ring at complement of maximal ideal -> Spec of localization of quotient of multivariate polynomial ring at complement of maximal ideal) ``` """ @@ -720,10 +720,10 @@ Spectrum by ideal(x^4 - 2*x^2*y^2 + 2*x^2*z^2 + y^4 - 2*y^2*z^2 + z^4) julia> singular_locus_reduced(X) -(V(x^4 - 2*x^2*y^2 + 2*x^2*z^2 + y^4 - 2*y^2*z^2 + z^4, z, y, x), Morphism: V(x^4 - 2*x^2*y^2 + 2*x^2*z^2 + y^4 - 2*y^2*z^2 + z^4, z, y, x) -> V(x^4 - 2*x^2*y^2 + 2*x^2*z^2 + y^4 - 2*y^2*z^2 + z^4)) +(V(x^4 - 2*x^2*y^2 + 2*x^2*z^2 + y^4 - 2*y^2*z^2 + z^4, z, y, x), Hom: V(x^4 - 2*x^2*y^2 + 2*x^2*z^2 + y^4 - 2*y^2*z^2 + z^4, z, y, x) -> V(x^4 - 2*x^2*y^2 + 2*x^2*z^2 + y^4 - 2*y^2*z^2 + z^4)) julia> singular_locus(X) -(V(x^4 - 2*x^2*y^2 + 2*x^2*z^2 + y^4 - 2*y^2*z^2 + z^4, x^2 - y^2 + z^2), Morphism: V(x^4 - 2*x^2*y^2 + 2*x^2*z^2 + y^4 - 2*y^2*z^2 + z^4, x^2 - y^2 + z^2) -> V(x^4 - 2*x^2*y^2 + 2*x^2*z^2 + y^4 - 2*y^2*z^2 + z^4)) +(V(x^4 - 2*x^2*y^2 + 2*x^2*z^2 + y^4 - 2*y^2*z^2 + z^4, x^2 - y^2 + z^2), Hom: V(x^4 - 2*x^2*y^2 + 2*x^2*z^2 + y^4 - 2*y^2*z^2 + z^4, x^2 - y^2 + z^2) -> V(x^4 - 2*x^2*y^2 + 2*x^2*z^2 + y^4 - 2*y^2*z^2 + z^4)) ``` """ diff --git a/src/AlgebraicGeometry/Schemes/AffineSchemes/Objects/Methods.jl b/src/AlgebraicGeometry/Schemes/AffineSchemes/Objects/Methods.jl index 45f2e1b8688c..023fc09b21db 100644 --- a/src/AlgebraicGeometry/Schemes/AffineSchemes/Objects/Methods.jl +++ b/src/AlgebraicGeometry/Schemes/AffineSchemes/Objects/Methods.jl @@ -47,7 +47,7 @@ function Base.show(io::IO, X::AbsSpec) elseif get(io, :supercompact, false) print(io, "Affine scheme") elseif get_attribute(X, :is_empty, false) - print(io, "Empty scheme") + print(io, "Empty affine scheme") else _show(io, X) end @@ -60,7 +60,7 @@ end function _show(io::IO, X::AbsSpec{<:Any,<:MPolyRing}) io = pretty(io) - print(io, "affine ",ngens(OO(X)),"-space") + print(io, "Affine ",ngens(OO(X)),"-space") end function _show(io::IO, X::AbsSpec{<:Any,<:MPolyQuoRing}) diff --git a/src/AlgebraicGeometry/Schemes/AffineVariety/Objects/Methods.jl b/src/AlgebraicGeometry/Schemes/AffineVariety/Objects/Methods.jl index b71a00e9b808..6573c784f807 100644 --- a/src/AlgebraicGeometry/Schemes/AffineVariety/Objects/Methods.jl +++ b/src/AlgebraicGeometry/Schemes/AffineVariety/Objects/Methods.jl @@ -22,7 +22,7 @@ end function Base.show(io::IO, X::AffineVariety{<:Field,<:MPolyQuoRing}) io = pretty(io) if get(io, :supercompact, false) - print(io, "Scheme") + print(io, "Affine variety") elseif get_attribute(X, :is_empty, false) print(io, "Empty affine variety over ") K = base_ring(X) @@ -49,7 +49,7 @@ end function Base.show(io::IO, X::AffineVariety) io = pretty(io) if get(io, :supercompact, false) - print(io, "Scheme") + print(io, "Affine variety") elseif get_attribute(X, :is_empty, false) print(io, "Empty affine variety over ") K = base_ring(X) diff --git a/src/AlgebraicGeometry/Schemes/CoveredSchemes/Morphisms/Attributes.jl b/src/AlgebraicGeometry/Schemes/CoveredSchemes/Morphisms/Attributes.jl index 086f6e2de14b..214d641c2350 100644 --- a/src/AlgebraicGeometry/Schemes/CoveredSchemes/Morphisms/Attributes.jl +++ b/src/AlgebraicGeometry/Schemes/CoveredSchemes/Morphisms/Attributes.jl @@ -40,13 +40,13 @@ with default covering 3: [(x//z), (y//z)] julia> I, s = singular_locus(Ycov) -(Scheme over QQ covered with 1 patch, Morphism: scheme over QQ covered with 1 patch -> scheme over QQ covered with 3 patches) +(Scheme over QQ covered with 1 patch, Hom: scheme over QQ covered with 1 patch -> scheme over QQ covered with 3 patches) julia> covering_morphism(s) -Morphism +Covering morphism from covering with 1 patch 1a: [(x//z), (y//z)] V((x//z)^3 - (y//z)^2, (y//z), (x//z)) - to covering with 3 patches + to covering 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/CoveredSchemes/Morphisms/Constructors.jl b/src/AlgebraicGeometry/Schemes/CoveredSchemes/Morphisms/Constructors.jl index 99e54c1f2797..99e1f539e597 100644 --- a/src/AlgebraicGeometry/Schemes/CoveredSchemes/Morphisms/Constructors.jl +++ b/src/AlgebraicGeometry/Schemes/CoveredSchemes/Morphisms/Constructors.jl @@ -33,7 +33,7 @@ with default covering 3: [(x//z), (y//z)] julia> identity_map(Xcov) -Morphism +Covered scheme morphism from scheme over QQ covered with 3 patches 1a: [(y//x), (z//x)] V((y//x), 1) 2a: [(x//y), (z//y)] V(1, (x//y)) diff --git a/src/AlgebraicGeometry/Schemes/CoveredSchemes/Morphisms/Methods.jl b/src/AlgebraicGeometry/Schemes/CoveredSchemes/Morphisms/Methods.jl index 6639e88f4096..580d22dce906 100644 --- a/src/AlgebraicGeometry/Schemes/CoveredSchemes/Morphisms/Methods.jl +++ b/src/AlgebraicGeometry/Schemes/CoveredSchemes/Morphisms/Methods.jl @@ -126,9 +126,9 @@ end function Base.show(io::IO, f::AbsCoveredSchemeMorphism) io = pretty(io) if get(io, :supercompact, false) - print(io, "Morphism") + print(io, "Covered scheme morphism") else - print(io, "Morphism: ", Lowercase(), domain(f), " -> ", Lowercase(), codomain(f)) + print(io, "Hom: ", Lowercase(), domain(f), " -> ", Lowercase(), codomain(f)) end end @@ -142,7 +142,7 @@ end function Base.show(io::IO, ::MIME"text/plain", f::AbsCoveredSchemeMorphism) io = pretty(io) g = covering_morphism(f) - println(io, "Morphism") + println(io, "Covered scheme morphism") print(io, Indent(), "from ", Lowercase()) Oscar._show_semi_compact(io, domain(f), domain(g), "a") println(io) diff --git a/src/AlgebraicGeometry/Schemes/CoveredSchemes/Objects/Attributes.jl b/src/AlgebraicGeometry/Schemes/CoveredSchemes/Objects/Attributes.jl index 8a66c1acbe86..34886b94c82f 100644 --- a/src/AlgebraicGeometry/Schemes/CoveredSchemes/Objects/Attributes.jl +++ b/src/AlgebraicGeometry/Schemes/CoveredSchemes/Objects/Attributes.jl @@ -232,7 +232,7 @@ with default covering 3: [(x//z), (y//z)] julia> I, s = singular_locus(Ycov) -(Scheme over QQ covered with 1 patch, Morphism: scheme over QQ covered with 1 patch -> scheme over QQ covered with 3 patches) +(Scheme over QQ covered with 1 patch, Hom: scheme over QQ covered with 1 patch -> scheme over QQ covered with 3 patches) julia> I # singular locus actually lives in the patch {z != 0} Scheme @@ -244,7 +244,7 @@ with default covering 1: [(x//z), (y//z)] julia> s -Morphism +Covered scheme 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 diff --git a/src/AlgebraicGeometry/Schemes/CoveredSchemes/Objects/Methods.jl b/src/AlgebraicGeometry/Schemes/CoveredSchemes/Objects/Methods.jl index 23428fde7891..d3f180d3996b 100644 --- a/src/AlgebraicGeometry/Schemes/CoveredSchemes/Objects/Methods.jl +++ b/src/AlgebraicGeometry/Schemes/CoveredSchemes/Objects/Methods.jl @@ -126,7 +126,7 @@ function Base.show(io::IO, X::AbsCoveredScheme, cov::Covering = get_attribute(X, if has_name(X) print(io, name(X)) elseif get(io, :supercompact, false) - print(io, "Scheme") + print(io, "Covered scheme") else if get_attribute(X, :is_empty, false) || npatches(cov) == 0 print(io, "Empty covered scheme over ") diff --git a/src/AlgebraicGeometry/Schemes/Covering/Morphisms/Constructors.jl b/src/AlgebraicGeometry/Schemes/Covering/Morphisms/Constructors.jl index 82f1e26ac1fe..774cd620fc81 100644 --- a/src/AlgebraicGeometry/Schemes/Covering/Morphisms/Constructors.jl +++ b/src/AlgebraicGeometry/Schemes/Covering/Morphisms/Constructors.jl @@ -28,12 +28,12 @@ Covering 3: [(x//z), (y//z)] julia> identity_map(C) -Morphism +Covering morphism from covering with 3 patches 1a: [(y//x), (z//x)] V(-(y//x)^2*(z//x) + 1) 2a: [(x//y), (z//y)] V((x//y)^3 - (z//y)) 3a: [(x//z), (y//z)] V((x//z)^3 - (y//z)^2) - to covering with 3 patches + to covering 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/Covering/Morphisms/Methods.jl b/src/AlgebraicGeometry/Schemes/Covering/Morphisms/Methods.jl index 928fa67f5a6b..7da11d1d0f4d 100644 --- a/src/AlgebraicGeometry/Schemes/Covering/Morphisms/Methods.jl +++ b/src/AlgebraicGeometry/Schemes/Covering/Morphisms/Methods.jl @@ -92,9 +92,9 @@ end function Base.show(io::IO, f::CoveringMorphism) io = pretty(io) if get(io, :supercompact, false) - print(io, "Morphism") + print(io, "Covering morphism") else - print(io, "Morphism: ", Lowercase(), domain(f), " -> ", Lowercase(), codomain(f)) + print(io, "Hom: ", Lowercase(), domain(f), " -> ", Lowercase(), codomain(f)) end end @@ -151,7 +151,7 @@ end # aligned on the right, and their respective images are aligned on the left. function Base.show(io::IO, ::MIME"text/plain", f::CoveringMorphism) io = pretty(io) - println(io, "Morphism") + println(io, "Covering morphism") print(io, Indent(), "from ", Lowercase(), domain(f)) print(io, Indent()) co_str = String[""] @@ -172,7 +172,7 @@ function Base.show(io::IO, ::MIME"text/plain", f::CoveringMorphism) print(io, " "^(lX-li)*"$(i)a: "*co_str[i+1]*" "^(k-kc+3), Lowercase(), U) end println(io, Dedent()) - print(io, "to ", Lowercase(), codomain(f)) + print(io, "to ", Lowercase(), codomain(f)) print(io, Indent()) co_str = String[""] for i in 1:length(codomain(f)) diff --git a/src/AlgebraicGeometry/Schemes/Glueing/Constructors.jl b/src/AlgebraicGeometry/Schemes/Glueing/Constructors.jl index e30c21069a70..2fe4de0d6c82 100644 --- a/src/AlgebraicGeometry/Schemes/Glueing/Constructors.jl +++ b/src/AlgebraicGeometry/Schemes/Glueing/Constructors.jl @@ -24,7 +24,7 @@ julia> g = SpecMor(V2, V1, [1//u, v//u]); # and its inverse julia> G = Glueing(U1, U2, f, g) # Construct the glueing Glueing - of affine 2-space + of affine 2-space and affine 2-space along the open subsets [x, y] AA^2 \ V(x) @@ -46,13 +46,13 @@ julia> h2 = SpecOpenMor(W2, W1, [1//u, v//u]); julia> H = Glueing(U1, U2, h1, h2) Glueing - of affine 2-space + of affine 2-space and affine 2-space along the open subsets [x, y] complement to V(x) in affine scheme with coordinates [x, y] [u, v] complement to V(u) in affine scheme with coordinates [u, v] defined by the map - morphism + affine scheme morphism from [x, y] AA^2 \ V(x) to [u, v] affine 2-space given by the pullback function diff --git a/src/AlgebraicGeometry/Schemes/Glueing/Methods.jl b/src/AlgebraicGeometry/Schemes/Glueing/Methods.jl index bb1ccc8bf521..871109b1f317 100644 --- a/src/AlgebraicGeometry/Schemes/Glueing/Methods.jl +++ b/src/AlgebraicGeometry/Schemes/Glueing/Methods.jl @@ -11,7 +11,7 @@ function Base.show(io::IO, ::MIME"text/plain", G::AbsGlueing) io = pretty(io) println(io, "Glueing") - println(io, Indent(), "of ", Lowercase(), patches(G)[1]) + println(io, Indent(), "of ", Lowercase(), patches(G)[1]) println(io, "and ", Lowercase(), patches(G)[2]) println(io, Dedent(), "along the open subsets") f = glueing_morphisms(G)[1] diff --git a/src/AlgebraicGeometry/Schemes/ProjectiveAlgebraicSet/Objects/Constructors.jl b/src/AlgebraicGeometry/Schemes/ProjectiveAlgebraicSet/Objects/Constructors.jl index 41bfed726760..0c229741fd06 100644 --- a/src/AlgebraicGeometry/Schemes/ProjectiveAlgebraicSet/Objects/Constructors.jl +++ b/src/AlgebraicGeometry/Schemes/ProjectiveAlgebraicSet/Objects/Constructors.jl @@ -18,7 +18,7 @@ Projective scheme defined by ideal(x0*x1^2, x2) julia> Y = algebraic_set(X) -Algebraic set +Projective algebraic set in projective 2-space over QQ with coordinates [x0, x1, x2] defined by ideal(x2, x0*x1) @@ -37,7 +37,7 @@ Return the projrective algebraic set defined by the homogeneous ideal ``I``. julia> P,(x0,x1) = graded_polynomial_ring(QQ,[:x0,:x1]); julia> algebraic_set(ideal([x0,x1])) -Algebraic set +Projective algebraic set in projective 1-space over QQ with coordinates [x0, x1] defined by ideal(x1, x0) @@ -96,7 +96,7 @@ with homogeneous coordinates [s0, s1] julia> (s0,s1) = homogeneous_coordinates(P1); julia> X = algebraic_set((s0^2+s1^2)*s1) -Algebraic set +Projective algebraic set in projective 1-space over QQ with coordinates [s0, s1] defined by ideal(s0^2*s1 + s1^3) @@ -106,7 +106,7 @@ julia> (X1,X2) = irreducible_components(X) V(s1) julia> X1 # irreducible but not geometrically irreducible -Algebraic set +Projective algebraic set in projective 1-space over QQ with coordinates [s0, s1] defined by ideal(s0^2 + s1^2) diff --git a/src/AlgebraicGeometry/Schemes/ProjectiveAlgebraicSet/Objects/Methods.jl b/src/AlgebraicGeometry/Schemes/ProjectiveAlgebraicSet/Objects/Methods.jl index 214f3dd789f8..3c1edc023945 100644 --- a/src/AlgebraicGeometry/Schemes/ProjectiveAlgebraicSet/Objects/Methods.jl +++ b/src/AlgebraicGeometry/Schemes/ProjectiveAlgebraicSet/Objects/Methods.jl @@ -5,7 +5,7 @@ function Base.show(io::IO, ::MIME"text/plain", X::AbsProjectiveAlgebraicSet{<:Field,<:MPolyQuoRing}) io = pretty(io) - println(io, "Algebraic set") + println(io, "Projective algebraic set") println(io, Indent(), "in ", Lowercase(), ambient_space(X)) print(io, Dedent(), "defined by ", Lowercase(), defining_ideal(X)) end @@ -15,7 +15,7 @@ end function Base.show(io::IO, X::AbsProjectiveAlgebraicSet{<:Field, <:MPolyQuoRing}) io = pretty(io) if get(io, :supercompact, false) - print(io, "Scheme") + print(io, "Projective algebraic set") elseif get_attribute(X, :is_empty, false) print(io, "Empty projective algebraic set") else diff --git a/src/AlgebraicGeometry/Schemes/ProjectiveSchemes/Morphisms/Methods.jl b/src/AlgebraicGeometry/Schemes/ProjectiveSchemes/Morphisms/Methods.jl index e9f50bde7561..3c3e06307cc6 100644 --- a/src/AlgebraicGeometry/Schemes/ProjectiveSchemes/Morphisms/Methods.jl +++ b/src/AlgebraicGeometry/Schemes/ProjectiveSchemes/Morphisms/Methods.jl @@ -31,7 +31,7 @@ julia> I = ideal([x^3-y^2*z]); julia> Y = projective_scheme(P, I); julia> f = identity_map(Y) -Morphism +Projective scheme morphism from projective scheme in IP^2 over QQ to projective scheme in IP^2 over QQ @@ -123,10 +123,10 @@ end function Base.show(io::IO, f::AbsProjectiveSchemeMorphism) if get(io, :supercompact, false) - print(io, "Morphism") + print(io, "Projective scheme morphism") else io = pretty(io) - print(io, "Morphism: ", Lowercase(), domain(f), " -> ", Lowercase(), codomain(f)) + print(io, "Hom: ", Lowercase(), domain(f), " -> ", Lowercase(), codomain(f)) end end @@ -134,7 +134,7 @@ function Base.show(io::IO, ::MIME"text/plain", f::AbsProjectiveSchemeMorphism) io = pretty(io) X = domain(f) Y = codomain(f) - println(io, "Morphism") + println(io, "Projective scheme morphism") print(io, Indent(), "from ") if typeof(X) <: AbsProjectiveScheme{<:Field, <:MPolyAnyRing} # X is not a V(bla) print(io, Lowercase()) @@ -157,7 +157,7 @@ end function _show_semi_compact(io::IO, f::AbsProjectiveSchemeMorphism) io = pretty(io) - print(io, "Morphism of projective schemes") + print(io, "Projective scheme morphism") if has_attribute(f, :covered_scheme_morphism) println(io, " defined by the map") print(io, Indent(), Lowercase()) diff --git a/src/AlgebraicGeometry/Schemes/ProjectiveSchemes/Objects/Methods.jl b/src/AlgebraicGeometry/Schemes/ProjectiveSchemes/Objects/Methods.jl index b282d61d8be3..4f1756870abf 100644 --- a/src/AlgebraicGeometry/Schemes/ProjectiveSchemes/Objects/Methods.jl +++ b/src/AlgebraicGeometry/Schemes/ProjectiveSchemes/Objects/Methods.jl @@ -11,7 +11,7 @@ end function Base.show(io::IO, P::AbsProjectiveScheme{<:Any, <:MPolyQuoRing}) if get(io, :supercompact, false) - print(io, "Scheme") + print(io, "Projective scheme") elseif get_attribute(P, :is_empty, false) io = pretty(io) print(io, "Empty projective scheme over ") diff --git a/src/AlgebraicGeometry/Schemes/ProjectiveVariety/Objects/Methods.jl b/src/AlgebraicGeometry/Schemes/ProjectiveVariety/Objects/Methods.jl index 813db5b44337..0ad4783c26db 100644 --- a/src/AlgebraicGeometry/Schemes/ProjectiveVariety/Objects/Methods.jl +++ b/src/AlgebraicGeometry/Schemes/ProjectiveVariety/Objects/Methods.jl @@ -15,7 +15,7 @@ end # one line printing function Base.show(io::IO, X::AbsProjectiveVariety{<:Field,<:MPolyQuoRing}) if get(io, :supercompact, false) - print(io, "Scheme") + print(io, "Projective variety") elseif get_attribute(X, :is_empty, false) print(io, "Empty projective variety") else diff --git a/src/AlgebraicGeometry/Schemes/SpecOpen/Morphisms/Methods.jl b/src/AlgebraicGeometry/Schemes/SpecOpen/Morphisms/Methods.jl index 5c0695f3504a..d44f7c30a988 100644 --- a/src/AlgebraicGeometry/Schemes/SpecOpen/Morphisms/Methods.jl +++ b/src/AlgebraicGeometry/Schemes/SpecOpen/Morphisms/Methods.jl @@ -20,7 +20,7 @@ function Base.show(io::IO, ::MIME"text/plain", f::SpecOpenMor) kY = length(str) push!(co_str, str) k = max(length.(co_str)...) - println(io, "Morphism") + println(io, "Spec open morphism") print(io, Indent(), "from ") print(io, co_str[1]*" "^(k-kX+2), Lowercase()) show(io, domain(f), false) @@ -47,10 +47,10 @@ end function Base.show(io::IO, f::SpecOpenMor) if get(io, :supercompact, false) - print(io, "Morphism") + print(io, "Spec open morphism") else io = pretty(io) - print(io, "Morphism: ", Lowercase(), domain(f), " -> ", Lowercase(), codomain(f)) + print(io, "Hom: ", Lowercase(), domain(f), " -> ", Lowercase(), codomain(f)) end end diff --git a/src/AlgebraicGeometry/Schemes/SpecOpen/Objects/Constructors.jl b/src/AlgebraicGeometry/Schemes/SpecOpen/Objects/Constructors.jl index c27ca0b49e17..b35c88503b38 100644 --- a/src/AlgebraicGeometry/Schemes/SpecOpen/Objects/Constructors.jl +++ b/src/AlgebraicGeometry/Schemes/SpecOpen/Objects/Constructors.jl @@ -150,7 +150,7 @@ julia> Y2 = Spec(P2, I2); julia> U2 = complement(A2, Y2); julia> V, iU, iZ = product(U2, Y1) -(Complement to V(x2^2 - y2^2 + z2^2) in affine scheme with coordinates [x2, y2, z2, x1, y1, z1], Morphism: complement to V(x2^2 - y2^2 + z2^2) in affine scheme with coordinates [x2, y2, z2, x1, y1, z1] -> complement to V(x2^2 - y2^2 + z2^2) in affine scheme with coordinates [x2, y2, z2], Morphism: complement to V(x2^2 - y2^2 + z2^2) in affine scheme with coordinates [x2, y2, z2, x1, y1, z1] -> complement to V(1) in affine scheme with coordinates [x1, y1, z1]) +(Complement to V(x2^2 - y2^2 + z2^2) in affine scheme with coordinates [x2, y2, z2, x1, y1, z1], Hom: complement to V(x2^2 - y2^2 + z2^2) in affine scheme with coordinates [x2, y2, z2, x1, y1, z1] -> complement to V(x2^2 - y2^2 + z2^2) in affine scheme with coordinates [x2, y2, z2], Hom: complement to V(x2^2 - y2^2 + z2^2) in affine scheme with coordinates [x2, y2, z2, x1, y1, z1] -> complement to V(1) in affine scheme with coordinates [x1, y1, z1]) julia> V Open subset @@ -158,11 +158,11 @@ Open subset complement to V(x2^2 - y2^2 + z2^2) julia> iU -Morphism +Spec open morphism from [x2, y2, z2, x1, y1, z1] complement to V(x2^2 - y2^2 + z2^2) to [x2, y2, z2] complement to V(x2^2 - y2^2 + z2^2) defined by the map - morphism + affine scheme morphism from [x2, y2, z2, x1, y1, z1] V(x1^3 - y1^2*z1) \ V(x2^2 - y2^2 + z2^2) to [x2, y2, z2] affine 3-space given by the pullback function @@ -171,11 +171,11 @@ defined by the map z2 -> z2 julia> iZ -Morphism +Spec open morphism from [x2, y2, z2, x1, y1, z1] complement to V(x2^2 - y2^2 + z2^2) to [x1, y1, z1] complement to V(1) defined by the map - morphism + affine scheme morphism from [x2, y2, z2, x1, y1, z1] V(x1^3 - y1^2*z1) \ V(x2^2 - y2^2 + z2^2) to [x1, y1, z1] V(x1^3 - y1^2*z1) given by the pullback function diff --git a/src/AlgebraicGeometry/Schemes/SpecOpen/Objects/Methods.jl b/src/AlgebraicGeometry/Schemes/SpecOpen/Objects/Methods.jl index 0fdeb73802bc..2718aaf54c01 100644 --- a/src/AlgebraicGeometry/Schemes/SpecOpen/Objects/Methods.jl +++ b/src/AlgebraicGeometry/Schemes/SpecOpen/Objects/Methods.jl @@ -149,7 +149,7 @@ end # space and complement (see printing above) function _show_semi_compact(io::IO, U::SpecOpen) io = pretty(io) - println(io, "Zariski open subset") + println(io, "Open subset") c = ambient_coordinates(U) str = "["*join(c, ", ")*"]" print(io, Indent(), "of affine scheme with coordinate") @@ -187,7 +187,7 @@ function Base.show(io::IO, U::SpecOpen, show_coord::Bool = true) if isdefined(U, :name) print(io, name(U)) elseif get(io, :supercompact, false) - print(io, "Scheme") + print(io, "Open subset of affine scheme") elseif get_attribute(U, :is_empty, false) print(io, "Empty open subset of ", Lowercase(), ambient_space(U)) else diff --git a/src/AlgebraicGeometry/Schemes/SpecOpen/Rings/Constructors.jl b/src/AlgebraicGeometry/Schemes/SpecOpen/Rings/Constructors.jl index f8db47ca575e..ca0ddfc8529e 100644 --- a/src/AlgebraicGeometry/Schemes/SpecOpen/Rings/Constructors.jl +++ b/src/AlgebraicGeometry/Schemes/SpecOpen/Rings/Constructors.jl @@ -38,7 +38,7 @@ Ring of regular functions julia> one(OO(U)) Regular function - on zariski open subset + on open subset of affine scheme with coordinates [x, y, z] complement to V(x^3 - y^2*z) covered by 1 affine patch diff --git a/src/AlgebraicGeometry/Schemes/SpecOpen/Rings/Methods.jl b/src/AlgebraicGeometry/Schemes/SpecOpen/Rings/Methods.jl index 3fdb5ba0a6b1..9beebc5ef033 100644 --- a/src/AlgebraicGeometry/Schemes/SpecOpen/Rings/Methods.jl +++ b/src/AlgebraicGeometry/Schemes/SpecOpen/Rings/Methods.jl @@ -447,7 +447,7 @@ end function Base.show(io::IO, R::SpecOpenRing) if get(io, :supercompact, false) - print(io, "Ring") + print(io, "Ring of regular functions") else io = pretty(io) print(io, "Ring of regular functions on ", Lowercase(), domain(R)) @@ -465,7 +465,7 @@ end function Base.show(io::IO, a::SpecOpenRingElem) if get(io, :supercompact, false) - print(io, "Ring element") + print(io, "Reguler function") else io = pretty(io) print(io, "Regular function on ", Lowercase(), domain(parent(a))) diff --git a/src/AlgebraicGeometry/ToricVarieties/ToricSchemes/attributes.jl b/src/AlgebraicGeometry/ToricVarieties/ToricSchemes/attributes.jl index 37277f41f8a6..24398bc8ba2e 100644 --- a/src/AlgebraicGeometry/ToricVarieties/ToricSchemes/attributes.jl +++ b/src/AlgebraicGeometry/ToricVarieties/ToricSchemes/attributes.jl @@ -17,7 +17,7 @@ julia> antv = affine_normal_toric_variety(C) Normal, affine toric variety julia> forget_toric_structure(antv) -(V(0), Morphism: V(0) -> Normal, affine toric variety) +(V(0), Hom: V(0) -> Normal, affine toric variety) ``` """ function forget_toric_structure(X::AffineNormalToricVariety) @@ -41,7 +41,7 @@ julia> P2 = projective_space(NormalToricVariety, 2) Normal, non-affine, smooth, projective, gorenstein, fano, 2-dimensional toric variety without torusfactor julia> forget_toric_structure(P2) -(Scheme over QQ covered with 3 patches, Morphism: scheme over QQ covered with 3 patches -> normal, non-affine, smooth, projective, gorenstein, fano, 2-dimensional toric variety without torusfactor) +(Scheme over QQ covered with 3 patches, Hom: scheme over QQ covered with 3 patches -> normal, non-affine, smooth, projective, gorenstein, fano, 2-dimensional toric variety without torusfactor) ``` """ function forget_toric_structure(X::NormalToricVariety)