adds description to johnson solids (oscar-system#3493)

* adds description to jphnson solids * name change for johnson_names * Update test/PolyhedralGeometry/polyhedron.jl --------- Co-authored-by: Benjamin Lorenz <[email protected]>
JohnAAbbott · Mar 7, 2024 · 3095524 · 3095524
1 parent 45c6f79
commit 3095524
Show file tree

Hide file tree

Showing 66 changed files with 81 additions and 129 deletions.
diff --git a/data/JohnsonSolids/j09.mrdi b/data/JohnsonSolids/j09.mrdi
@@ -1 +1 @@
-{"data":{"data":{"_coeff":{"embedding":"287f1713-31a8-4df0-a221-43723585f05d","num_field":"ed41afda-1dff-4fbf-ae93-c914d3181ebc"},"VERTICES":[[[["0",[["0","1"]]]],[["0",[["0","1//2"]]]],[["1",[["0","-1//4"],["1","-1//4"]]]],[["0",[["0","1//2"]]]]],[[["0",[["0","1"]]]],[["0",[["0","1//2"]]]],[["1",[["0","-1//4"],["1","-1//4"]]]],[["0",[["0","-1//2"]]]]],[[["0",[["0","1"]]]],[["0",[["0","-1//2"]]]],[["1",[["0","-1//4"],["1","-1//4"]]]],[["0",[["0","1//2"]]]]],[[["0",[["0","1"]]]],[["0",[["0","-1//2"]]]],[["1",[["0","-1//4"],["1","-1//4"]]]],[["0",[["0","-1//2"]]]]],[[["0",[["0","1"]]]],[["0",[["0","1//4"],["1","1//4"]]]],[["1",[["0","-1//4"],["1","1//4"]]]],[["0",[["0","1//2"]]]]],[[["0",[["0","1"]]]],[["0",[["0","1//4"],["1","1//4"]]]],[["1",[["0","-1//4"],["1","1//4"]]]],[["0",[["0","-1//2"]]]]],[[["0",[["0","1"]]]],[["0",[["0","-1//4"],["1","-1//4"]]]],[["1",[["0","-1//4"],["1","1//4"]]]],[["0",[["0","1//2"]]]]],[[["0",[["0","1"]]]],[["0",[["0","-1//4"],["1","-1//4"]]]],[["1",[["0","-1//4"],["1","1//4"]]]],[["0",[["0","-1//2"]]]]],[[["0",[["0","1"]]]],[],[["1",[["0","1"]]]],[["0",[["0","1//2"]]]]],[[["0",[["0","1"]]]],[],[["1",[["0","1"]]]],[["0",[["0","-1//2"]]]]],[[["0",[["0","1"]]]],[],[],[["0",[["0","1//2"]]],["1",[["0","-1//2"],["1","1//2"]]]]]],"_type":"polytope::Polytope<OscarNumber>","LINEALITY_SPACE":[]},"_type":{"name":"Dict","params":{"_coeff":"EmbeddedNumField","key_type":"String","VERTICES":{"name":"MatElem","params":"6921e254-8348-4c36-a273-0ba01c4b5721"},"_type":"String","LINEALITY_SPACE":{"name":"MatElem","params":"8b5ea724-07e3-410c-928a-a0a61fa507f7"}}}},"_ns":{"Oscar":["https://github.com/oscar-system/Oscar.jl","1.0.0"]},"_type":{"name":"Polyhedron","params":"a9a4646d-5890-4c9e-ba48-6a1325e7f8f4"},"_refs":{"6921e254-8348-4c36-a273-0ba01c4b5721":{"data":{"nrows":"11","base_ring":"a9a4646d-5890-4c9e-ba48-6a1325e7f8f4","ncols":"4"},"_type":"MatSpace"},"ed41afda-1dff-4fbf-ae93-c914d3181ebc":{"data":{"def_pol":{"data":[["0",[["0","-1//2"],["1","-1//10"]]],["2",[["0","1"]]]],"_type":{"name":"PolyRingElem","params":"b039c00d-ec0c-4bbd-a157-cd6305dc22b8"}},"var":"a"},"_type":"Hecke.RelSimpleNumField"},"f7191f8d-10fc-47a1-b6d0-c292ffcb88e2":{"data":{"def_pol":{"data":[["0","-5"],["2","1"]],"_type":{"name":"PolyRingElem","params":"0c25e721-9b30-44b9-810d-cfe238f7b8c9"}},"var":"sqrt(5)"},"_type":"AbsSimpleNumField"},"8db2cea3-2cb1-4672-bded-b1b2d98c709f":{"data":{"data":{"data":["478dde6e5 -21 20000003 -3e","0 0 0 0"],"_type":{"name":"AcbFieldElem","params":{"data":"35","_type":"AcbField"}}},"num_field":"f7191f8d-10fc-47a1-b6d0-c292ffcb88e2"},"_type":"Hecke.AbsSimpleNumFieldEmbedding"},"a9a4646d-5890-4c9e-ba48-6a1325e7f8f4":{"data":{"embedding":"287f1713-31a8-4df0-a221-43723585f05d","num_field":"ed41afda-1dff-4fbf-ae93-c914d3181ebc"},"_type":"EmbeddedNumField"},"8b5ea724-07e3-410c-928a-a0a61fa507f7":{"data":{"nrows":"0","base_ring":"a9a4646d-5890-4c9e-ba48-6a1325e7f8f4","ncols":"4"},"_type":"MatSpace"},"b039c00d-ec0c-4bbd-a157-cd6305dc22b8":{"data":{"symbols":["y"],"base_ring":"f7191f8d-10fc-47a1-b6d0-c292ffcb88e2"},"_type":"PolyRing"},"0c25e721-9b30-44b9-810d-cfe238f7b8c9":{"data":{"symbols":["x"],"base_ring":{"_type":"QQField"}},"_type":"PolyRing"},"287f1713-31a8-4df0-a221-43723585f05d":{"data":{"base_field_emb":"8db2cea3-2cb1-4672-bded-b1b2d98c709f","data":{"data":["d9c4405a3 -24 11cc4cf3 -45","0 0 0 0"],"_type":{"name":"AcbFieldElem","params":{"data":"36","_type":"AcbField"}}},"num_field":"ed41afda-1dff-4fbf-ae93-c914d3181ebc"},"_type":"Hecke.RelSimpleNumFieldEmbedding"}}}
+{"_ns":{"Oscar":["https://github.com/oscar-system/Oscar.jl","1.1.0-DEV-393962ae3172ace5e2d4c50ef17cb8ee89828d1e"]},"_type":{"name":"Polyhedron","params":"ca51bc50-67a4-4d29-8b69-68fd504b34ea"},"data":{"_type":{"name":"Dict","params":{"key_type":"String","TRIANGULATION":{"name":"Dict","params":{"key_type":"String","FACETS":{"name":"Vector","params":{"name":"Set","params":"Base.Int"}}}},"LINEALITY_SPACE":{"name":"MatElem","params":"041769d8-e261-4cca-a3c0-80dcb4814f6d"},"N_VERTICES":"Base.Int","_coeff":"EmbeddedNumField","_description":"String","CONE_AMBIENT_DIM":"Base.Int","ESSENTIALLY_GENERIC":"Bool","LINEALITY_DIM":"Base.Int","_type":"String","COMBINATORIAL_DIM":"Base.Int","POINTED":"Bool","FULL_DIM":"Bool","VERTICES":{"name":"MatElem","params":"f41d25ba-d9dd-45d6-abb5-8cabc3cf5b5a"},"AFFINE_HULL":{"name":"MatElem","params":"041769d8-e261-4cca-a3c0-80dcb4814f6d"},"CONE_DIM":"Base.Int","DUAL_GRAPH":{"name":"Dict","params":{"key_type":"String","ADJACENCY":"Graph{Undirected}"}},"VERTICES_IN_FACETS":"Polymake.IncidenceMatrixAllocated{Polymake.NonSymmetric}","FEASIBLE":"Bool","FAR_FACE":{"name":"Set","params":"Base.Int"},"FACETS":{"name":"MatElem","params":"f41d25ba-d9dd-45d6-abb5-8cabc3cf5b5a"}}},"data":{"TRIANGULATION":{"FACETS":[["0","4","2","1"],["4","2","3","1"],["5","4","3","1"],["4","6","2","3"],["5","4","6","3"],["5","6","7","3"],["5","4","6","8"],["5","6","7","8"],["5","7","9","8"],["0","4","2","10"],["4","6","2","10"],["4","6","10","8"]]},"LINEALITY_SPACE":[],"N_VERTICES":"11","_coeff":{"num_field":"4f4cedbc-3d69-48c7-8c44-685f30357491","embedding":"f5c5c21d-3263-44e7-8265-1991201d998a"},"_description":"Johnson solid J9: Elongated pentagonal pyramid","CONE_AMBIENT_DIM":"4","ESSENTIALLY_GENERIC":"false","LINEALITY_DIM":"0","_type":"polytope::Polytope<OscarNumber>","COMBINATORIAL_DIM":"3","POINTED":"true","FULL_DIM":"true","VERTICES":[[[["0",[["0","1"]]]],[["0",[["0","1//2"]]]],[["1",[["0","-1//4"],["1","-1//4"]]]],[["0",[["0","1//2"]]]]],[[["0",[["0","1"]]]],[["0",[["0","1//2"]]]],[["1",[["0","-1//4"],["1","-1//4"]]]],[["0",[["0","-1//2"]]]]],[[["0",[["0","1"]]]],[["0",[["0","-1//2"]]]],[["1",[["0","-1//4"],["1","-1//4"]]]],[["0",[["0","1//2"]]]]],[[["0",[["0","1"]]]],[["0",[["0","-1//2"]]]],[["1",[["0","-1//4"],["1","-1//4"]]]],[["0",[["0","-1//2"]]]]],[[["0",[["0","1"]]]],[["0",[["0","1//4"],["1","1//4"]]]],[["1",[["0","-1//4"],["1","1//4"]]]],[["0",[["0","1//2"]]]]],[[["0",[["0","1"]]]],[["0",[["0","1//4"],["1","1//4"]]]],[["1",[["0","-1//4"],["1","1//4"]]]],[["0",[["0","-1//2"]]]]],[[["0",[["0","1"]]]],[["0",[["0","-1//4"],["1","-1//4"]]]],[["1",[["0","-1//4"],["1","1//4"]]]],[["0",[["0","1//2"]]]]],[[["0",[["0","1"]]]],[["0",[["0","-1//4"],["1","-1//4"]]]],[["1",[["0","-1//4"],["1","1//4"]]]],[["0",[["0","-1//2"]]]]],[[["0",[["0","1"]]]],[],[["1",[["0","1"]]]],[["0",[["0","1//2"]]]]],[[["0",[["0","1"]]]],[],[["1",[["0","1"]]]],[["0",[["0","-1//2"]]]]],[[["0",[["0","1"]]]],[],[],[["0",[["0","1//2"]]],["1",[["0","-1//2"],["1","1//2"]]]]]],"AFFINE_HULL":[],"CONE_DIM":"4","DUAL_GRAPH":{"ADJACENCY":{"_ns":{"polymake":["https://polymake.org","4.11"]},"_type":"common::GraphAdjacency<Undirected>","data":[[1,3,4,7],[0,4,5,6],[3,4,6,8],[0,2,4,9],[0,1,2,3,6],[1,7,10],[1,2,4,10],[0,5,9],[2,9,10],[3,7,8],[5,6,8]]}},"VERTICES_IN_FACETS":{"data":[[0,1,2,3],[0,1,4,5],[6,7,8,9],[2,3,6,7],[1,3,5,7,9],[0,4,10],[4,5,8,9],[0,2,10],[6,8,10],[2,6,10],[4,8,10],{"cols":11}],"_type":"common::IncidenceMatrix<NonSymmetric>","_ns":{"polymake":["https://polymake.org","4.11"]}},"FEASIBLE":"true","FAR_FACE":[],"FACETS":[[[["1",[["0","1//4"],["1","1//4"]]]],[],[["0",[["0","1"]]]],[]],[[["1",[["0","3//2"],["1","1//2"]]]],[["1",[["0","-5//2"],["1","-1//2"]]]],[["0",[["0","1"]]]],[]],[[["1",[["0","1"]]]],[["1",[["0","-5//2"],["1","3//2"]]]],[["0",[["0","-1"]]]],[]],[[["1",[["0","3//2"],["1","1//2"]]]],[["1",[["0","5//2"],["1","1//2"]]]],[["0",[["0","1"]]]],[]],[[["0",[["0","1//2"]]]],[],[],[["0",[["0","1"]]]]],[[["0",[["0","1//2"]]],["1",[["0","-1//2"],["1","1//2"]]]],[["1",[["0","5//2"],["1","-3//2"]]]],[["0",[["0","-2"],["1","1"]]]],[["0",[["0","-1"]]]]],[[["1",[["0","1"]]]],[["1",[["0","5//2"],["1","-3//2"]]]],[["0",[["0","-1"]]]],[]],[[["0",[["0","1//2"]]],["1",[["0","-1//2"],["1","1//2"]]]],[],[["0",[["0","3"],["1","-1"]]]],[["0",[["0","-1"]]]]],[[["0",[["0","1//2"]]],["1",[["0","-1//2"],["1","1//2"]]]],[["1",[["0","5"],["1","-2"]]]],[["0",[["0","1//2"],["1","-1//2"]]]],[["0",[["0","-1"]]]]],[[["0",[["0","1//2"]]],["1",[["0","-1//2"],["1","1//2"]]]],[["1",[["0","-5//2"],["1","3//2"]]]],[["0",[["0","-2"],["1","1"]]]],[["0",[["0","-1"]]]]],[[["0",[["0","1//2"]]],["1",[["0","-1//2"],["1","1//2"]]]],[["1",[["0","-5"],["1","2"]]]],[["0",[["0","1//2"],["1","-1//2"]]]],[["0",[["0","-1"]]]]]]}},"_refs":{"ca51bc50-67a4-4d29-8b69-68fd504b34ea":{"_type":"EmbeddedNumField","data":{"num_field":"4f4cedbc-3d69-48c7-8c44-685f30357491","embedding":"f5c5c21d-3263-44e7-8265-1991201d998a"}},"041769d8-e261-4cca-a3c0-80dcb4814f6d":{"_type":"MatSpace","data":{"base_ring":"ca51bc50-67a4-4d29-8b69-68fd504b34ea","ncols":"4","nrows":"0"}},"f41d25ba-d9dd-45d6-abb5-8cabc3cf5b5a":{"_type":"MatSpace","data":{"base_ring":"ca51bc50-67a4-4d29-8b69-68fd504b34ea","ncols":"4","nrows":"11"}},"4f4cedbc-3d69-48c7-8c44-685f30357491":{"_type":"Hecke.RelSimpleNumField","data":{"def_pol":{"_type":{"name":"PolyRingElem","params":"271b6ce3-325a-486f-99a9-0858a59a384b"},"data":[["0",[["0","-1//2"],["1","-1//10"]]],["2",[["0","1"]]]]},"var":"a"}},"f5c5c21d-3263-44e7-8265-1991201d998a":{"_type":"Hecke.RelSimpleNumFieldEmbedding","data":{"num_field":"4f4cedbc-3d69-48c7-8c44-685f30357491","base_field_emb":"4e700ffb-7e79-48b4-b702-4dfde5ccfad1","data":{"_type":{"name":"AcbFieldElem","params":{"_type":"AcbField","data":"36"}},"data":["d9c4405a3 -24 11cc4cf3 -45","0 0 0 0"]}}},"271b6ce3-325a-486f-99a9-0858a59a384b":{"_type":"PolyRing","data":{"base_ring":"f9df02ed-2b2c-43cd-a9c2-794b145e5373","symbols":["y"]}},"4e700ffb-7e79-48b4-b702-4dfde5ccfad1":{"_type":"Hecke.AbsSimpleNumFieldEmbedding","data":{"num_field":"f9df02ed-2b2c-43cd-a9c2-794b145e5373","data":{"_type":{"name":"AcbFieldElem","params":{"_type":"AcbField","data":"35"}},"data":["478dde6e5 -21 20000003 -3e","0 0 0 0"]}}},"f9df02ed-2b2c-43cd-a9c2-794b145e5373":{"_type":"AbsSimpleNumField","data":{"def_pol":{"_type":{"name":"PolyRingElem","params":"0867625d-eac2-4c72-a05d-3aba4c89fede"},"data":[["0","-5"],["2","1"]]},"var":"sqrt(5)"}},"0867625d-eac2-4c72-a05d-3aba4c89fede":{"_type":"PolyRing","data":{"base_ring":{"_type":"QQField"},"symbols":["x"]}}}}
diff --git a/data/JohnsonSolids/j10.mrdi b/data/JohnsonSolids/j10.mrdi
@@ -1 +1 @@
-{"data":{"data":{"_coeff":{"embedding":"871c909f-c796-4dda-935f-c10ad01d2877","num_field":"f880c550-644f-4034-ac62-19f9a440501a"},"VERTICES":[[[["0","1"]],[],[],[["1","1//4"],["2","1//4"]]],[[["0","1"]],[["0","1//2"]],[["0","1//2"]],[["1","1//4"]]],[[["0","1"]],[["0","1//2"]],[["0","-1//2"]],[["1","1//4"]]],[[["0","1"]],[["0","-1//2"]],[["0","1//2"]],[["1","1//4"]]],[[["0","1"]],[["0","-1//2"]],[["0","-1//2"]],[["1","1//4"]]],[[["0","1"]],[],[["2","1//4"]],[["1","-1//4"]]],[[["0","1"]],[],[["2","-1//4"]],[["1","-1//4"]]],[[["0","1"]],[["2","1//4"]],[],[["1","-1//4"]]],[[["0","1"]],[["2","-1//4"]],[],[["1","-1//4"]]]],"_type":"polytope::Polytope<OscarNumber>","LINEALITY_SPACE":[]},"_type":{"name":"Dict","params":{"_coeff":"EmbeddedNumField","key_type":"String","VERTICES":{"name":"MatElem","params":"8c7e92c3-3752-440e-a324-7987cbed0f56"},"_type":"String","LINEALITY_SPACE":{"name":"MatElem","params":"bb558f0d-dad3-4e22-8f2f-6262fcc105cd"}}}},"_ns":{"Oscar":["https://github.com/oscar-system/Oscar.jl","1.0.0"]},"_type":{"name":"Polyhedron","params":"c123a6f0-94bc-4764-8b95-b8e87fdc2cb4"},"_refs":{"c123a6f0-94bc-4764-8b95-b8e87fdc2cb4":{"data":{"embedding":"871c909f-c796-4dda-935f-c10ad01d2877","num_field":"f880c550-644f-4034-ac62-19f9a440501a"},"_type":"EmbeddedNumField"},"f880c550-644f-4034-ac62-19f9a440501a":{"data":{"def_pol":{"data":[["0","-8"],["4","1"]],"_type":{"name":"PolyRingElem","params":"a1d9e888-89c9-41dd-99d0-f8b60b4c1796"}},"var":"a"},"_type":"AbsSimpleNumField"},"a1d9e888-89c9-41dd-99d0-f8b60b4c1796":{"data":{"symbols":["x"],"base_ring":{"_type":"QQField"}},"_type":"PolyRing"},"871c909f-c796-4dda-935f-c10ad01d2877":{"data":{"data":{"data":["35d13f32b -21 20000003 -3f","0 0 0 0"],"_type":{"name":"AcbFieldElem","params":{"data":"34","_type":"AcbField"}}},"num_field":"f880c550-644f-4034-ac62-19f9a440501a"},"_type":"Hecke.AbsSimpleNumFieldEmbedding"},"bb558f0d-dad3-4e22-8f2f-6262fcc105cd":{"data":{"nrows":"0","base_ring":"c123a6f0-94bc-4764-8b95-b8e87fdc2cb4","ncols":"4"},"_type":"MatSpace"},"8c7e92c3-3752-440e-a324-7987cbed0f56":{"data":{"nrows":"9","base_ring":"c123a6f0-94bc-4764-8b95-b8e87fdc2cb4","ncols":"4"},"_type":"MatSpace"}}}
+{"_ns":{"Oscar":["https://github.com/oscar-system/Oscar.jl","1.1.0-DEV-393962ae3172ace5e2d4c50ef17cb8ee89828d1e"]},"_type":{"name":"Polyhedron","params":"94a4d2e3-79d7-48e0-a0e2-4e3d5a0d1d08"},"data":{"_type":{"name":"Dict","params":{"key_type":"String","TRIANGULATION":{"name":"Dict","params":{"key_type":"String","FACETS":{"name":"Vector","params":{"name":"Set","params":"Base.Int"}}}},"LINEALITY_SPACE":{"name":"MatElem","params":"4e13360b-923a-4576-a62e-344e6524a0d2"},"N_VERTICES":"Base.Int","_coeff":"EmbeddedNumField","_description":"String","CONE_AMBIENT_DIM":"Base.Int","ESSENTIALLY_GENERIC":"Bool","LINEALITY_DIM":"Base.Int","_type":"String","COMBINATORIAL_DIM":"Base.Int","POINTED":"Bool","FULL_DIM":"Bool","VERTICES":{"name":"MatElem","params":"99c8fc92-f93f-4771-a54c-5fd710590f05"},"AFFINE_HULL":{"name":"MatElem","params":"4e13360b-923a-4576-a62e-344e6524a0d2"},"CONE_DIM":"Base.Int","DUAL_GRAPH":{"name":"Dict","params":{"key_type":"String","ADJACENCY":"Graph{Undirected}"}},"VERTICES_IN_FACETS":"Polymake.IncidenceMatrixAllocated{Polymake.NonSymmetric}","FEASIBLE":"Bool","FAR_FACE":{"name":"Set","params":"Base.Int"},"FACETS":{"name":"MatElem","params":"ae40502b-f90d-43fd-9a06-5072df9543a9"}}},"data":{"TRIANGULATION":{"FACETS":[["0","2","3","1"],["0","4","2","3"],["5","2","3","1"],["5","4","2","3"],["5","4","6","2"],["5","7","2","1"],["5","6","7","2"],["5","4","8","3"],["5","4","6","8"]]},"LINEALITY_SPACE":[],"N_VERTICES":"9","_coeff":{"num_field":"5b0b2265-47af-461f-9d93-ec005bf4b9e4","embedding":"9e11b4e4-a76c-4d2d-9426-9b0747af273e"},"_description":"Johnson solid J10: Gyroelongated square pyramid","CONE_AMBIENT_DIM":"4","ESSENTIALLY_GENERIC":"false","LINEALITY_DIM":"0","_type":"polytope::Polytope<OscarNumber>","COMBINATORIAL_DIM":"3","POINTED":"true","FULL_DIM":"true","VERTICES":[[[["0","1"]],[],[],[["1","1//4"],["2","1//4"]]],[[["0","1"]],[["0","1//2"]],[["0","1//2"]],[["1","1//4"]]],[[["0","1"]],[["0","1//2"]],[["0","-1//2"]],[["1","1//4"]]],[[["0","1"]],[["0","-1//2"]],[["0","1//2"]],[["1","1//4"]]],[[["0","1"]],[["0","-1//2"]],[["0","-1//2"]],[["1","1//4"]]],[[["0","1"]],[],[["2","1//4"]],[["1","-1//4"]]],[[["0","1"]],[],[["2","-1//4"]],[["1","-1//4"]]],[[["0","1"]],[["2","1//4"]],[],[["1","-1//4"]]],[[["0","1"]],[["2","-1//4"]],[],[["1","-1//4"]]]],"AFFINE_HULL":[],"CONE_DIM":"4","DUAL_GRAPH":{"ADJACENCY":{"data":[[2,6,7],[5,8,11],[0,3,4],[2,5,9],[2,5,12],[1,3,4],[0,10,12],[0,9,10],[1,9,10],[3,7,8],[6,7,8,11],[1,10,12],[4,6,11]],"_ns":{"polymake":["https://polymake.org","4.11"]},"_type":"common::GraphAdjacency<Undirected>"}},"VERTICES_IN_FACETS":{"_type":"common::IncidenceMatrix<NonSymmetric>","_ns":{"polymake":["https://polymake.org","4.11"]},"data":[[1,3,5],[2,4,6],[0,1,3],[0,1,2],[0,3,4],[0,2,4],[3,5,8],[1,5,7],[2,6,7],[1,2,7],[5,6,7,8],[4,6,8],[3,4,8],{"cols":9}]},"FEASIBLE":"true","FAR_FACE":[],"FACETS":[[[["1","3//4"],["3","1//4"]],[],[["1","-1"],["3","-1//2"]],[["0","-1"]]],[[["1","3//4"],["3","1//4"]],[],[["1","1"],["3","1//2"]],[["0","-1"]]],[[["1","1//4"],["2","1//4"]],[],[["2","-1//2"]],[["0","-1"]]],[[["1","1//4"],["2","1//4"]],[["2","-1//2"]],[],[["0","-1"]]],[[["1","1//4"],["2","1//4"]],[["2","1//2"]],[],[["0","-1"]]],[[["1","1//4"],["2","1//4"]],[],[["2","1//2"]],[["0","-1"]]],[[["1","3//4"],["3","1//4"]],[["1","1"],["3","1//4"]],[["1","-1"],["3","-1//4"]],[["0","1"]]],[[["1","3//4"],["3","1//4"]],[["1","-1"],["3","-1//4"]],[["1","-1"],["3","-1//4"]],[["0","1"]]],[[["1","3//4"],["3","1//4"]],[["1","-1"],["3","-1//4"]],[["1","1"],["3","1//4"]],[["0","1"]]],[[["1","3//4"],["3","1//4"]],[["1","-1"],["3","-1//2"]],[],[["0","-1"]]],[[["1","1//4"]],[],[],[["0","1"]]],[[["1","3//4"],["3","1//4"]],[["1","1"],["3","1//4"]],[["1","1"],["3","1//4"]],[["0","1"]]],[[["1","3//4"],["3","1//4"]],[["1","1"],["3","1//2"]],[],[["0","-1"]]]]}},"_refs":{"94a4d2e3-79d7-48e0-a0e2-4e3d5a0d1d08":{"_type":"EmbeddedNumField","data":{"num_field":"5b0b2265-47af-461f-9d93-ec005bf4b9e4","embedding":"9e11b4e4-a76c-4d2d-9426-9b0747af273e"}},"4e13360b-923a-4576-a62e-344e6524a0d2":{"_type":"MatSpace","data":{"base_ring":"94a4d2e3-79d7-48e0-a0e2-4e3d5a0d1d08","ncols":"4","nrows":"0"}},"99c8fc92-f93f-4771-a54c-5fd710590f05":{"_type":"MatSpace","data":{"base_ring":"94a4d2e3-79d7-48e0-a0e2-4e3d5a0d1d08","ncols":"4","nrows":"9"}},"ae40502b-f90d-43fd-9a06-5072df9543a9":{"_type":"MatSpace","data":{"base_ring":"94a4d2e3-79d7-48e0-a0e2-4e3d5a0d1d08","ncols":"4","nrows":"13"}},"5b0b2265-47af-461f-9d93-ec005bf4b9e4":{"_type":"AbsSimpleNumField","data":{"def_pol":{"_type":{"name":"PolyRingElem","params":"5911afe5-d882-4d64-bef3-559bbdd78f5c"},"data":[["0","-8"],["4","1"]]},"var":"a"}},"9e11b4e4-a76c-4d2d-9426-9b0747af273e":{"_type":"Hecke.AbsSimpleNumFieldEmbedding","data":{"num_field":"5b0b2265-47af-461f-9d93-ec005bf4b9e4","data":{"_type":{"name":"AcbFieldElem","params":{"_type":"AcbField","data":"34"}},"data":["35d13f32b -21 20000003 -3f","0 0 0 0"]}}},"5911afe5-d882-4d64-bef3-559bbdd78f5c":{"_type":"PolyRing","data":{"base_ring":{"_type":"QQField"},"symbols":["x"]}}}}