Fix ZZ printing (Nemocas/Nemo.jl#1506)

oscar-system · Sep 13, 2023 · 4f8e757 · 4f8e757
1 parent 80d0121
commit 4f8e757
Show file tree

Hide file tree

Showing 8 changed files with 10 additions and 10 deletions.
diff --git a/docs/src/CommutativeAlgebra/rings.md b/docs/src/CommutativeAlgebra/rings.md
@@ -190,7 +190,7 @@ Fraction field
 
 ```jldoctest
 julia> ZZ
-Integer Ring
+Integer ring
 
 ```
 

diff --git a/docs/src/Rings/integer.md b/docs/src/Rings/integer.md
@@ -40,7 +40,7 @@ The parent of an OSCAR integer is the ring of integers `ZZ`.
 
 ```jldoctest
 julia> ZZ
-Integer Ring
+Integer ring
 
 ```
 

diff --git a/experimental/Matrix/matrix.jl b/experimental/Matrix/matrix.jl
@@ -24,7 +24,7 @@ Compute the JuliaMatrixRep of `m` in GAP.
 julia> m = matrix(ZZ, [0 1 ; -1 0]);
 
 julia> Oscar._wrap_for_gap(m)
-GAP: <matrix object of dimensions 2x2 over Integer Ring>
+GAP: <matrix object of dimensions 2x2 over Integer ring>
 ```
 """
 _wrap_for_gap(m::MatrixElem) = GAP.Globals.MakeJuliaMatrixRep(m)

diff --git a/experimental/Schemes/AlgebraicCycles.jl b/experimental/Schemes/AlgebraicCycles.jl
@@ -191,7 +191,7 @@ julia> R = ZZ;
 julia> algebraic_cycle(Ycov, R)
 Zero algebraic cycle
   on scheme over QQ covered with 3 patches
-with coefficients in integer Ring
+with coefficients in integer ring
 ```
 """
 algebraic_cycle(X::AbsCoveredScheme, R::Ring) = AlgebraicCycle(X, R)
@@ -229,7 +229,7 @@ julia> R = ZZ;
 julia> algebraic_cycle(II, R)
 Effective algebraic cycle
   on scheme over QQ covered with 3 patches
-with coefficients in integer Ring
+with coefficients in integer ring
 given as the formal sum of
   1 * sheaf of ideals
 
@@ -270,7 +270,7 @@ julia> R = ZZ;
 julia> algebraic_cycle(II, R)
 Effective algebraic cycle
   on scheme over QQ covered with 3 patches
-with coefficients in integer Ring
+with coefficients in integer ring
 given as the formal sum of
   1 * sheaf of ideals
 ```

diff --git a/experimental/Schemes/CartierDivisor.jl b/experimental/Schemes/CartierDivisor.jl
@@ -168,7 +168,7 @@ defined by
 julia> cartier_divisor(E)
 Cartier divisor
   on scheme over QQ covered with 3 patches
-with coefficients in integer Ring
+with coefficients in integer ring
 defined by the formal sum of
   1 * sheaf of ideals
 ```

diff --git a/experimental/Schemes/WeilDivisor.jl b/experimental/Schemes/WeilDivisor.jl
@@ -138,7 +138,7 @@ julia> II = IdealSheaf(Y, I);
 julia> weil_divisor(II)
 Effective weil divisor
   on scheme over QQ covered with 3 patches
-with coefficients in integer Ring
+with coefficients in integer ring
 given as the formal sum of
   1 * sheaf of ideals
 ```

diff --git a/src/AlgebraicGeometry/Schemes/AffineSchemes/Objects/Attributes.jl b/src/AlgebraicGeometry/Schemes/AffineSchemes/Objects/Attributes.jl
@@ -378,7 +378,7 @@ julia> dim(X)
 julia> Y = affine_space(ZZ, 2)
 Spectrum
   of multivariate polynomial ring in 2 variables x1, x2
-    over integer Ring
+    over integer ring
 
 julia> dim(Y) # one dimension comes from ZZ and two from x1 and x2
 3

diff --git a/src/TropicalGeometry/linear_space.jl b/src/TropicalGeometry/linear_space.jl
@@ -45,7 +45,7 @@ julia> I = ideal(R,[-x1+x3+x4,-x2+x3+x5,-x1+x2+x6])
 ideal(-x1 + x3 + x4, -x2 + x3 + x5, -x1 + x2 + x6)
 
 julia> val = TropicalSemiringMap(ZZ)
-The trivial valuation on Integer Ring
+The trivial valuation on Integer ring
 
 julia> TropicalLinearSpace(I,val)
 TropicalLinearSpace{min, true}(Polyhedral complex in ambient dimension 6, #undef)