Bump dependencies (#2796)

* Bump compats * Remove functions moved to Nemo (Nemocas/Nemo.jl#1519) * Fix `ZZ` printing (Nemocas/Nemo.jl#1506) * Fix `identity_map` docstrings (Nemocas/AbstractAlgebra.jl#1431) * Fix `PosInf` docstring (Nemocas/Nemo.jl#1528) * Adapt doctests to new printing for maps Nemocas/AbstractAlgebra.jl#1424
oscar-system · Sep 14, 2023 · 6d73925 · 6d73925
1 parent 92bf5cb
commit 6d73925
Show file tree

Hide file tree

Showing 20 changed files with 45 additions and 247 deletions.
diff --git a/Project.toml b/Project.toml
@@ -24,13 +24,13 @@ UUIDs = "cf7118a7-6976-5b1a-9a39-7adc72f591a4"
 cohomCalg_jll = "5558cf25-a90e-53b0-b813-cadaa3ae7ade"
 
 [compat]
-AbstractAlgebra = "0.31.1"
+AbstractAlgebra = "0.32.1"
 AlgebraicSolving = "0.3.3"
 DocStringExtensions = "0.8, 0.9"
 GAP = "0.9.4"
-Hecke = "0.20"
+Hecke = "0.21"
 JSON = "^0.20, ^0.21"
-Nemo = "0.35.1"
+Nemo = "0.36"
 Polymake = "0.11.1"
 Preferences = "1"
 RandomExtensions = "0.4.3"

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/GModule/GModule.jl b/experimental/GModule/GModule.jl
@@ -1095,9 +1095,6 @@ function hom_base(C::GModule{<:Any, <:AbstractAlgebra.FPModule{nf_elem}}, D::GMo
   end
 end
 
-#T this belongs to Nemo and should be moved there
-Oscar.nbits(a::QQFieldElem) = nbits(numerator(a)) + nbits(denominator(a))
-
 function hom_base(C::_T, D::_T) where _T <: GModule{<:Any, <:AbstractAlgebra.FPModule{QQFieldElem}}
   @assert base_ring(C) == base_ring(D)
 

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/QuadFormAndIsom/src/lattices_with_isometry.jl b/experimental/QuadFormAndIsom/src/lattices_with_isometry.jl
@@ -1043,19 +1043,7 @@ Integer lattice of rank 5 and degree 5
   [0    0    0    1    0]
 
 julia> Lh, inj = direct_sum(Lf, Lg)
-(Integer lattice with isometry of finite order 10, AbstractSpaceMor[Map with following data
-Domain:
-=======
-Quadratic space of dimension 5
-Codomain:
-=========
-Quadratic space of dimension 10, Map with following data
-Domain:
-=======
-Quadratic space of dimension 5
-Codomain:
-=========
-Quadratic space of dimension 10])
+(Integer lattice with isometry of finite order 10, AbstractSpaceMor[Map: quadratic space -> quadratic space, Map: quadratic space -> quadratic space])
 
 julia> Lh
 Integer lattice of rank 10 and degree 10
@@ -1136,19 +1124,7 @@ Integer lattice of rank 5 and degree 5
   [0    0    0    1    0]
 
 julia> Lh, proj = direct_product(Lf, Lg)
-(Integer lattice with isometry of finite order 10, AbstractSpaceMor[Map with following data
-Domain:
-=======
-Quadratic space of dimension 10
-Codomain:
-=========
-Quadratic space of dimension 5, Map with following data
-Domain:
-=======
-Quadratic space of dimension 10
-Codomain:
-=========
-Quadratic space of dimension 5])
+(Integer lattice with isometry of finite order 10, AbstractSpaceMor[Map: quadratic space -> quadratic space, Map: quadratic space -> quadratic space])
 
 julia> Lh
 Integer lattice of rank 10 and degree 10
@@ -1232,31 +1208,7 @@ Integer lattice of rank 5 and degree 5
   [0    0    0    1    0]
 
 julia> Lh, inj, proj = biproduct(Lf, Lg)
-(Integer lattice with isometry of finite order 10, AbstractSpaceMor[Map with following data
-Domain:
-=======
-Quadratic space of dimension 5
-Codomain:
-=========
-Quadratic space of dimension 10, Map with following data
-Domain:
-=======
-Quadratic space of dimension 5
-Codomain:
-=========
-Quadratic space of dimension 10], AbstractSpaceMor[Map with following data
-Domain:
-=======
-Quadratic space of dimension 10
-Codomain:
-=========
-Quadratic space of dimension 5, Map with following data
-Domain:
-=======
-Quadratic space of dimension 10
-Codomain:
-=========
-Quadratic space of dimension 5])
+(Integer lattice with isometry of finite order 10, AbstractSpaceMor[Map: quadratic space -> quadratic space, Map: quadratic space -> quadratic space], AbstractSpaceMor[Map: quadratic space -> quadratic space, Map: quadratic space -> quadratic space])
 
 julia> Lh
 Integer lattice of rank 10 and degree 10

diff --git a/experimental/QuadFormAndIsom/src/spaces_with_isometry.jl b/experimental/QuadFormAndIsom/src/spaces_with_isometry.jl
@@ -510,19 +510,7 @@ Quadratic space of dimension 2
   [0   -1]
 
 julia> Vf3, inj = direct_sum(Vf1, Vf2)
-(Quadratic space with isometry of finite order 2, AbstractSpaceMor[Map with following data
-Domain:
-=======
-Quadratic space of dimension 2
-Codomain:
-=========
-Quadratic space of dimension 4, Map with following data
-Domain:
-=======
-Quadratic space of dimension 2
-Codomain:
-=========
-Quadratic space of dimension 4])
+(Quadratic space with isometry of finite order 2, AbstractSpaceMor[Map: quadratic space -> quadratic space, Map: quadratic space -> quadratic space])
 
 julia> Vf3
 Quadratic space of dimension 4
@@ -605,19 +593,7 @@ Quadratic space of dimension 2
   [0   -1]
 
 julia> Vf3, proj = direct_product(Vf1, Vf2)
-(Quadratic space with isometry of finite order 2, AbstractSpaceMor[Map with following data
-Domain:
-=======
-Quadratic space of dimension 4
-Codomain:
-=========
-Quadratic space of dimension 2, Map with following data
-Domain:
-=======
-Quadratic space of dimension 4
-Codomain:
-=========
-Quadratic space of dimension 2])
+(Quadratic space with isometry of finite order 2, AbstractSpaceMor[Map: quadratic space -> quadratic space, Map: quadratic space -> quadratic space])
 
 julia> Vf3
 Quadratic space of dimension 4
@@ -701,31 +677,7 @@ Quadratic space of dimension 2
   [0   -1]
 
 julia> Vf3, inj, proj = biproduct(Vf1, Vf2)
-(Quadratic space with isometry of finite order 2, AbstractSpaceMor[Map with following data
-Domain:
-=======
-Quadratic space of dimension 2
-Codomain:
-=========
-Quadratic space of dimension 4, Map with following data
-Domain:
-=======
-Quadratic space of dimension 2
-Codomain:
-=========
-Quadratic space of dimension 4], AbstractSpaceMor[Map with following data
-Domain:
-=======
-Quadratic space of dimension 4
-Codomain:
-=========
-Quadratic space of dimension 2, Map with following data
-Domain:
-=======
-Quadratic space of dimension 4
-Codomain:
-=========
-Quadratic space of dimension 2])
+(Quadratic space with isometry of finite order 2, AbstractSpaceMor[Map: quadratic space -> quadratic space, Map: quadratic space -> quadratic space], AbstractSpaceMor[Map: quadratic space -> quadratic space, Map: quadratic space -> quadratic space])
 
 julia> Vf3
 Quadratic space of dimension 4

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/AlgebraicGeometry/Schemes/ProjectiveSchemes/Objects/Attributes.jl b/src/AlgebraicGeometry/Schemes/ProjectiveSchemes/Objects/Attributes.jl
@@ -270,13 +270,7 @@ Projective space of dimension 2
 with homogeneous coordinates [x, y, z]
 
 julia> affine_cone(P)
-(Spec of quotient of multivariate polynomial ring, Map with following data
-Domain:
-=======
-S
-Codomain:
-=========
-Quotient of multivariate polynomial ring by ideal with 1 generator)
+(Spec of quotient of multivariate polynomial ring, Map: graded multivariate polynomial ring -> quotient of multivariate polynomial ring)
 ```
 """
 affine_cone(P::AbsProjectiveScheme)

diff --git a/src/AlgebraicGeometry/ToricVarieties/NormalToricVarieties/attributes.jl b/src/AlgebraicGeometry/ToricVarieties/NormalToricVarieties/attributes.jl
@@ -648,13 +648,7 @@ Return the map from the character lattice to the group of principal divisors of
 julia> p2 = projective_space(NormalToricVariety, 2);
 
 julia> map_from_character_lattice_to_torusinvariant_weil_divisor_group(p2)
-Map with following data
-Domain:
-=======
-Abelian group with structure: Z^2
-Codomain:
-=========
-Abelian group with structure: Z^3
+Map: GrpAb: Z^2 -> GrpAb: Z^3
 ```
 """
 @attr GrpAbFinGenMap function map_from_character_lattice_to_torusinvariant_weil_divisor_group(v::NormalToricVarietyType)
@@ -717,13 +711,7 @@ Return the map from the group of Weil divisors to the class of group of a normal
 julia> p2 = projective_space(NormalToricVariety, 2);
 
 julia> map_from_torusinvariant_weil_divisor_group_to_class_group(p2)
-Map with following data
-Domain:
-=======
-Abelian group with structure: Z^3
-Codomain:
-=========
-Abelian group with structure: Z
+Map: GrpAb: Z^3 -> GrpAb: Z
 ```
 """
 @attr GrpAbFinGenMap function map_from_torusinvariant_weil_divisor_group_to_class_group(v::NormalToricVarietyType)
@@ -745,13 +733,7 @@ julia> p2 = projective_space(NormalToricVariety, 2)
 Normal, non-affine, smooth, projective, gorenstein, fano, 2-dimensional toric variety without torusfactor
 
 julia> map_from_torusinvariant_cartier_divisor_group_to_torusinvariant_weil_divisor_group(p2)
-Map with following data
-Domain:
-=======
-Abelian group with structure: Z^3
-Codomain:
-=========
-Abelian group with structure: Z^3
+Map: GrpAb: Z^3 -> GrpAb: Z^3
 ```
 """
 @attr Map{GrpAbFinGen, GrpAbFinGen} function map_from_torusinvariant_cartier_divisor_group_to_torusinvariant_weil_divisor_group(v::NormalToricVarietyType)
@@ -845,13 +827,7 @@ julia> p2 = projective_space(NormalToricVariety, 2)
 Normal, non-affine, smooth, projective, gorenstein, fano, 2-dimensional toric variety without torusfactor
 
 julia> map_from_torusinvariant_cartier_divisor_group_to_class_group(p2)
-Map with following data
-Domain:
-=======
-Abelian group with structure: Z^3
-Codomain:
-=========
-Abelian group with structure: Z
+Map: GrpAb: Z^3 -> GrpAb: Z
 ```
 """
 @attr GrpAbFinGenMap function map_from_torusinvariant_cartier_divisor_group_to_class_group(v::NormalToricVarietyType)
@@ -876,13 +852,7 @@ julia> p2 = projective_space(NormalToricVariety, 2)
 Normal, non-affine, smooth, projective, gorenstein, fano, 2-dimensional toric variety without torusfactor
 
 julia> map_from_torusinvariant_cartier_divisor_group_to_picard_group(p2)
-Map with following data
-Domain:
-=======
-Abelian group with structure: Z^3
-Codomain:
-=========
-Abelian group with structure: Z
+Map: GrpAb: Z^3 -> GrpAb: Z
 ```
 """
 @attr GrpAbFinGenMap function map_from_torusinvariant_cartier_divisor_group_to_picard_group(v::NormalToricVarietyType)
@@ -925,13 +895,7 @@ julia> p2 = projective_space(NormalToricVariety, 2)
 Normal, non-affine, smooth, projective, gorenstein, fano, 2-dimensional toric variety without torusfactor
 
 julia> map_from_picard_group_to_class_group(p2)
-Map with following data
-Domain:
-=======
-Abelian group with structure: Z
-Codomain:
-=========
-Abelian group with structure: Z
+Map: GrpAb: Z -> GrpAb: Z
 ```
 """
 @attr GrpAbFinGenMap function map_from_picard_group_to_class_group(v::NormalToricVarietyType)