Skip to content

Commit

Permalink
Adv/upgrade regression fix (#3325)
Browse files Browse the repository at this point in the history 
* some debuggging

* add fix to upgrade tests, and fix code regression

* updates johnson matrices, and always adds the refs to s.refs
  • Loading branch information
@antonydellavecchia
antonydellavecchia committed Feb 16, 2024
1 parent 63f3f15 commit fbd34b8
Show file tree
Hide file tree
Showing 68 changed files with 93 additions and 80 deletions.
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.15.0-DEV-a452c9dd24612f51f8bc2ab633ae0d2cce48f1bb"]},"_type":{"name":"MatElem","params":"190b3b51-ef66-492d-8fbb-c31ad6ab24e3"},"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":{"190b3b51-ef66-492d-8fbb-c31ad6ab24e3":{"_type":"MatSpace","data":{"base_ring":"0dcf5b9a-1c3a-4a40-938b-c5e51954c093","ncols":"3","nrows":"9"}},"0dcf5b9a-1c3a-4a40-938b-c5e51954c093":{"_type":"EmbeddedNumField","data":{"num_field":"168b26a0-4f40-4bdf-b0dc-dda862c0cd9c","embedding":"4956a855-3458-4f98-85c1-e0a7f0487ba2"}},"168b26a0-4f40-4bdf-b0dc-dda862c0cd9c":{"_type":"AbsSimpleNumField","data":{"def_pol":{"_type":{"name":"PolyRingElem","params":"41d0500b-5855-45ef-9508-e5aace4fe9b8"},"data":[["0","-8"],["4","1"]]},"var":"a"}},"4956a855-3458-4f98-85c1-e0a7f0487ba2":{"_type":"Hecke.AbsSimpleNumFieldEmbedding","data":{"num_field":"168b26a0-4f40-4bdf-b0dc-dda862c0cd9c","data":{"_type":{"name":"AcbFieldElem","params":{"_type":"AcbField","data":"34"}},"data":["35d13f32b -21 20000003 -3f","0 0 0 0"]}}},"41d0500b-5855-45ef-9508-e5aace4fe9b8":{"_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.15.0-DEV-a452c9dd24612f51f8bc2ab633ae0d2cce48f1bb"]},"_type":{"name":"MatElem","params":"a9b361ee-3393-4f1d-b144-d10b2d67f86d"},"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":{"a9b361ee-3393-4f1d-b144-d10b2d67f86d":{"_type":"MatSpace","data":{"base_ring":"6d3a61a8-e778-4658-8afe-9fc03af01230","ncols":"3","nrows":"7"}},"6d3a61a8-e778-4658-8afe-9fc03af01230":{"_type":"EmbeddedNumField","data":{"num_field":"693a1cc1-55cd-4b47-9881-4609dd4fe25e","embedding":"834621d0-1b92-4569-836a-c2057e585076"}},"693a1cc1-55cd-4b47-9881-4609dd4fe25e":{"_type":"Hecke.RelSimpleNumField","data":{"def_pol":{"_type":{"name":"PolyRingElem","params":"381358dd-c2a3-48d0-aec7-60a604966107"},"data":[["0",[["0","-1//2"],["1","-1//10"]]],["2",[["0","1"]]]]},"var":"a"}},"834621d0-1b92-4569-836a-c2057e585076":{"_type":"Hecke.RelSimpleNumFieldEmbedding","data":{"num_field":"693a1cc1-55cd-4b47-9881-4609dd4fe25e","base_field_emb":"ed567b7d-51cb-4680-9810-c7d64ca77af2","data":{"_type":{"name":"AcbFieldElem","params":{"_type":"AcbField","data":"36"}},"data":["d9c4405a3 -24 11cc4cf3 -45","0 0 0 0"]}}},"381358dd-c2a3-48d0-aec7-60a604966107":{"_type":"PolyRing","data":{"base_ring":"1d63fca9-c980-4ff0-9690-31750482a6a1","symbols":["y"]}},"ed567b7d-51cb-4680-9810-c7d64ca77af2":{"_type":"Hecke.AbsSimpleNumFieldEmbedding","data":{"num_field":"1d63fca9-c980-4ff0-9690-31750482a6a1","data":{"_type":{"name":"AcbFieldElem","params":{"_type":"AcbField","data":"35"}},"data":["478dde6e5 -21 20000003 -3e","0 0 0 0"]}}},"1d63fca9-c980-4ff0-9690-31750482a6a1":{"_type":"AbsSimpleNumField","data":{"def_pol":{"_type":{"name":"PolyRingElem","params":"162ced89-bcd8-4e2d-89c2-b1d2e19d0689"},"data":[["0","-5"],["2","1"]]},"var":"sqrt(5)"}},"162ced89-bcd8-4e2d-89c2-b1d2e19d0689":{"_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.15.0-DEV-a452c9dd24612f51f8bc2ab633ae0d2cce48f1bb"]},"_type":{"name":"MatElem","params":"a17ba417-b8bd-4daf-b54f-1c914b20bf3f"},"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":{"a17ba417-b8bd-4daf-b54f-1c914b20bf3f":{"_type":"MatSpace","data":{"base_ring":"73f994bb-7eca-406d-8ac1-55b9ccf40804","ncols":"3","nrows":"12"}},"73f994bb-7eca-406d-8ac1-55b9ccf40804":{"_type":"EmbeddedNumField","data":{"num_field":"bb29616d-ab90-4f17-8a2c-bf793d281fdb","embedding":"ce3db42b-a2f6-45a6-b810-58619f4d401f"}},"bb29616d-ab90-4f17-8a2c-bf793d281fdb":{"_type":"Hecke.RelSimpleNumField","data":{"def_pol":{"_type":{"name":"PolyRingElem","params":"381358dd-c2a3-48d0-aec7-60a604966107"},"data":[["0",[["0","-1//2"],["1","-1//10"]]],["2",[["0","1"]]]]},"var":"a"}},"ce3db42b-a2f6-45a6-b810-58619f4d401f":{"_type":"Hecke.RelSimpleNumFieldEmbedding","data":{"num_field":"bb29616d-ab90-4f17-8a2c-bf793d281fdb","base_field_emb":"ed567b7d-51cb-4680-9810-c7d64ca77af2","data":{"_type":{"name":"AcbFieldElem","params":{"_type":"AcbField","data":"36"}},"data":["d9c4405a3 -24 11cc4cf3 -45","0 0 0 0"]}}},"381358dd-c2a3-48d0-aec7-60a604966107":{"_type":"PolyRing","data":{"base_ring":"1d63fca9-c980-4ff0-9690-31750482a6a1","symbols":["y"]}},"ed567b7d-51cb-4680-9810-c7d64ca77af2":{"_type":"Hecke.AbsSimpleNumFieldEmbedding","data":{"num_field":"1d63fca9-c980-4ff0-9690-31750482a6a1","data":{"_type":{"name":"AcbFieldElem","params":{"_type":"AcbField","data":"35"}},"data":["478dde6e5 -21 20000003 -3e","0 0 0 0"]}}},"1d63fca9-c980-4ff0-9690-31750482a6a1":{"_type":"AbsSimpleNumField","data":{"def_pol":{"_type":{"name":"PolyRingElem","params":"162ced89-bcd8-4e2d-89c2-b1d2e19d0689"},"data":[["0","-5"],["2","1"]]},"var":"sqrt(5)"}},"162ced89-bcd8-4e2d-89c2-b1d2e19d0689":{"_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.15.0-DEV-a452c9dd24612f51f8bc2ab633ae0d2cce48f1bb"]},"_type":{"name":"MatElem","params":"a8145c6e-4ce2-483f-a2d1-410b95884449"},"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":{"a8145c6e-4ce2-483f-a2d1-410b95884449":{"_type":"MatSpace","data":{"base_ring":"31437de7-39eb-4db8-9522-e69d64cae29b","ncols":"3","nrows":"10"}},"31437de7-39eb-4db8-9522-e69d64cae29b":{"_type":"EmbeddedNumField","data":{"num_field":"168b26a0-4f40-4bdf-b0dc-dda862c0cd9c","embedding":"4956a855-3458-4f98-85c1-e0a7f0487ba2"}},"168b26a0-4f40-4bdf-b0dc-dda862c0cd9c":{"_type":"AbsSimpleNumField","data":{"def_pol":{"_type":{"name":"PolyRingElem","params":"41d0500b-5855-45ef-9508-e5aace4fe9b8"},"data":[["0","-8"],["4","1"]]},"var":"a"}},"4956a855-3458-4f98-85c1-e0a7f0487ba2":{"_type":"Hecke.AbsSimpleNumFieldEmbedding","data":{"num_field":"168b26a0-4f40-4bdf-b0dc-dda862c0cd9c","data":{"_type":{"name":"AcbFieldElem","params":{"_type":"AcbField","data":"34"}},"data":["35d13f32b -21 20000003 -3f","0 0 0 0"]}}},"41d0500b-5855-45ef-9508-e5aace4fe9b8":{"_type":"PolyRing","data":{"base_ring":{"_type":"QQField"},"symbols":["x"]}}}}
Loading

0 comments on commit fbd34b8

Please sign in to comment.