Skip to content

Commit

Permalink
Merge branch 'oscar-system:master' into ep/oscar-system#2639
Browse files Browse the repository at this point in the history
  • Loading branch information
@paemurru
paemurru authored Sep 4, 2023
2 parents a01f5ef + bfd0792 commit 2e26c09
Show file tree
Hide file tree
Showing 129 changed files with 2,620 additions and 740 deletions.
2 changes: 1 addition & 1 deletion Project.toml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -24,7 +24,7 @@ UUIDs = "cf7118a7-6976-5b1a-9a39-7adc72f591a4"
cohomCalg_jll = "5558cf25-a90e-53b0-b813-cadaa3ae7ade"

[compat]
AbstractAlgebra = "0.31.0"
AbstractAlgebra = "0.31.1"
AlgebraicSolving = "0.3.3"
DocStringExtensions = "0.8, 0.9"
GAP = "0.9.4"
Expand Down
2 changes: 1 addition & 1 deletion data/Surfaces/abelian_d10_pi6
View file

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion data/Surfaces/abelian_d15_pi21_quintic_1
View file

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion data/Surfaces/abelian_d15_pi21_quintic_3
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
{"type":{"name":"MPolyIdeal","params":["b68de251-731f-4eaf-b45a-134da91cf776"]},"data":[[[["4","2","1","0","0"],"1"],[["3","1","2","0","1"],"22114"],[["2","2","2","1","0"],"19995"],[["2","1","1","1","2"],"2"],[["2","0","1","4","0"],"9877"],[["1","5","0","0","1"],"31990"],[["1","4","1","1","0"],"22458"],[["1","2","1","2","1"],"2360"],[["1","1","2","3","0"],"31990"],[["1","0","2","1","3"],"22114"],[["1","0","0","5","1"],"31990"],[["0","6","0","1","0"],"9877"],[["0","4","1","0","2"],"9877"],[["0","3","2","1","1"],"31990"],[["0","3","1","3","0"],"19995"],[["0","2","3","2","0"],"22458"],[["0","1","5","1","0"],"9877"],[["0","1","2","2","2"],"19995"],[["0","1","1","4","1"],"22458"],[["0","1","0","6","0"],"9877"],[["0","0","1","2","4"],"1"]],[[["4","1","0","2","0"],"22114"],[["3","2","1","1","0"],"1"],[["2","2","0","2","1"],"9533"],[["2","1","2","1","1"],"12237"],[["2","1","0","0","4"],"31990"],[["1","2","3","0","1"],"1"],[["1","2","0","1","3"],"9877"],[["1","1","1","2","2"],"3"],[["1","1","0","4","1"],"11996"],[["1","0","1","5","0"],"9877"],[["1","0","1","0","5"],"9877"],[["0","5","0","1","1"],"31990"],[["0","3","0","2","2"],"11996"],[["0","2","2","1","2"],"9533"],[["0","2","1","3","1"],"9877"],[["0","1","4","0","2"],"22114"],[["0","1","2","4","0"],"31990"],[["0","1","1","1","4"],"11996"],[["0","1","0","3","3"],"9533"],[["0","0","0","6","1"],"31990"],[["0","0","0","1","6"],"31990"]],[[["2","3","0","1","1"],"31990"],[["2","1","3","1","0"],"22114"],[["2","1","1","0","3"],"31990"],[["2","0","1","3","1"],"22114"],[["1","4","0","2","0"],"9877"],[["1","2","4","0","0"],"1"],[["1","2","1","1","2"],"19754"],[["1","1","2","2","1"],"2"],[["1","0","2","0","4"],"9877"],[["1","0","0","4","2"],"1"],[["0","5","1","1","0"],"31990"],[["0","3","1","2","1"],"11996"],[["0","2","3","1","1"],"9533"],[["0","1","5","0","1"],"22114"],[["0","1","2","1","3"],"11996"],[["0","1","1","3","2"],"9533"],[["0","1","0","5","1"],"22114"],[["0","0","1","1","5"],"31990"]],[[["4","0","0","1","2"],"31990"],[["3","1","0","2","1"],"9877"],[["2","2","1","1","1"],"31989"],[["2","0","4","1","0"],"22114"],[["2","0","1","2","2"],"11996"],[["1","3","1","2","0"],"9877"],[["1","1","5","0","0"],"1"],[["1","1","2","1","2"],"29631"],[["1","1","0","0","5"],"1"],[["1","0","3","2","1"],"1"],[["1","0","1","1","4"],"9533"],[["0","4","2","1","0"],"31990"],[["0","2","2","2","1"],"11996"],[["0","2","0","1","4"],"22114"],[["0","1","4","1","1"],"9533"],[["0","1","1","2","3"],"1"],[["0","0","6","0","1"],"22114"],[["0","0","3","1","3"],"11996"],[["0","0","2","3","2"],"9533"],[["0","0","1","5","1"],"22114"],[["0","0","1","0","6"],"22114"]],[[["4","0","2","0","1"],"22114"],[["3","0","1","1","2"],"1"],[["2","4","0","0","1"],"31990"],[["2","1","2","0","2"],"9533"],[["2","1","1","2","1"],"12237"],[["1","5","0","1","0"],"9877"],[["1","3","1","0","2"],"9877"],[["1","2","2","1","1"],"3"],[["1","1","4","0","1"],"11996"],[["1","1","0","3","2"],"1"],[["1","0","5","1","0"],"9877"],[["0","6","1","0","0"],"31990"],[["0","4","1","1","1"],"11996"],[["0","3","3","0","1"],"9533"],[["0","2","2","0","3"],"11996"],[["0","2","1","2","2"],"9533"],[["0","2","0","4","1"],"22114"],[["0","1","6","0","0"],"31990"],[["0","1","3","1","2"],"9877"],[["0","1","1","0","5"],"31990"],[["0","0","4","2","1"],"31990"]],[[["5","0","0","0","0"],"9877"],[["3","1","0","0","1"],"22458"],[["2","1","2","0","0"],"19995"],[["2","0","0","2","1"],"19995"],[["1","3","1","0","0"],"22458"],[["1","2","0","0","2"],"19995"],[["1","1","1","1","1"],"14597"],[["1","0","0","1","3"],"22458"],[["0","5","0","0","0"],"9877"],[["0","2","1","2","0"],"19995"],[["0","1","3","1","0"],"22458"],[["0","0","5","0","0"],"9877"],[["0","0","2","1","2"],"19995"],[["0","0","1","3","1"],"22458"],[["0","0","0","5","0"],"9877"],[["0","0","0","0","5"],"9877"]],[[["3","1","0","0","1"],"1"],[["2","2","0","1","0"],"22114"],[["2","0","1","0","2"],"22114"],[["1","3","1","0","0"],"1"],[["1","1","1","1","1"],"19995"],[["1","0","2","2","0"],"22114"],[["1","0","0","1","3"],"1"],[["0","2","2","0","1"],"22114"],[["0","1","3","1","0"],"1"],[["0","1","0","2","2"],"22114"],[["0","0","1","3","1"],"1"]],[[["3","0","1","1","0"],"9877"],[["2","1","2","0","0"],"31990"],[["2","0","0","2","1"],"31990"],[["1","2","0","0","2"],"31990"],[["1","1","1","1","1"],"22458"],[["1","1","0","3","0"],"9877"],[["1","0","3","0","1"],"9877"],[["0","3","0","1","1"],"9877"],[["0","2","1","2","0"],"31990"],[["0","1","1","0","3"],"9877"],[["0","0","2","1","2"],"31990"]],[[["5","0","0","0","0"],"31990"],[["3","0","1","1","0"],"11996"],[["2","2","0","1","0"],"9533"],[["2","0","1","0","2"],"9533"],[["1","1","1","1","1"],"5"],[["1","1","0","3","0"],"11996"],[["1","0","3","0","1"],"11996"],[["1","0","2","2","0"],"9533"],[["0","5","0","0","0"],"31990"],[["0","3","0","1","1"],"11996"],[["0","2","2","0","1"],"9533"],[["0","1","1","0","3"],"11996"],[["0","1","0","2","2"],"9533"],[["0","0","5","0","0"],"31990"],[["0","0","0","5","0"],"31990"],[["0","0","0","0","5"],"31990"]]],"refs":{"b68de251-731f-4eaf-b45a-134da91cf776":{"type":"MPolyRing","data":{"base_ring":{"type":"Nemo.fpField","data":"31991"},"symbols":["x","y","z","u","v"]}}},"_ns":{"Oscar":["https://github.com/oscar-system/Oscar.jl","0.13.0-DEV"]}}
{"_type":{"name":"MPolyIdeal","params":"412b7d25-2fb3-488d-9818-5d2e0fbb55ce"},"data":[[[["4","2","1","0","0"],"1"],[["3","1","2","0","1"],"22114"],[["2","2","2","1","0"],"19995"],[["2","1","1","1","2"],"2"],[["2","0","1","4","0"],"9877"],[["1","5","0","0","1"],"31990"],[["1","4","1","1","0"],"22458"],[["1","2","1","2","1"],"2360"],[["1","1","2","3","0"],"31990"],[["1","0","2","1","3"],"22114"],[["1","0","0","5","1"],"31990"],[["0","6","0","1","0"],"9877"],[["0","4","1","0","2"],"9877"],[["0","3","2","1","1"],"31990"],[["0","3","1","3","0"],"19995"],[["0","2","3","2","0"],"22458"],[["0","1","5","1","0"],"9877"],[["0","1","2","2","2"],"19995"],[["0","1","1","4","1"],"22458"],[["0","1","0","6","0"],"9877"],[["0","0","1","2","4"],"1"]],[[["4","1","0","2","0"],"22114"],[["3","2","1","1","0"],"1"],[["2","2","0","2","1"],"9533"],[["2","1","2","1","1"],"12237"],[["2","1","0","0","4"],"31990"],[["1","2","3","0","1"],"1"],[["1","2","0","1","3"],"9877"],[["1","1","1","2","2"],"3"],[["1","1","0","4","1"],"11996"],[["1","0","1","5","0"],"9877"],[["1","0","1","0","5"],"9877"],[["0","5","0","1","1"],"31990"],[["0","3","0","2","2"],"11996"],[["0","2","2","1","2"],"9533"],[["0","2","1","3","1"],"9877"],[["0","1","4","0","2"],"22114"],[["0","1","2","4","0"],"31990"],[["0","1","1","1","4"],"11996"],[["0","1","0","3","3"],"9533"],[["0","0","0","6","1"],"31990"],[["0","0","0","1","6"],"31990"]],[[["2","3","0","1","1"],"31990"],[["2","1","3","1","0"],"22114"],[["2","1","1","0","3"],"31990"],[["2","0","1","3","1"],"22114"],[["1","4","0","2","0"],"9877"],[["1","2","4","0","0"],"1"],[["1","2","1","1","2"],"19754"],[["1","1","2","2","1"],"2"],[["1","0","2","0","4"],"9877"],[["1","0","0","4","2"],"1"],[["0","5","1","1","0"],"31990"],[["0","3","1","2","1"],"11996"],[["0","2","3","1","1"],"9533"],[["0","1","5","0","1"],"22114"],[["0","1","2","1","3"],"11996"],[["0","1","1","3","2"],"9533"],[["0","1","0","5","1"],"22114"],[["0","0","1","1","5"],"31990"]],[[["4","0","0","1","2"],"31990"],[["3","1","0","2","1"],"9877"],[["2","2","1","1","1"],"31989"],[["2","0","4","1","0"],"22114"],[["2","0","1","2","2"],"11996"],[["1","3","1","2","0"],"9877"],[["1","1","5","0","0"],"1"],[["1","1","2","1","2"],"29631"],[["1","1","0","0","5"],"1"],[["1","0","3","2","1"],"1"],[["1","0","1","1","4"],"9533"],[["0","4","2","1","0"],"31990"],[["0","2","2","2","1"],"11996"],[["0","2","0","1","4"],"22114"],[["0","1","4","1","1"],"9533"],[["0","1","1","2","3"],"1"],[["0","0","6","0","1"],"22114"],[["0","0","3","1","3"],"11996"],[["0","0","2","3","2"],"9533"],[["0","0","1","5","1"],"22114"],[["0","0","1","0","6"],"22114"]],[[["4","0","2","0","1"],"22114"],[["3","0","1","1","2"],"1"],[["2","4","0","0","1"],"31990"],[["2","1","2","0","2"],"9533"],[["2","1","1","2","1"],"12237"],[["1","5","0","1","0"],"9877"],[["1","3","1","0","2"],"9877"],[["1","2","2","1","1"],"3"],[["1","1","4","0","1"],"11996"],[["1","1","0","3","2"],"1"],[["1","0","5","1","0"],"9877"],[["0","6","1","0","0"],"31990"],[["0","4","1","1","1"],"11996"],[["0","3","3","0","1"],"9533"],[["0","2","2","0","3"],"11996"],[["0","2","1","2","2"],"9533"],[["0","2","0","4","1"],"22114"],[["0","1","6","0","0"],"31990"],[["0","1","3","1","2"],"9877"],[["0","1","1","0","5"],"31990"],[["0","0","4","2","1"],"31990"]],[[["5","0","0","0","0"],"9877"],[["3","1","0","0","1"],"22458"],[["2","1","2","0","0"],"19995"],[["2","0","0","2","1"],"19995"],[["1","3","1","0","0"],"22458"],[["1","2","0","0","2"],"19995"],[["1","1","1","1","1"],"14597"],[["1","0","0","1","3"],"22458"],[["0","5","0","0","0"],"9877"],[["0","2","1","2","0"],"19995"],[["0","1","3","1","0"],"22458"],[["0","0","5","0","0"],"9877"],[["0","0","2","1","2"],"19995"],[["0","0","1","3","1"],"22458"],[["0","0","0","5","0"],"9877"],[["0","0","0","0","5"],"9877"]],[[["3","1","0","0","1"],"1"],[["2","2","0","1","0"],"22114"],[["2","0","1","0","2"],"22114"],[["1","3","1","0","0"],"1"],[["1","1","1","1","1"],"19995"],[["1","0","2","2","0"],"22114"],[["1","0","0","1","3"],"1"],[["0","2","2","0","1"],"22114"],[["0","1","3","1","0"],"1"],[["0","1","0","2","2"],"22114"],[["0","0","1","3","1"],"1"]],[[["3","0","1","1","0"],"9877"],[["2","1","2","0","0"],"31990"],[["2","0","0","2","1"],"31990"],[["1","2","0","0","2"],"31990"],[["1","1","1","1","1"],"22458"],[["1","1","0","3","0"],"9877"],[["1","0","3","0","1"],"9877"],[["0","3","0","1","1"],"9877"],[["0","2","1","2","0"],"31990"],[["0","1","1","0","3"],"9877"],[["0","0","2","1","2"],"31990"]],[[["5","0","0","0","0"],"31990"],[["3","0","1","1","0"],"11996"],[["2","2","0","1","0"],"9533"],[["2","0","1","0","2"],"9533"],[["1","1","1","1","1"],"5"],[["1","1","0","3","0"],"11996"],[["1","0","3","0","1"],"11996"],[["1","0","2","2","0"],"9533"],[["0","5","0","0","0"],"31990"],[["0","3","0","1","1"],"11996"],[["0","2","2","0","1"],"9533"],[["0","1","1","0","3"],"11996"],[["0","1","0","2","2"],"9533"],[["0","0","5","0","0"],"31990"],[["0","0","0","5","0"],"31990"],[["0","0","0","0","5"],"31990"]]],"_refs":{"412b7d25-2fb3-488d-9818-5d2e0fbb55ce":{"_type":"MPolyRing","data":{"base_ring":{"_type":"Nemo.fpField","data":"31991"},"symbols":["x","y","z","u","v"]}}},"_ns":{"Oscar":["https://github.com/oscar-system/Oscar.jl","0.13.0-DEV"]}}
2 changes: 1 addition & 1 deletion data/Surfaces/bielliptic_d10_pi6
View file

Large diffs are not rendered by default.

Loading

0 comments on commit 2e26c09

Please sign in to comment.