Merge branch 'master' into QQBar

oscar-system · Feb 1, 2024 · 9a68a8f · 9a68a8f
2 parents e21910a + 757489f
commit 9a68a8f
Show file tree

Hide file tree

Showing 425 changed files with 6,197 additions and 4,360 deletions.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -48,16 +48,18 @@ jobs:
           # Add a few macOS jobs (not too many, the number we can run in parallel is limited)
           - julia-version: '1.10'
             group: 'short'
-            os: macOS-latest
+            os: macOS-14
           - julia-version: '1.10'
             group: 'long'
             os: macOS-latest
-          - julia-version: 'nightly'
-            group: 'short'
-            os: macOS-latest
-          - julia-version: 'nightly'
-            group: 'long'
-            os: macOS-latest
+          # nightly on macos is disabled for now since the macos jobs take too long
+          # with just 5 runners
+          #- julia-version: 'nightly'
+          #  group: 'short'
+          #  os: macOS-latest
+          #- julia-version: 'nightly'
+          #  group: 'long'
+          #  os: macOS-latest
 
     steps:
       - uses: actions/checkout@v3
@@ -71,7 +73,7 @@ jobs:
           version: ${{ matrix.julia-version }}
       - uses: julia-actions/cache@v1
         with:
-          cache-name: julia-cache;workflow=${{ github.workflow }};julia=${{ matrix.julia-version }}
+          cache-name: julia-cache;workflow=${{ github.workflow }};julia=${{ matrix.julia-version }};arch=${{ runner.arch }}
           include-matrix: false
       - name: "Build package"
         uses: julia-actions/julia-buildpkg@v1
@@ -118,7 +120,7 @@ jobs:
             depwarn: 'depwarn=error'
           # Add macOS jobs (not too many, the number we can run in parallel is limited)
           - julia-version: '1.10'
-            os: macOS-latest
+            os: macOS-14
 
     steps:
       - uses: actions/checkout@v3
@@ -132,7 +134,7 @@ jobs:
           version: ${{ matrix.julia-version }}
       - uses: julia-actions/cache@v1
         with:
-          cache-name: julia-cache;workflow=${{ github.workflow }};julia=${{ matrix.julia-version }}
+          cache-name: julia-cache;workflow=${{ github.workflow }};julia=${{ matrix.julia-version }};arch=${{ runner.arch }}
           include-matrix: false
       - name: "Build package"
         uses: julia-actions/julia-buildpkg@v1

diff --git a/.gitignore b/.gitignore
@@ -7,3 +7,4 @@ profile.pb.gz
 LocalPreferences.toml
 Manifest.toml
 .DS_Store
+*~
diff --git a/Project.toml b/Project.toml
@@ -26,23 +26,23 @@ UUIDs = "cf7118a7-6976-5b1a-9a39-7adc72f591a4"
 cohomCalg_jll = "5558cf25-a90e-53b0-b813-cadaa3ae7ade"
 
 [compat]
-AbstractAlgebra = "0.35.2"
+AbstractAlgebra = "0.37.3"
 AlgebraicSolving = "0.4.6"
 Distributed = "1.6"
 DocStringExtensions = "0.8, 0.9"
-GAP = "0.10.0"
-Hecke = "0.24.0"
+GAP = "0.10.2"
+Hecke = "0.26.2"
 JSON = "^0.20, ^0.21"
 JSON3 = "1.13.2"
 LazyArtifacts = "1.6"
-Nemo = "0.39.1"
+Nemo = "0.41.2"
 Pkg = "1.6"
 Polymake = "0.11.8"
 Preferences = "1"
 Random = "1.6"
 RandomExtensions = "0.4.3"
 Serialization = "1.6"
-Singular = "0.21.2"
+Singular = "0.22.0"
 TOPCOM_jll = "0.17.8"
 UUIDs = "1.6"
 cohomCalg_jll = "0.32.0"

diff --git a/README.md b/README.md
@@ -52,12 +52,12 @@ julia> k, a = quadratic_field(-5)
 
 julia> zk = maximal_order(k)
 Maximal order of Imaginary quadratic field defined by x^2 + 5
-with basis nf_elem[1, sqrt(-5)]
+with basis AbsSimpleNumFieldElem[1, sqrt(-5)]
 
 julia> factorisations(zk(6))
-2-element Vector{Fac{NfOrdElem}}:
- -1 * (-sqrt(-5) - 1) * (-sqrt(-5) + 1)
+2-element Vector{Fac{AbsSimpleNumFieldOrderElem}}:
  -1 * -3 * 2
+ -1 * (-sqrt(-5) - 1) * (-sqrt(-5) + 1)
 
 julia> Qx, x = polynomial_ring(QQ, [:x1,:x2])
 (Multivariate polynomial ring in 2 variables over QQ, QQMPolyRingElem[x1, x2])
@@ -85,12 +85,7 @@ julia> H, mH = hom(s, quo(F, s)[1])
 (hom of (s, Subquotient of
 1 -> e[1]
 by
-1 -> (x1^2 + x2)*e[1]), Map: hom of (s, Subquotient of
-1 -> e[1]
-by
-1 -> (x1^2 + x2)*e[1]) -> set of all homomorphisms from Submodule with 1 generator
-1 -> (x1^2 + x2)*e[1]
-represented as subquotient with no relations. to Subquotient of Submodule with 1 generator
+1 -> (x1^2 + x2)*e[1]), Map: H -> set of all homomorphisms from s to subquotient of Submodule with 1 generator
 1 -> e[1]
 by Submodule with 1 generator
 1 -> (x1^2 + x2)*e[1])

diff --git a/data/JohnsonMatrices/j10.mat b/data/JohnsonMatrices/j10.mat
@@ -1 +1 @@
-{"_ns":{"Oscar":["https://github.com/oscar-system/Oscar.jl","0.14.0-DEV-a593eccafc8008b31e18b6f35cf353eab838cf63"]},"_type":{"name":"MatElem","params":"f698cdc3-d6a7-4a39-b356-780168538839"},"data":[[[],[],[["1","1//4"],["2","1//4"]]],[[["0","1//2"]],[["0","1//2"]],[["1","1//4"]]],[[["0","1//2"]],[["0","-1//2"]],[["1","1//4"]]],[[["0","-1//2"]],[["0","1//2"]],[["1","1//4"]]],[[["0","-1//2"]],[["0","-1//2"]],[["1","1//4"]]],[[],[["2","1//4"]],[["1","-1//4"]]],[[],[["2","-1//4"]],[["1","-1//4"]]],[[["2","1//4"]],[],[["1","-1//4"]]],[[["2","-1//4"]],[],[["1","-1//4"]]]],"_refs":{"f698cdc3-d6a7-4a39-b356-780168538839":{"_type":"MatSpace","data":{"base_ring":"61b29c7f-e8e1-42fa-bdb4-704b385af0d0","ncols":"3","nrows":"9"}},"61b29c7f-e8e1-42fa-bdb4-704b385af0d0":{"_type":"Hecke.EmbeddedField","data":{"num_field":"b2111e94-391c-4d99-81eb-4e819048db5f","embedding":"1b2040cc-f8f3-45b5-8fef-c4c4c6d35ad0"}},"b2111e94-391c-4d99-81eb-4e819048db5f":{"_type":"AnticNumberField","data":{"def_pol":{"_type":{"name":"PolyRingElem","params":"e8268aff-6609-4456-8905-cdd631c26b73"},"data":[["0","-8"],["4","1"]]},"var":"a"}},"1b2040cc-f8f3-45b5-8fef-c4c4c6d35ad0":{"_type":"Hecke.NumFieldEmbNfAbs","data":{"num_field":"b2111e94-391c-4d99-81eb-4e819048db5f","data":{"_type":{"name":"acb","params":{"_type":"AcbField","data":"34"}},"data":["35d13f32b -21 20000003 -3f","0 0 0 0"]}}},"e8268aff-6609-4456-8905-cdd631c26b73":{"_type":"PolyRing","data":{"base_ring":{"_type":"QQField"},"symbols":["x"]}}}}
+{"_ns":{"Oscar":["https://github.com/oscar-system/Oscar.jl","0.14.0-DEV-a593eccafc8008b31e18b6f35cf353eab838cf63"]},"_type":{"name":"MatElem","params":"f698cdc3-d6a7-4a39-b356-780168538839"},"data":[[[],[],[["1","1//4"],["2","1//4"]]],[[["0","1//2"]],[["0","1//2"]],[["1","1//4"]]],[[["0","1//2"]],[["0","-1//2"]],[["1","1//4"]]],[[["0","-1//2"]],[["0","1//2"]],[["1","1//4"]]],[[["0","-1//2"]],[["0","-1//2"]],[["1","1//4"]]],[[],[["2","1//4"]],[["1","-1//4"]]],[[],[["2","-1//4"]],[["1","-1//4"]]],[[["2","1//4"]],[],[["1","-1//4"]]],[[["2","-1//4"]],[],[["1","-1//4"]]]],"_refs":{"f698cdc3-d6a7-4a39-b356-780168538839":{"_type":"MatSpace","data":{"base_ring":"61b29c7f-e8e1-42fa-bdb4-704b385af0d0","ncols":"3","nrows":"9"}},"61b29c7f-e8e1-42fa-bdb4-704b385af0d0":{"_type":"Hecke.EmbeddedNumField","data":{"num_field":"b2111e94-391c-4d99-81eb-4e819048db5f","embedding":"1b2040cc-f8f3-45b5-8fef-c4c4c6d35ad0"}},"b2111e94-391c-4d99-81eb-4e819048db5f":{"_type":"AbsSimpleNumField","data":{"def_pol":{"_type":{"name":"PolyRingElem","params":"e8268aff-6609-4456-8905-cdd631c26b73"},"data":[["0","-8"],["4","1"]]},"var":"a"}},"1b2040cc-f8f3-45b5-8fef-c4c4c6d35ad0":{"_type":"Hecke.AbsSimpleNumFieldEmbedding","data":{"num_field":"b2111e94-391c-4d99-81eb-4e819048db5f","data":{"_type":{"name":"AcbFieldElem","params":{"_type":"AcbField","data":"34"}},"data":["35d13f32b -21 20000003 -3f","0 0 0 0"]}}},"e8268aff-6609-4456-8905-cdd631c26b73":{"_type":"PolyRing","data":{"base_ring":{"_type":"QQField"},"symbols":["x"]}}}}
diff --git a/data/JohnsonMatrices/j13.mat b/data/JohnsonMatrices/j13.mat
@@ -1 +1 @@
-{"_ns":{"Oscar":["https://github.com/oscar-system/Oscar.jl","0.14.0-DEV-a593eccafc8008b31e18b6f35cf353eab838cf63"]},"_type":{"name":"MatElem","params":"b699f066-5834-48c3-a0ea-587eff1fc2fe"},"data":[[[["0",[["0","1//2"]]]],[["1",[["0","-1//4"],["1","-1//4"]]]],[]],[[["0",[["0","-1//2"]]]],[["1",[["0","-1//4"],["1","-1//4"]]]],[]],[[["0",[["0","1//4"],["1","1//4"]]]],[["1",[["0","-1//4"],["1","1//4"]]]],[]],[[["0",[["0","-1//4"],["1","-1//4"]]]],[["1",[["0","-1//4"],["1","1//4"]]]],[]],[[],[["1",[["0","1"]]]],[]],[[],[],[["1",[["0","-1//2"],["1","1//2"]]]]],[[],[],[["1",[["0","1//2"],["1","-1//2"]]]]]],"_refs":{"b699f066-5834-48c3-a0ea-587eff1fc2fe":{"_type":"MatSpace","data":{"base_ring":"83ff0f1e-e519-4f62-90ef-c1a633e64505","ncols":"3","nrows":"7"}},"83ff0f1e-e519-4f62-90ef-c1a633e64505":{"_type":"Hecke.EmbeddedField","data":{"num_field":"96ab2675-4072-49b3-81bc-2aac6da32867","embedding":"75e9011d-66ec-487a-a2f3-b5f4f9c84971"}},"96ab2675-4072-49b3-81bc-2aac6da32867":{"_type":"Hecke.NfRel","data":{"def_pol":{"_type":{"name":"PolyRingElem","params":"e5f2d502-25af-45f6-bf66-68a4ed0d0931"},"data":[["0",[["0","-1//2"],["1","-1//10"]]],["2",[["0","1"]]]]},"var":"a"}},"75e9011d-66ec-487a-a2f3-b5f4f9c84971":{"_type":"Hecke.NumFieldEmbNfRel","data":{"num_field":"96ab2675-4072-49b3-81bc-2aac6da32867","base_field_emb":"2319da98-4a26-4864-800c-beae6692c20a","data":{"_type":{"name":"acb","params":{"_type":"AcbField","data":"36"}},"data":["d9c4405a3 -24 11cc4cf3 -45","0 0 0 0"]}}},"e5f2d502-25af-45f6-bf66-68a4ed0d0931":{"_type":"PolyRing","data":{"base_ring":"3b88105a-4944-4e43-8b3c-9b44413027d7","symbols":["y"]}},"2319da98-4a26-4864-800c-beae6692c20a":{"_type":"Hecke.NumFieldEmbNfAbs","data":{"num_field":"3b88105a-4944-4e43-8b3c-9b44413027d7","data":{"_type":{"name":"acb","params":{"_type":"AcbField","data":"35"}},"data":["478dde6e5 -21 20000003 -3e","0 0 0 0"]}}},"3b88105a-4944-4e43-8b3c-9b44413027d7":{"_type":"AnticNumberField","data":{"def_pol":{"_type":{"name":"PolyRingElem","params":"43f5b5b6-2a4d-4165-a0df-d59d2a418e9a"},"data":[["0","-5"],["2","1"]]},"var":"sqrt(5)"}},"43f5b5b6-2a4d-4165-a0df-d59d2a418e9a":{"_type":"PolyRing","data":{"base_ring":{"_type":"QQField"},"symbols":["x"]}}}}
+{"_ns":{"Oscar":["https://github.com/oscar-system/Oscar.jl","0.14.0-DEV-a593eccafc8008b31e18b6f35cf353eab838cf63"]},"_type":{"name":"MatElem","params":"b699f066-5834-48c3-a0ea-587eff1fc2fe"},"data":[[[["0",[["0","1//2"]]]],[["1",[["0","-1//4"],["1","-1//4"]]]],[]],[[["0",[["0","-1//2"]]]],[["1",[["0","-1//4"],["1","-1//4"]]]],[]],[[["0",[["0","1//4"],["1","1//4"]]]],[["1",[["0","-1//4"],["1","1//4"]]]],[]],[[["0",[["0","-1//4"],["1","-1//4"]]]],[["1",[["0","-1//4"],["1","1//4"]]]],[]],[[],[["1",[["0","1"]]]],[]],[[],[],[["1",[["0","-1//2"],["1","1//2"]]]]],[[],[],[["1",[["0","1//2"],["1","-1//2"]]]]]],"_refs":{"b699f066-5834-48c3-a0ea-587eff1fc2fe":{"_type":"MatSpace","data":{"base_ring":"83ff0f1e-e519-4f62-90ef-c1a633e64505","ncols":"3","nrows":"7"}},"83ff0f1e-e519-4f62-90ef-c1a633e64505":{"_type":"Hecke.EmbeddedNumField","data":{"num_field":"96ab2675-4072-49b3-81bc-2aac6da32867","embedding":"75e9011d-66ec-487a-a2f3-b5f4f9c84971"}},"96ab2675-4072-49b3-81bc-2aac6da32867":{"_type":"Hecke.RelSimpleNumField","data":{"def_pol":{"_type":{"name":"PolyRingElem","params":"e5f2d502-25af-45f6-bf66-68a4ed0d0931"},"data":[["0",[["0","-1//2"],["1","-1//10"]]],["2",[["0","1"]]]]},"var":"a"}},"75e9011d-66ec-487a-a2f3-b5f4f9c84971":{"_type":"Hecke.RelSimpleNumFieldEmbedding","data":{"num_field":"96ab2675-4072-49b3-81bc-2aac6da32867","base_field_emb":"2319da98-4a26-4864-800c-beae6692c20a","data":{"_type":{"name":"AcbFieldElem","params":{"_type":"AcbField","data":"36"}},"data":["d9c4405a3 -24 11cc4cf3 -45","0 0 0 0"]}}},"e5f2d502-25af-45f6-bf66-68a4ed0d0931":{"_type":"PolyRing","data":{"base_ring":"3b88105a-4944-4e43-8b3c-9b44413027d7","symbols":["y"]}},"2319da98-4a26-4864-800c-beae6692c20a":{"_type":"Hecke.AbsSimpleNumFieldEmbedding","data":{"num_field":"3b88105a-4944-4e43-8b3c-9b44413027d7","data":{"_type":{"name":"AcbFieldElem","params":{"_type":"AcbField","data":"35"}},"data":["478dde6e5 -21 20000003 -3e","0 0 0 0"]}}},"3b88105a-4944-4e43-8b3c-9b44413027d7":{"_type":"AbsSimpleNumField","data":{"def_pol":{"_type":{"name":"PolyRingElem","params":"43f5b5b6-2a4d-4165-a0df-d59d2a418e9a"},"data":[["0","-5"],["2","1"]]},"var":"sqrt(5)"}},"43f5b5b6-2a4d-4165-a0df-d59d2a418e9a":{"_type":"PolyRing","data":{"base_ring":{"_type":"QQField"},"symbols":["x"]}}}}
diff --git a/data/JohnsonMatrices/j16.mat b/data/JohnsonMatrices/j16.mat
@@ -1 +1 @@
-{"_ns":{"Oscar":["https://github.com/oscar-system/Oscar.jl","0.14.0-DEV-a593eccafc8008b31e18b6f35cf353eab838cf63"]},"_type":{"name":"MatElem","params":"100c8716-c924-41b3-abaa-a257b769e809"},"data":[[[["0",[["0","1//2"]]]],[["1",[["0","-1//4"],["1","-1//4"]]]],[["0",[["0","1//2"]]]]],[[["0",[["0","1//2"]]]],[["1",[["0","-1//4"],["1","-1//4"]]]],[["0",[["0","-1//2"]]]]],[[["0",[["0","-1//2"]]]],[["1",[["0","-1//4"],["1","-1//4"]]]],[["0",[["0","1//2"]]]]],[[["0",[["0","-1//2"]]]],[["1",[["0","-1//4"],["1","-1//4"]]]],[["0",[["0","-1//2"]]]]],[[["0",[["0","1//4"],["1","1//4"]]]],[["1",[["0","-1//4"],["1","1//4"]]]],[["0",[["0","1//2"]]]]],[[["0",[["0","1//4"],["1","1//4"]]]],[["1",[["0","-1//4"],["1","1//4"]]]],[["0",[["0","-1//2"]]]]],[[["0",[["0","-1//4"],["1","-1//4"]]]],[["1",[["0","-1//4"],["1","1//4"]]]],[["0",[["0","1//2"]]]]],[[["0",[["0","-1//4"],["1","-1//4"]]]],[["1",[["0","-1//4"],["1","1//4"]]]],[["0",[["0","-1//2"]]]]],[[],[["1",[["0","1"]]]],[["0",[["0","1//2"]]]]],[[],[["1",[["0","1"]]]],[["0",[["0","-1//2"]]]]],[[],[],[["0",[["0","1//2"]]],["1",[["0","-1//2"],["1","1//2"]]]]],[[],[],[["0",[["0","-1//2"]]],["1",[["0","1//2"],["1","-1//2"]]]]]],"_refs":{"100c8716-c924-41b3-abaa-a257b769e809":{"_type":"MatSpace","data":{"base_ring":"00b58acd-3c2f-46a5-83ea-4c70bc1408ef","ncols":"3","nrows":"12"}},"00b58acd-3c2f-46a5-83ea-4c70bc1408ef":{"_type":"Hecke.EmbeddedField","data":{"num_field":"2a3e223f-5593-468b-9c13-12a71063a257","embedding":"1ea34c16-3397-45cd-8cfa-efb23ab1e362"}},"2a3e223f-5593-468b-9c13-12a71063a257":{"_type":"Hecke.NfRel","data":{"def_pol":{"_type":{"name":"PolyRingElem","params":"e5f2d502-25af-45f6-bf66-68a4ed0d0931"},"data":[["0",[["0","-1//2"],["1","-1//10"]]],["2",[["0","1"]]]]},"var":"a"}},"1ea34c16-3397-45cd-8cfa-efb23ab1e362":{"_type":"Hecke.NumFieldEmbNfRel","data":{"num_field":"2a3e223f-5593-468b-9c13-12a71063a257","base_field_emb":"2319da98-4a26-4864-800c-beae6692c20a","data":{"_type":{"name":"acb","params":{"_type":"AcbField","data":"36"}},"data":["d9c4405a3 -24 11cc4cf3 -45","0 0 0 0"]}}},"e5f2d502-25af-45f6-bf66-68a4ed0d0931":{"_type":"PolyRing","data":{"base_ring":"3b88105a-4944-4e43-8b3c-9b44413027d7","symbols":["y"]}},"2319da98-4a26-4864-800c-beae6692c20a":{"_type":"Hecke.NumFieldEmbNfAbs","data":{"num_field":"3b88105a-4944-4e43-8b3c-9b44413027d7","data":{"_type":{"name":"acb","params":{"_type":"AcbField","data":"35"}},"data":["478dde6e5 -21 20000003 -3e","0 0 0 0"]}}},"3b88105a-4944-4e43-8b3c-9b44413027d7":{"_type":"AnticNumberField","data":{"def_pol":{"_type":{"name":"PolyRingElem","params":"43f5b5b6-2a4d-4165-a0df-d59d2a418e9a"},"data":[["0","-5"],["2","1"]]},"var":"sqrt(5)"}},"43f5b5b6-2a4d-4165-a0df-d59d2a418e9a":{"_type":"PolyRing","data":{"base_ring":{"_type":"QQField"},"symbols":["x"]}}}}
+{"_ns":{"Oscar":["https://github.com/oscar-system/Oscar.jl","0.14.0-DEV-a593eccafc8008b31e18b6f35cf353eab838cf63"]},"_type":{"name":"MatElem","params":"100c8716-c924-41b3-abaa-a257b769e809"},"data":[[[["0",[["0","1//2"]]]],[["1",[["0","-1//4"],["1","-1//4"]]]],[["0",[["0","1//2"]]]]],[[["0",[["0","1//2"]]]],[["1",[["0","-1//4"],["1","-1//4"]]]],[["0",[["0","-1//2"]]]]],[[["0",[["0","-1//2"]]]],[["1",[["0","-1//4"],["1","-1//4"]]]],[["0",[["0","1//2"]]]]],[[["0",[["0","-1//2"]]]],[["1",[["0","-1//4"],["1","-1//4"]]]],[["0",[["0","-1//2"]]]]],[[["0",[["0","1//4"],["1","1//4"]]]],[["1",[["0","-1//4"],["1","1//4"]]]],[["0",[["0","1//2"]]]]],[[["0",[["0","1//4"],["1","1//4"]]]],[["1",[["0","-1//4"],["1","1//4"]]]],[["0",[["0","-1//2"]]]]],[[["0",[["0","-1//4"],["1","-1//4"]]]],[["1",[["0","-1//4"],["1","1//4"]]]],[["0",[["0","1//2"]]]]],[[["0",[["0","-1//4"],["1","-1//4"]]]],[["1",[["0","-1//4"],["1","1//4"]]]],[["0",[["0","-1//2"]]]]],[[],[["1",[["0","1"]]]],[["0",[["0","1//2"]]]]],[[],[["1",[["0","1"]]]],[["0",[["0","-1//2"]]]]],[[],[],[["0",[["0","1//2"]]],["1",[["0","-1//2"],["1","1//2"]]]]],[[],[],[["0",[["0","-1//2"]]],["1",[["0","1//2"],["1","-1//2"]]]]]],"_refs":{"100c8716-c924-41b3-abaa-a257b769e809":{"_type":"MatSpace","data":{"base_ring":"00b58acd-3c2f-46a5-83ea-4c70bc1408ef","ncols":"3","nrows":"12"}},"00b58acd-3c2f-46a5-83ea-4c70bc1408ef":{"_type":"Hecke.EmbeddedNumField","data":{"num_field":"2a3e223f-5593-468b-9c13-12a71063a257","embedding":"1ea34c16-3397-45cd-8cfa-efb23ab1e362"}},"2a3e223f-5593-468b-9c13-12a71063a257":{"_type":"Hecke.RelSimpleNumField","data":{"def_pol":{"_type":{"name":"PolyRingElem","params":"e5f2d502-25af-45f6-bf66-68a4ed0d0931"},"data":[["0",[["0","-1//2"],["1","-1//10"]]],["2",[["0","1"]]]]},"var":"a"}},"1ea34c16-3397-45cd-8cfa-efb23ab1e362":{"_type":"Hecke.RelSimpleNumFieldEmbedding","data":{"num_field":"2a3e223f-5593-468b-9c13-12a71063a257","base_field_emb":"2319da98-4a26-4864-800c-beae6692c20a","data":{"_type":{"name":"AcbFieldElem","params":{"_type":"AcbField","data":"36"}},"data":["d9c4405a3 -24 11cc4cf3 -45","0 0 0 0"]}}},"e5f2d502-25af-45f6-bf66-68a4ed0d0931":{"_type":"PolyRing","data":{"base_ring":"3b88105a-4944-4e43-8b3c-9b44413027d7","symbols":["y"]}},"2319da98-4a26-4864-800c-beae6692c20a":{"_type":"Hecke.AbsSimpleNumFieldEmbedding","data":{"num_field":"3b88105a-4944-4e43-8b3c-9b44413027d7","data":{"_type":{"name":"AcbFieldElem","params":{"_type":"AcbField","data":"35"}},"data":["478dde6e5 -21 20000003 -3e","0 0 0 0"]}}},"3b88105a-4944-4e43-8b3c-9b44413027d7":{"_type":"AbsSimpleNumField","data":{"def_pol":{"_type":{"name":"PolyRingElem","params":"43f5b5b6-2a4d-4165-a0df-d59d2a418e9a"},"data":[["0","-5"],["2","1"]]},"var":"sqrt(5)"}},"43f5b5b6-2a4d-4165-a0df-d59d2a418e9a":{"_type":"PolyRing","data":{"base_ring":{"_type":"QQField"},"symbols":["x"]}}}}
diff --git a/data/JohnsonMatrices/j17.mat b/data/JohnsonMatrices/j17.mat
@@ -1 +1 @@
-{"_ns":{"Oscar":["https://github.com/oscar-system/Oscar.jl","0.14.0-DEV-a593eccafc8008b31e18b6f35cf353eab838cf63"]},"_type":{"name":"MatElem","params":"ef52dee1-d751-4eb2-8515-6e90a473bd37"},"data":[[[],[],[["1","1//4"],["2","1//4"]]],[[],[],[["1","-1//4"],["2","-1//4"]]],[[["0","1//2"]],[["0","1//2"]],[["1","1//4"]]],[[["0","1//2"]],[["0","-1//2"]],[["1","1//4"]]],[[["0","-1//2"]],[["0","1//2"]],[["1","1//4"]]],[[["0","-1//2"]],[["0","-1//2"]],[["1","1//4"]]],[[],[["2","1//4"]],[["1","-1//4"]]],[[],[["2","-1//4"]],[["1","-1//4"]]],[[["2","1//4"]],[],[["1","-1//4"]]],[[["2","-1//4"]],[],[["1","-1//4"]]]],"_refs":{"ef52dee1-d751-4eb2-8515-6e90a473bd37":{"_type":"MatSpace","data":{"base_ring":"4a2b1927-afbe-4781-af67-623c7b3cc7c2","ncols":"3","nrows":"10"}},"4a2b1927-afbe-4781-af67-623c7b3cc7c2":{"_type":"Hecke.EmbeddedField","data":{"num_field":"b2111e94-391c-4d99-81eb-4e819048db5f","embedding":"1b2040cc-f8f3-45b5-8fef-c4c4c6d35ad0"}},"b2111e94-391c-4d99-81eb-4e819048db5f":{"_type":"AnticNumberField","data":{"def_pol":{"_type":{"name":"PolyRingElem","params":"e8268aff-6609-4456-8905-cdd631c26b73"},"data":[["0","-8"],["4","1"]]},"var":"a"}},"1b2040cc-f8f3-45b5-8fef-c4c4c6d35ad0":{"_type":"Hecke.NumFieldEmbNfAbs","data":{"num_field":"b2111e94-391c-4d99-81eb-4e819048db5f","data":{"_type":{"name":"acb","params":{"_type":"AcbField","data":"34"}},"data":["35d13f32b -21 20000003 -3f","0 0 0 0"]}}},"e8268aff-6609-4456-8905-cdd631c26b73":{"_type":"PolyRing","data":{"base_ring":{"_type":"QQField"},"symbols":["x"]}}}}
+{"_ns":{"Oscar":["https://github.com/oscar-system/Oscar.jl","0.14.0-DEV-a593eccafc8008b31e18b6f35cf353eab838cf63"]},"_type":{"name":"MatElem","params":"ef52dee1-d751-4eb2-8515-6e90a473bd37"},"data":[[[],[],[["1","1//4"],["2","1//4"]]],[[],[],[["1","-1//4"],["2","-1//4"]]],[[["0","1//2"]],[["0","1//2"]],[["1","1//4"]]],[[["0","1//2"]],[["0","-1//2"]],[["1","1//4"]]],[[["0","-1//2"]],[["0","1//2"]],[["1","1//4"]]],[[["0","-1//2"]],[["0","-1//2"]],[["1","1//4"]]],[[],[["2","1//4"]],[["1","-1//4"]]],[[],[["2","-1//4"]],[["1","-1//4"]]],[[["2","1//4"]],[],[["1","-1//4"]]],[[["2","-1//4"]],[],[["1","-1//4"]]]],"_refs":{"ef52dee1-d751-4eb2-8515-6e90a473bd37":{"_type":"MatSpace","data":{"base_ring":"4a2b1927-afbe-4781-af67-623c7b3cc7c2","ncols":"3","nrows":"10"}},"4a2b1927-afbe-4781-af67-623c7b3cc7c2":{"_type":"Hecke.EmbeddedNumField","data":{"num_field":"b2111e94-391c-4d99-81eb-4e819048db5f","embedding":"1b2040cc-f8f3-45b5-8fef-c4c4c6d35ad0"}},"b2111e94-391c-4d99-81eb-4e819048db5f":{"_type":"AbsSimpleNumField","data":{"def_pol":{"_type":{"name":"PolyRingElem","params":"e8268aff-6609-4456-8905-cdd631c26b73"},"data":[["0","-8"],["4","1"]]},"var":"a"}},"1b2040cc-f8f3-45b5-8fef-c4c4c6d35ad0":{"_type":"Hecke.AbsSimpleNumFieldEmbedding","data":{"num_field":"b2111e94-391c-4d99-81eb-4e819048db5f","data":{"_type":{"name":"AcbFieldElem","params":{"_type":"AcbField","data":"34"}},"data":["35d13f32b -21 20000003 -3f","0 0 0 0"]}}},"e8268aff-6609-4456-8905-cdd631c26b73":{"_type":"PolyRing","data":{"base_ring":{"_type":"QQField"},"symbols":["x"]}}}}