Update Project.toml to Hecke 0.20 (#2647)

* Update Project.toml to Hecke 0.20 * fix docs * more docs
oscar-system · Aug 10, 2023 · bac6457 · bac6457
1 parent 4559fc8
commit bac6457
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/Project.toml b/Project.toml
@@ -28,7 +28,7 @@ AbstractAlgebra = "0.31.0"
 AlgebraicSolving = "0.3.3"
 DocStringExtensions = "0.8, 0.9"
 GAP = "0.9.4"
-Hecke = "0.19.13"
+Hecke = "0.20"
 JSON = "^0.20, ^0.21"
 Nemo = "0.35.1"
 Polymake = "0.11.1"

diff --git a/docs/src/CommutativeAlgebra/ModulesOverMultivariateRings/complexes.md b/docs/src/CommutativeAlgebra/ModulesOverMultivariateRings/complexes.md
@@ -46,7 +46,7 @@ julia> a = hom(A, B, [x^2*B[1]]);
 julia> b = hom(B, B, [x^2*B[1]]);
 
 julia> C = chain_complex([a, b]; seed = 3)
-C_5 ----> C_4 ----> C_3
+C_3 <---- C_4 <---- C_5
 
 julia> range(C)
 5:-1:3

diff --git a/src/Modules/UngradedModules.jl b/src/Modules/UngradedModules.jl
@@ -4269,7 +4269,7 @@ julia> Rg, (x, y, z) = grade(R, [Z[1],Z[1],Z[1]]);
 julia> F = graded_free_module(Rg, [1,2,2]);
 
 julia> p = presentation(F)
-p_1 ----> p_0 ----> p_-1 ----> p_-2
+p_-2 <---- p_-1 <---- p_0 <---- p_1
 
 julia> p[-2]
 Graded free module Rg^0 of rank 0 over Rg
@@ -4310,7 +4310,7 @@ julia> B = Rg[x^2; y^3; z^4];
 julia> M = SubquoModule(F, A, B);
 
 julia> P = presentation(M)
-P_1 ----> P_0 ----> P_-1 ----> P_-2
+P_-2 <---- P_-1 <---- P_0 <---- P_1
 
 julia> P[-2]
 Graded free module Rg^0 of rank 0 over Rg