Skip to content

Commit

Permalink
Fix doctests once again.
Browse files Browse the repository at this point in the history
  • Loading branch information
@HechtiDerLachs
HechtiDerLachs committed Nov 27, 2024
1 parent fecd85d commit c089113
Showing 1 changed file with 30 additions and 48 deletions.
78 changes: 30 additions & 48 deletions src/AlgebraicGeometry/Schemes/Sheaves/CoherentSheaves.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -466,39 +466,30 @@ julia> Y = covered_scheme(IP1);
julia> Omega = cotangent_sheaf(Y)
Coherent sheaf of modules
on scheme over GF(7) covered with 3 patches
1: [(y//x), (z//x)] affine 2-space
2: [(x//y), (z//y)] affine 2-space
3: [(x//z), (y//z)] affine 2-space
on scheme over GF(7) covered with 2 patches
1: [(y//x)] affine 1-space
2: [(x//y)] affine 1-space
with restrictions
1: free module of rank 2 over multivariate polynomial ring in 2 variables over GF(7)
2: free module of rank 2 over multivariate polynomial ring in 2 variables over GF(7)
3: free module of rank 2 over multivariate polynomial ring in 2 variables over GF(7)
1: free module of rank 1 over multivariate polynomial ring in 1 variable over GF(7)
2: free module of rank 1 over multivariate polynomial ring in 1 variable over GF(7)
julia> F = free_module(OO(Y), 1)
Coherent sheaf of modules
on scheme over GF(7) covered with 3 patches
1: [(y//x), (z//x)] affine 2-space
2: [(x//y), (z//y)] affine 2-space
3: [(x//z), (y//z)] affine 2-space
on scheme over GF(7) covered with 2 patches
1: [(y//x)] affine 1-space
2: [(x//y)] affine 1-space
with restrictions
1: free module of rank 1 over multivariate polynomial ring in 2 variables over GF(7)
2: free module of rank 1 over multivariate polynomial ring in 2 variables over GF(7)
3: free module of rank 1 over multivariate polynomial ring in 2 variables over GF(7)
1: free module of rank 1 over multivariate polynomial ring in 1 variable over GF(7)
2: free module of rank 1 over multivariate polynomial ring in 1 variable over GF(7)
julia> T = Oscar.HomSheaf(Omega, F)
Coherent sheaf of modules
on scheme over GF(7) covered with 3 patches
1: [(y//x), (z//x)] affine 2-space
2: [(x//y), (z//y)] affine 2-space
3: [(x//z), (y//z)] affine 2-space
on scheme over GF(7) covered with 2 patches
1: [(y//x)] affine 1-space
2: [(x//y)] affine 1-space
with restrictions
1: hom of (Multivariate polynomial ring in 2 variables over GF(7)^2, Multivariate polynomial
ring in 2 variables over GF(7)^1)
2: hom of (Multivariate polynomial ring in 2 variables over GF(7)^2, Multivariate polynomial
ring in 2 variables over GF(7)^1)
3: hom of (Multivariate polynomial ring in 2 variables over GF(7)^2, Multivariate polynomial
ring in 2 variables over GF(7)^1)
1: hom of (Multivariate polynomial ring in 1 variable over GF(7)^1, Multivariate polynomial ring in 1 variable over GF(7)^1)
2: hom of (Multivariate polynomial ring in 1 variable over GF(7)^1, Multivariate polynomial ring in 1 variable over GF(7)^1)
julia> typeof(T)
Oscar.HomSheaf{CoveredScheme{FqField}, AbsAffineScheme, ModuleFP, Map}
Expand Down Expand Up @@ -561,39 +552,30 @@ julia> Y = covered_scheme(IP1);
julia> Omega = cotangent_sheaf(Y)
Coherent sheaf of modules
on scheme over GF(7) covered with 3 patches
1: [(y//x), (z//x)] affine 2-space
2: [(x//y), (z//y)] affine 2-space
3: [(x//z), (y//z)] affine 2-space
on scheme over GF(7) covered with 2 patches
1: [(y//x)] affine 1-space
2: [(x//y)] affine 1-space
with restrictions
1: free module of rank 2 over multivariate polynomial ring in 2 variables over GF(7)
2: free module of rank 2 over multivariate polynomial ring in 2 variables over GF(7)
3: free module of rank 2 over multivariate polynomial ring in 2 variables over GF(7)
1: free module of rank 1 over multivariate polynomial ring in 1 variable over GF(7)
2: free module of rank 1 over multivariate polynomial ring in 1 variable over GF(7)
julia> F = free_module(OO(Y), 1)
Coherent sheaf of modules
on scheme over GF(7) covered with 3 patches
1: [(y//x), (z//x)] affine 2-space
2: [(x//y), (z//y)] affine 2-space
3: [(x//z), (y//z)] affine 2-space
on scheme over GF(7) covered with 2 patches
1: [(y//x)] affine 1-space
2: [(x//y)] affine 1-space
with restrictions
1: free module of rank 1 over multivariate polynomial ring in 2 variables over GF(7)
2: free module of rank 1 over multivariate polynomial ring in 2 variables over GF(7)
3: free module of rank 1 over multivariate polynomial ring in 2 variables over GF(7)
1: free module of rank 1 over multivariate polynomial ring in 1 variable over GF(7)
2: free module of rank 1 over multivariate polynomial ring in 1 variable over GF(7)
julia> W = Oscar.DirectSumSheaf(Y, [Omega, F])
Coherent sheaf of modules
on scheme over GF(7) covered with 3 patches
1: [(y//x), (z//x)] affine 2-space
2: [(x//y), (z//y)] affine 2-space
3: [(x//z), (y//z)] affine 2-space
on scheme over GF(7) covered with 2 patches
1: [(y//x)] affine 1-space
2: [(x//y)] affine 1-space
with restrictions
1: direct sum of (Multivariate polynomial ring in 2 variables over GF(7)^2, Multivariate pol
ynomial ring in 2 variables over GF(7)^1)
2: direct sum of (Multivariate polynomial ring in 2 variables over GF(7)^2, Multivariate pol
ynomial ring in 2 variables over GF(7)^1)
3: direct sum of (Multivariate polynomial ring in 2 variables over GF(7)^2, Multivariate pol
ynomial ring in 2 variables over GF(7)^1)
1: direct sum of (Multivariate polynomial ring in 1 variable over GF(7)^1, Multivariate polynomial ring in 1 variable over GF(7)^1)
2: direct sum of (Multivariate polynomial ring in 1 variable over GF(7)^1, Multivariate polynomial ring in 1 variable over GF(7)^1)
julia> typeof(W)
DirectSumSheaf{CoveredScheme{FqField}, AbsAffineScheme, ModuleFP, Map}
Expand Down

0 comments on commit c089113

Please sign in to comment.