fix printing and doctest

oscar-system · Aug 11, 2023 · 4e6d620 · 4e6d620
1 parent 0e2a725
commit 4e6d620
Show file tree

Hide file tree

Showing 5 changed files with 12 additions and 8 deletions.
diff --git a/src/AlgebraicGeometry/RationalPoint/AffineRationalPoint.jl b/src/AlgebraicGeometry/RationalPoint/AffineRationalPoint.jl
@@ -24,10 +24,10 @@ function Base.show(io::IO, ::MIME"text/plain", P::AbsAffineRationalPoint)
   io = pretty(io)
   println(io, "Rational point")
   print(io, Indent())
-  println(io, "of ", Lowercase(), ambient_scheme(P))
+  println(io, "of ", Lowercase(), ambient_scheme(P), Dedent())
   print(io, "with coordinates (")
   join(io, coordinates(P), ", ")
-  print(io, ")", Dedent())
+  print(io, ")")
 end
 
 function Base.show(io::IO, P::AbsAffineRationalPoint)

diff --git a/src/AlgebraicGeometry/RationalPoint/ProjectiveRationalPoint.jl b/src/AlgebraicGeometry/RationalPoint/ProjectiveRationalPoint.jl
@@ -29,10 +29,10 @@ function Base.show(io::IO, ::MIME"text/plain", P::AbsProjectiveRationalPoint)
   io = pretty(io)
   println(io, "Projective rational point")
   print(io, Indent())
-  println(io, "of ", codomain(P))
+  println(io, "of ", codomain(P), Dedent())
   print(io, "with coordinates (")
   join(io, coordinates(P), " : ")
-  print(io, ")", Dedent())
+  print(io, ")")
 end
 
 function Base.show(io::IO, P::AbsProjectiveRationalPoint)

diff --git a/src/AlgebraicGeometry/RationalPoint/Types.jl b/src/AlgebraicGeometry/RationalPoint/Types.jl
@@ -20,7 +20,7 @@ julia> X = algebraic_set(x*y);
 julia> X([1, 0])
 Rational point
   of V(x*y)
-  with coordinates (1, 0)
+with coordinates (1, 0)
 
 ```
 """
@@ -52,9 +52,13 @@ Type for rational points in projective varieties.
 
 # Examples
 ```jldoctest
-julia> P2 = projective_space(QQ, 2)
+julia> P2 = projective_space(QQ, 2);
 
 julia> P2([4, 0 , 2//3])
+Projective rational point
+  of Projective 2-space over QQ with coordinates [s0, s1, s2]
+with coordinates (4 : 0 : 2//3)
+
 ```
 """
 struct ProjectiveRationalPoint{S<:RingElem, T<:AbsRationalPointSet} <: AbsProjectiveRationalPoint{S, T}

diff --git a/src/AlgebraicGeometry/Schemes/AffineAlgebraicSet/Objects/Methods.jl b/src/AlgebraicGeometry/Schemes/AffineAlgebraicSet/Objects/Methods.jl
@@ -41,7 +41,7 @@ function Base.show(io::IO, X::AffineAlgebraicSet{<:Field,<:MPolyQuoRing})
     else
       I = fat_ideal(X)
     end
-    print(io, "V(")
+    print(io, LowercaseOff(), "V(")
     join(io, gens(I), ", ")
     print(io,")")
   end

diff --git a/src/AlgebraicGeometry/Schemes/ProjectiveAlgebraicSet/Objects/Methods.jl b/src/AlgebraicGeometry/Schemes/ProjectiveAlgebraicSet/Objects/Methods.jl
@@ -19,7 +19,7 @@ function Base.show(io::IO, X::AbsProjectiveAlgebraicSet{<:Field, <:MPolyQuoRing}
   elseif get_attribute(X, :is_empty, false)
     print(io, "Empty projective algebraic set")
   else
-    print(io, "V(")
+    print(io, LowercaseOff(), "V(")
     if isdefined(X, :Xred)
       I = vanishing_ideal(X)
     else