Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add serialization upgrade script for type renaming #3303

Merged
merged 3 commits into from
Feb 2, 2024
Merged

Add serialization upgrade script for type renaming #3303

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
5810065
Revert JohnsonMatrices to an older state
lgoettgens Feb 1, 2024
9302a8e
Reload refs after upgrade script
lgoettgens Feb 1, 2024
a103b6c
Add serialization upgrade script for type renaming
lgoettgens Feb 2, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion data/JohnsonMatrices/j10.mat
View file
Open in desktop
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.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"]}}}}
{"_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"]}}}}
2 changes: 1 addition & 1 deletion data/JohnsonMatrices/j13.mat
View file
Open in desktop
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.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"]}}}}
{"_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"]}}}}
2 changes: 1 addition & 1 deletion data/JohnsonMatrices/j16.mat
View file
Open in desktop
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.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"]}}}}
{"_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"]}}}}
2 changes: 1 addition & 1 deletion data/JohnsonMatrices/j17.mat
View file
Open in desktop
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.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"]}}}}
{"_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"]}}}}
Loading
Loading