Skip to content

Commit

Permalink
Precise Johnson solids using serialization (#3035)
Browse files Browse the repository at this point in the history 
Co-authored-by: antonydellavecchia <antonydellavecchia@gmail.com>
Co-authored-by: Benjamin Lorenz <benlorenz@users.noreply.github.com>
Co-authored-by: Tommy Hofmann <thofma@gmail.com>
  • Loading branch information
@alexej-jordan @antonydellavecchia
@benlorenz @thofma
4 people authored Nov 30, 2023
1 parent 8391484 commit cb10ff4
Show file tree
Hide file tree
Showing 69 changed files with 238 additions and 48 deletions.
2 changes: 1 addition & 1 deletion Project.toml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -30,7 +30,7 @@ AlgebraicSolving = "0.3.6"
Distributed = "1.6"
DocStringExtensions = "0.8, 0.9"
GAP = "0.10.0"
Hecke = "0.22.6"
Hecke = "0.22.7"
JSON = "^0.20, ^0.21"
LazyArtifacts = "1.6"
Nemo = "0.37.5"
Expand Down
1 change: 1 addition & 0 deletions data/JohnsonMatrices/j10.mat
View file
Original file line number Diff line number Diff line change
@@ -0,0 +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"]}}}}
1 change: 1 addition & 0 deletions data/JohnsonMatrices/j13.mat
View file
Original file line number Diff line number Diff line change
@@ -0,0 +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"]}}}}
1 change: 1 addition & 0 deletions data/JohnsonMatrices/j16.mat
View file
Original file line number Diff line number Diff line change
@@ -0,0 +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"]}}}}
1 change: 1 addition & 0 deletions data/JohnsonMatrices/j17.mat
View file
Original file line number Diff line number Diff line change
@@ -0,0 +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"]}}}}
1 change: 1 addition & 0 deletions data/JohnsonMatrices/j18.mat
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"_ns":{"Oscar":["https://github.com/oscar-system/Oscar.jl","0.14.0-DEV-a593eccafc8008b31e18b6f35cf353eab838cf63"]},"_type":{"name":"MatElem","params":"62c41105-3dd3-4b14-a844-77df77143a73"},"data":[[[[["0","0"],"1//2"]],[[["0","1"],"1//2"]],[[["0","0"],"1//2"]]],[[[["0","0"],"1//2"]],[[["0","1"],"1//2"]],[[["0","0"],"-1//2"]]],[[[["0","0"],"1//2"]],[[["0","1"],"-1//2"]],[[["0","0"],"1//2"]]],[[[["0","0"],"1//2"]],[[["0","1"],"-1//2"]],[[["0","0"],"-1//2"]]],[[[["0","0"],"-1//2"]],[[["0","1"],"1//2"]],[[["0","0"],"1//2"]]],[[[["0","0"],"-1//2"]],[[["0","1"],"1//2"]],[[["0","0"],"-1//2"]]],[[[["0","0"],"-1//2"]],[[["0","1"],"-1//2"]],[[["0","0"],"1//2"]]],[[[["0","0"],"-1//2"]],[[["0","1"],"-1//2"]],[[["0","0"],"-1//2"]]],[[[["0","0"],"1"]],[],[[["0","0"],"1//2"]]],[[[["0","0"],"1"]],[],[[["0","0"],"-1//2"]]],[[[["0","0"],"-1"]],[],[[["0","0"],"1//2"]]],[[[["0","0"],"-1"]],[],[[["0","0"],"-1//2"]]],[[[["0","0"],"1//2"]],[[["0","1"],"-1//6"]],[[["1","1"],"1//3"],[["0","0"],"1//2"]]],[[[["0","0"],"-1//2"]],[[["0","1"],"-1//6"]],[[["1","1"],"1//3"],[["0","0"],"1//2"]]],[[],[[["0","1"],"1//3"]],[[["1","1"],"1//3"],[["0","0"],"1//2"]]]],"_refs":{"62c41105-3dd3-4b14-a844-77df77143a73":{"_type":"MatSpace","data":{"base_ring":"db687bb9-6483-44fa-9588-91837177c9b4","ncols":"3","nrows":"15"}},"db687bb9-6483-44fa-9588-91837177c9b4":{"_type":"Hecke.EmbeddedField","data":{"num_field":"f074a4c6-ada7-426d-bd99-beb3468e890c","embedding":"fa80ad76-0e78-4f1e-b71f-f520603434bd"}},"f074a4c6-ada7-426d-bd99-beb3468e890c":{"_type":"NfAbsNS","data":{"def_pols":{"_type":{"name":"Vector","params":{"name":"PolyRingElem","params":"e8268aff-6609-4456-8905-cdd631c26b73"}},"data":[[["0","-2"],["2","1"]],[["0","-3"],["2","1"]]]},"vars":["sqrt(2)","sqrt(3)"]}},"fa80ad76-0e78-4f1e-b71f-f520603434bd":{"_type":"Hecke.NumFieldEmbNfAbsNS","data":{"num_field":"f074a4c6-ada7-426d-bd99-beb3468e890c","data":{"_type":{"name":"Tuple","params":[{"name":"acb","params":{"_type":"AcbField","data":"64"}},{"name":"acb","params":{"_type":"AcbField","data":"64"}}]},"data":[["2d413cccfe779921 -3d 16a09e69 -5b","0 0 0 0"],["ddb3d742c265539d -3f 1279a749 -5a","0 0 0 0"]]}}},"e8268aff-6609-4456-8905-cdd631c26b73":{"_type":"PolyRing","data":{"base_ring":{"_type":"QQField"},"symbols":["x"]}}}}
1 change: 1 addition & 0 deletions data/JohnsonMatrices/j20.mat
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"_ns":{"Oscar":["https://github.com/oscar-system/Oscar.jl","0.14.0-DEV-a593eccafc8008b31e18b6f35cf353eab838cf63"]},"_type":{"name":"MatElem","params":"91c4aa61-09a6-4d98-a15b-9e3205f0cc8b"},"data":[[[["0",[["0","1//2"]]]],[["1",[["0","5//4"],["1","1//4"]]]],[["0",[["0","1//2"]]]]],[[["0",[["0","1//2"]]]],[["1",[["0","5//4"],["1","1//4"]]]],[["0",[["0","-1//2"]]]]],[[["0",[["0","1//2"]]]],[["1",[["0","-5//4"],["1","-1//4"]]]],[["0",[["0","1//2"]]]]],[[["0",[["0","1//2"]]]],[["1",[["0","-5//4"],["1","-1//4"]]]],[["0",[["0","-1//2"]]]]],[[["0",[["0","-1//2"]]]],[["1",[["0","5//4"],["1","1//4"]]]],[["0",[["0","1//2"]]]]],[[["0",[["0","-1//2"]]]],[["1",[["0","5//4"],["1","1//4"]]]],[["0",[["0","-1//2"]]]]],[[["0",[["0","-1//2"]]]],[["1",[["0","-5//4"],["1","-1//4"]]]],[["0",[["0","1//2"]]]]],[[["0",[["0","-1//2"]]]],[["1",[["0","-5//4"],["1","-1//4"]]]],[["0",[["0","-1//2"]]]]],[[["0",[["0","3//4"],["1","1//4"]]]],[["1",[["1","1//2"]]]],[["0",[["0","1//2"]]]]],[[["0",[["0","3//4"],["1","1//4"]]]],[["1",[["1","1//2"]]]],[["0",[["0","-1//2"]]]]],[[["0",[["0","3//4"],["1","1//4"]]]],[["1",[["1","-1//2"]]]],[["0",[["0","1//2"]]]]],[[["0",[["0","3//4"],["1","1//4"]]]],[["1",[["1","-1//2"]]]],[["0",[["0","-1//2"]]]]],[[["0",[["0","-3//4"],["1","-1//4"]]]],[["1",[["1","1//2"]]]],[["0",[["0","1//2"]]]]],[[["0",[["0","-3//4"],["1","-1//4"]]]],[["1",[["1","1//2"]]]],[["0",[["0","-1//2"]]]]],[[["0",[["0","-3//4"],["1","-1//4"]]]],[["1",[["1","-1//2"]]]],[["0",[["0","1//2"]]]]],[[["0",[["0","-3//4"],["1","-1//4"]]]],[["1",[["1","-1//2"]]]],[["0",[["0","-1//2"]]]]],[[["0",[["0","1//2"],["1","1//2"]]]],[],[["0",[["0","1//2"]]]]],[[["0",[["0","1//2"],["1","1//2"]]]],[],[["0",[["0","-1//2"]]]]],[[["0",[["0","-1//2"],["1","-1//2"]]]],[],[["0",[["0","1//2"]]]]],[[["0",[["0","-1//2"],["1","-1//2"]]]],[],[["0",[["0","-1//2"]]]]],[[["0",[["0","1//2"]]]],[["1",[["0","-1//4"],["1","-1//4"]]]],[["0",[["0","1//2"]]],["1",[["0","-1//2"],["1","1//2"]]]]],[[["0",[["0","-1//2"]]]],[["1",[["0","-1//4"],["1","-1//4"]]]],[["0",[["0","1//2"]]],["1",[["0","-1//2"],["1","1//2"]]]]],[[["0",[["0","1//4"],["1","1//4"]]]],[["1",[["0","-1//4"],["1","1//4"]]]],[["0",[["0","1//2"]]],["1",[["0","-1//2"],["1","1//2"]]]]],[[["0",[["0","-1//4"],["1","-1//4"]]]],[["1",[["0","-1//4"],["1","1//4"]]]],[["0",[["0","1//2"]]],["1",[["0","-1//2"],["1","1//2"]]]]],[[],[["1",[["0","1"]]]],[["0",[["0","1//2"]]],["1",[["0","-1//2"],["1","1//2"]]]]]],"_refs":{"91c4aa61-09a6-4d98-a15b-9e3205f0cc8b":{"_type":"MatSpace","data":{"base_ring":"ef18575d-8ff0-49d8-b17a-74a8be86fe09","ncols":"3","nrows":"25"}},"ef18575d-8ff0-49d8-b17a-74a8be86fe09":{"_type":"Hecke.EmbeddedField","data":{"num_field":"c96a2099-2204-465e-8b94-9a137ec17645","embedding":"f0e5ac2c-4c77-48b6-b166-eefc0812ccf4"}},"c96a2099-2204-465e-8b94-9a137ec17645":{"_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"}},"f0e5ac2c-4c77-48b6-b166-eefc0812ccf4":{"_type":"Hecke.NumFieldEmbNfRel","data":{"num_field":"c96a2099-2204-465e-8b94-9a137ec17645","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"]}}}}
1 change: 1 addition & 0 deletions data/JohnsonMatrices/j21.mat
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"_ns":{"Oscar":["https://github.com/oscar-system/Oscar.jl","0.14.0-DEV-a593eccafc8008b31e18b6f35cf353eab838cf63"]},"_type":{"name":"MatElem","params":"45faa7b5-9e5c-44f9-9936-fcaf7973856d"},"data":[[[["0",[["0","1//2"]]]],[["1",[["0","5//4"],["1","1//4"]]]],[["0",[["0","1//2"]]]]],[[["0",[["0","1//2"]]]],[["1",[["0","5//4"],["1","1//4"]]]],[["0",[["0","-1//2"]]]]],[[["0",[["0","1//2"]]]],[["1",[["0","-5//4"],["1","-1//4"]]]],[["0",[["0","1//2"]]]]],[[["0",[["0","1//2"]]]],[["1",[["0","-5//4"],["1","-1//4"]]]],[["0",[["0","-1//2"]]]]],[[["0",[["0","-1//2"]]]],[["1",[["0","5//4"],["1","1//4"]]]],[["0",[["0","1//2"]]]]],[[["0",[["0","-1//2"]]]],[["1",[["0","5//4"],["1","1//4"]]]],[["0",[["0","-1//2"]]]]],[[["0",[["0","-1//2"]]]],[["1",[["0","-5//4"],["1","-1//4"]]]],[["0",[["0","1//2"]]]]],[[["0",[["0","-1//2"]]]],[["1",[["0","-5//4"],["1","-1//4"]]]],[["0",[["0","-1//2"]]]]],[[["0",[["0","3//4"],["1","1//4"]]]],[["1",[["1","1//2"]]]],[["0",[["0","1//2"]]]]],[[["0",[["0","3//4"],["1","1//4"]]]],[["1",[["1","1//2"]]]],[["0",[["0","-1//2"]]]]],[[["0",[["0","3//4"],["1","1//4"]]]],[["1",[["1","-1//2"]]]],[["0",[["0","1//2"]]]]],[[["0",[["0","3//4"],["1","1//4"]]]],[["1",[["1","-1//2"]]]],[["0",[["0","-1//2"]]]]],[[["0",[["0","-3//4"],["1","-1//4"]]]],[["1",[["1","1//2"]]]],[["0",[["0","1//2"]]]]],[[["0",[["0","-3//4"],["1","-1//4"]]]],[["1",[["1","1//2"]]]],[["0",[["0","-1//2"]]]]],[[["0",[["0","-3//4"],["1","-1//4"]]]],[["1",[["1","-1//2"]]]],[["0",[["0","1//2"]]]]],[[["0",[["0","-3//4"],["1","-1//4"]]]],[["1",[["1","-1//2"]]]],[["0",[["0","-1//2"]]]]],[[["0",[["0","1//2"],["1","1//2"]]]],[],[["0",[["0","1//2"]]]]],[[["0",[["0","1//2"],["1","1//2"]]]],[],[["0",[["0","-1//2"]]]]],[[["0",[["0","-1//2"],["1","-1//2"]]]],[],[["0",[["0","1//2"]]]]],[[["0",[["0","-1//2"],["1","-1//2"]]]],[],[["0",[["0","-1//2"]]]]],[[],[["1",[["0","1"]]]],[["0",[["0","1//2"]]],["1",[["0","1//2"],["1","1//2"]]]]],[[["0",[["0","1//2"]]]],[["1",[["0","-1//4"],["1","-1//4"]]]],[["0",[["0","1//2"]]],["1",[["0","1//2"],["1","1//2"]]]]],[[["0",[["0","-1//2"]]]],[["1",[["0","-1//4"],["1","-1//4"]]]],[["0",[["0","1//2"]]],["1",[["0","1//2"],["1","1//2"]]]]],[[["0",[["0","1//4"],["1","1//4"]]]],[["1",[["0","-1//4"],["1","1//4"]]]],[["0",[["0","1//2"]]],["1",[["0","1//2"],["1","1//2"]]]]],[[["0",[["0","-1//4"],["1","-1//4"]]]],[["1",[["0","-1//4"],["1","1//4"]]]],[["0",[["0","1//2"]]],["1",[["0","1//2"],["1","1//2"]]]]],[[],[["1",[["0","-1//2"],["1","-1//2"]]]],[["0",[["0","1//2"]]],["1",[["0","1"]]]]],[[["0",[["0","1//4"],["1","1//4"]]]],[["1",[["0","3//4"],["1","1//4"]]]],[["0",[["0","1//2"]]],["1",[["0","1"]]]]],[[["0",[["0","-1//4"],["1","-1//4"]]]],[["1",[["0","3//4"],["1","1//4"]]]],[["0",[["0","1//2"]]],["1",[["0","1"]]]]],[[["0",[["0","3//4"],["1","1//4"]]]],[["1",[["0","-1//2"]]]],[["0",[["0","1//2"]]],["1",[["0","1"]]]]],[[["0",[["0","-3//4"],["1","-1//4"]]]],[["1",[["0","-1//2"]]]],[["0",[["0","1//2"]]],["1",[["0","1"]]]]]],"_refs":{"45faa7b5-9e5c-44f9-9936-fcaf7973856d":{"_type":"MatSpace","data":{"base_ring":"e73f254e-41f0-49b6-bab1-fbd1ebdae64b","ncols":"3","nrows":"30"}},"e73f254e-41f0-49b6-bab1-fbd1ebdae64b":{"_type":"Hecke.EmbeddedField","data":{"num_field":"04b94390-48af-4b36-8000-eecab7fa3f3f","embedding":"27f094c1-45f0-442c-a8fe-da33860710a2"}},"04b94390-48af-4b36-8000-eecab7fa3f3f":{"_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"}},"27f094c1-45f0-442c-a8fe-da33860710a2":{"_type":"Hecke.NumFieldEmbNfRel","data":{"num_field":"04b94390-48af-4b36-8000-eecab7fa3f3f","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"]}}}}
Loading

0 comments on commit cb10ff4

Please sign in to comment.