From b40cd990c902a0ab3c27f6198e88ebfbaf5e99d0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lars=20G=C3=B6ttgens?= Date: Wed, 13 Sep 2023 17:23:45 +0200 Subject: [PATCH] Fix `ZZ` printing (Nemocas/Nemo.jl#1506) --- docs/src/CommutativeAlgebra/rings.md | 2 +- docs/src/Rings/integer.md | 2 +- experimental/Matrix/matrix.jl | 2 +- experimental/Schemes/AlgebraicCycles.jl | 6 +++--- experimental/Schemes/CartierDivisor.jl | 2 +- experimental/Schemes/WeilDivisor.jl | 2 +- .../Schemes/AffineSchemes/Objects/Attributes.jl | 2 +- src/TropicalGeometry/linear_space.jl | 2 +- 8 files changed, 10 insertions(+), 10 deletions(-) diff --git a/docs/src/CommutativeAlgebra/rings.md b/docs/src/CommutativeAlgebra/rings.md index 96104d0dbe58..d3e9c688b063 100644 --- 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 index 201226ebaae4..76a0c8aa453f 100644 --- 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 index de8fd276972a..38732559f309 100644 --- 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: +GAP: ``` """ _wrap_for_gap(m::MatrixElem) = GAP.Globals.MakeJuliaMatrixRep(m) diff --git a/experimental/Schemes/AlgebraicCycles.jl b/experimental/Schemes/AlgebraicCycles.jl index 2a45364eba9f..ea0e7f6eac61 100644 --- 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 index 46f1d1dac95b..759a50ed8edf 100644 --- 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 index 13318f510ceb..a504f1e899e1 100644 --- 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 index 4c86f8b21230..41204d9a0d18 100644 --- 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 index 66b91fbe4f2e..4d86875c0b01 100644 --- 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)