Fix doctests once more.

oscar-system · Nov 26, 2024 · fecd85d · fecd85d
1 parent 75cd617
commit fecd85d
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 14 deletions.
diff --git a/src/AlgebraicGeometry/Schemes/Sheaves/CoherentSheaves.jl b/src/AlgebraicGeometry/Schemes/Sheaves/CoherentSheaves.jl
@@ -462,7 +462,7 @@ Projective space of dimension 1
   over prime field of characteristic 7
 with homogeneous coordinates [x, y]
 
-julia> Y = covered_scheme(IP2);
+julia> Y = covered_scheme(IP1);
 
 julia> Omega = cotangent_sheaf(Y)
 Coherent sheaf of modules
@@ -557,7 +557,7 @@ Projective space of dimension 1
   over prime field of characteristic 7
 with homogeneous coordinates [x, y]
 
-julia> Y = covered_scheme(IP2);
+julia> Y = covered_scheme(IP1);
 
 julia> Omega = cotangent_sheaf(Y)
 Coherent sheaf of modules

diff --git a/src/AlgebraicGeometry/Schemes/Sheaves/Types.jl b/src/AlgebraicGeometry/Schemes/Sheaves/Types.jl
@@ -131,8 +131,7 @@ julia> y, z = gens(OOX(U))
 julia> pb = OOX(U, VU)
 Ring homomorphism
   from multivariate polynomial ring in 2 variables over GF(7)
-  to localization of multivariate polynomial ring in 2 variables over GF(7) at products of ((x
-  //y))
+  to localization of multivariate polynomial ring in 2 variables over GF(7) at products of ((x//y))
 defined by
   (y//x) -> 1/(x//y)
   (z//x) -> (z//y)/(x//y)
@@ -429,11 +428,9 @@ julia> PP2 = Oscar.PrimeIdealSheafFromChart(X, V, P2)
 Prime ideal sheaf on Scheme over GF(7) covered with 3 patches extended from Ideal ((x//y)) on Affine 2-space
 
 julia> II = PP1 + PP2
-Sum of 
-  Prime ideal sheaf on scheme over GF(7) covered with 3 patches extended from ideal ((y//x) + 
-  6*(z//x)) on affine 2-space
-  Prime ideal sheaf on scheme over GF(7) covered with 3 patches extended from ideal ((x//y)) o
-  n affine 2-space
+Sum of
+  Prime ideal sheaf on scheme over GF(7) covered with 3 patches extended from ideal ((y//x) + 6*(z//x)) on affine 2-space
+  Prime ideal sheaf on scheme over GF(7) covered with 3 patches extended from ideal ((x//y)) on affine 2-space
 
 julia> typeof(II)
 Oscar.SumIdealSheaf{CoveredScheme{FqField}, AbsAffineScheme, Ideal, Map}
@@ -510,11 +507,9 @@ julia> PP2 = Oscar.PrimeIdealSheafFromChart(X, V, P2)
 Prime ideal sheaf on Scheme over GF(7) covered with 3 patches extended from Ideal ((x//y)) on Affine 2-space
 
 julia> II = PP1 * PP2
-Product of 
-  Prime ideal sheaf on scheme over GF(7) covered with 3 patches extended from ideal ((y//x) + 
-  6*(z//x)) on affine 2-space
-  Prime ideal sheaf on scheme over GF(7) covered with 3 patches extended from ideal ((x//y)) o
-  n affine 2-space
+Product of
+  Prime ideal sheaf on scheme over GF(7) covered with 3 patches extended from ideal ((y//x) + 6*(z//x)) on affine 2-space
+  Prime ideal sheaf on scheme over GF(7) covered with 3 patches extended from ideal ((x//y)) on affine 2-space
 
 julia> typeof(II)
 Oscar.ProductIdealSheaf{CoveredScheme{FqField}, AbsAffineScheme, Ideal, Map}