Skip to content

Commit

Permalink
Merge branch 'master' into TB_no_subgroup_reps
Browse files Browse the repository at this point in the history
  • Loading branch information
@lgoettgens
lgoettgens committed Feb 1, 2024
2 parents af1f229 + 757489f commit 4a28239
Show file tree
Hide file tree
Showing 215 changed files with 1,598 additions and 1,688 deletions.
1 change: 1 addition & 0 deletions .gitignore
View file
Original file line number Diff line number Diff line change
Expand Up @@ -7,3 +7,4 @@ profile.pb.gz
LocalPreferences.toml
Manifest.toml
.DS_Store
*~
6 changes: 3 additions & 3 deletions Project.toml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -26,16 +26,16 @@ UUIDs = "cf7118a7-6976-5b1a-9a39-7adc72f591a4"
cohomCalg_jll = "5558cf25-a90e-53b0-b813-cadaa3ae7ade"

[compat]
AbstractAlgebra = "0.36.6"
AbstractAlgebra = "0.37.3"
AlgebraicSolving = "0.4.6"
Distributed = "1.6"
DocStringExtensions = "0.8, 0.9"
GAP = "0.10.2"
Hecke = "0.25.0"
Hecke = "0.26.2"
JSON = "^0.20, ^0.21"
JSON3 = "1.13.2"
LazyArtifacts = "1.6"
Nemo = "0.40.1"
Nemo = "0.41.2"
Pkg = "1.6"
Polymake = "0.11.8"
Preferences = "1"
Expand Down
13 changes: 4 additions & 9 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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])
Expand Down Expand Up @@ -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])
Expand Down
2 changes: 1 addition & 1 deletion data/JohnsonMatrices/j10.mat
View file
Original file line number Diff line number Diff line change
@@ -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"]}}}}
2 changes: 1 addition & 1 deletion data/JohnsonMatrices/j13.mat
View file
Original file line number Diff line number Diff line change
@@ -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"]}}}}
2 changes: 1 addition & 1 deletion data/JohnsonMatrices/j16.mat
View file
Original file line number Diff line number Diff line change
@@ -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"]}}}}
2 changes: 1 addition & 1 deletion data/JohnsonMatrices/j17.mat
View file
Original file line number Diff line number Diff line change
@@ -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"]}}}}
Loading

0 comments on commit 4a28239

Please sign in to comment.