Magma V2.19-8 Tue Aug 20 2013 16:18:47 on localhost [Seed = 3768679825] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2940 geometric_solution 6.13670300 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 2103 0132 0132 0 0 0 0 0 0 -1 1 0 0 0 0 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.271980177637 1.305287168517 0 0 5 4 0132 2103 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.571507676609 0.651750598017 4 5 4 0 0132 1230 2031 0132 0 0 0 0 0 0 -1 1 0 0 0 0 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.396572641470 0.544863010170 4 3 0 3 1302 2310 0132 3201 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.137066496073 0.802562026944 2 3 1 2 0132 2031 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.137066496073 0.802562026944 6 6 2 1 0132 2310 3012 0132 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.245367169179 0.922797317632 5 6 6 5 0132 1230 3012 3201 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.204688675320 0.718122493557 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0101_2'], 'c_1100_4' : d['c_0101_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_2'], 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0011_2'], 'c_0101_5' : negation(d['c_0011_0']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0011_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_2'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_2']), 'c_1001_4' : negation(d['c_0110_3']), 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0110_3'], 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_2'], 'c_0110_3' : d['c_0110_3'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0011_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0011_0']), 'c_1010_6' : d['c_0011_2'], 'c_1010_5' : d['c_0011_0'], 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : negation(d['c_0110_3']), 'c_1010_2' : negation(d['c_0011_0']), 'c_1010_1' : negation(d['c_0110_3']), 'c_1010_0' : d['c_0110_3']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_3, c_0011_5, c_0101_0, c_0101_2, c_0110_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 429143632241822800187/358261486776996700*c_0110_3^23 - 2914354130648889169887/358261486776996700*c_0110_3^21 + 4361377421170672471187/716522973553993400*c_0110_3^19 + 3913985110847096714731/716522973553993400*c_0110_3^17 + 10723609222127858936114/89565371694249175*c_0110_3^15 - 73005058833374208999181/358261486776996700*c_0110_3^13 + 18559648339522170552093/35826148677699670*c_0110_3^11 - 337600260430387048006619/358261486776996700*c_0110_3^9 + 299001434253854543872593/358261486776996700*c_0110_3^7 - 104899087288948436831003/143304594710798680*c_0110_3^5 + 109831533506423020329767/716522973553993400*c_0110_3^3 - 4187601629913488800679/716522973553993400*c_0110_3, c_0011_0 - 1, c_0011_2 - 107011420074879386/3582614867769967*c_0110_3^23 + 726473268278770092/3582614867769967*c_0110_3^21 - 542121204920978233/3582614867769967*c_0110_3^19 - 488951271049643692/3582614867769967*c_0110_3^17 - 10697483815442263736/3582614867769967*c_0110_3^15 + 18179279722564898052/3582614867769967*c_0110_3^13 - 46242738683348163490/3582614867769967*c_0110_3^11 + 84082228863068274927/3582614867769967*c_0110_3^9 - 74382219155778217298/3582614867769967*c_0110_3^7 + 65253985166352307706/3582614867769967*c_0110_3^5 - 13569645014305527279/3582614867769967*c_0110_3^3 + 519223441439008155/3582614867769967*c_0110_3, c_0011_3 + 26422148348890026/3582614867769967*c_0110_3^23 - 179371949064892298/3582614867769967*c_0110_3^21 + 133844346410809441/3582614867769967*c_0110_3^19 + 120742774882866333/3582614867769967*c_0110_3^17 + 2641341153084132410/3582614867769967*c_0110_3^15 - 4488610197337812830/3582614867769967*c_0110_3^13 + 11417349521285753240/3582614867769967*c_0110_3^11 - 20759922329925489689/3582614867769967*c_0110_3^9 + 18365888581473638972/3582614867769967*c_0110_3^7 - 16112213950095713264/3582614867769967*c_0110_3^5 + 3351688505046746488/3582614867769967*c_0110_3^3 - 132765868243385514/3582614867769967*c_0110_3, c_0011_5 + 45279261378120638/3582614867769967*c_0110_3^22 - 307253473212856968/3582614867769967*c_0110_3^20 + 228482042966653733/3582614867769967*c_0110_3^18 + 207437942005842354/3582614867769967*c_0110_3^16 + 4527114407294499769/3582614867769967*c_0110_3^14 - 7678303853483225988/3582614867769967*c_0110_3^12 + 19545348720017029670/3582614867769967*c_0110_3^10 - 35522853208385671746/3582614867769967*c_0110_3^8 + 31372793454366947628/3582614867769967*c_0110_3^6 - 27531401501460916980/3582614867769967*c_0110_3^4 + 5669997763450552615/3582614867769967*c_0110_3^2 - 209880184951206671/3582614867769967, c_0101_0 + 80589271725989360/3582614867769967*c_0110_3^22 - 547101319213877794/3582614867769967*c_0110_3^20 + 408276858510168792/3582614867769967*c_0110_3^18 + 368208496166777359/3582614867769967*c_0110_3^16 + 8056142662358131326/3582614867769967*c_0110_3^14 - 13690669525227085222/3582614867769967*c_0110_3^12 + 34825389162062410250/3582614867769967*c_0110_3^10 - 63322306533142785238/3582614867769967*c_0110_3^8 + 56016330574304578326/3582614867769967*c_0110_3^6 - 49141771216256594442/3582614867769967*c_0110_3^4 + 10217956509258780791/3582614867769967*c_0110_3^2 - 386457573195622641/3582614867769967, c_0101_2 + 57982599480603750/3582614867769967*c_0110_3^22 - 393648293648140018/3582614867769967*c_0110_3^20 + 293865557722602951/3582614867769967*c_0110_3^18 + 264855268137572837/3582614867769967*c_0110_3^16 + 5796241150621066652/3582614867769967*c_0110_3^14 - 9852063613531696064/3582614867769967*c_0110_3^12 + 25058602619461463655/3582614867769967*c_0110_3^10 - 45567693004449851190/3582614867769967*c_0110_3^8 + 40316176454010630523/3582614867769967*c_0110_3^6 - 35369998401430438598/3582614867769967*c_0110_3^4 + 7366320218339088287/3582614867769967*c_0110_3^2 - 279446153120743255/3582614867769967, c_0110_3^24 - 7*c_0110_3^22 + 13/2*c_0110_3^20 + 7/2*c_0110_3^18 + 99*c_0110_3^16 - 191*c_0110_3^14 + 468*c_0110_3^12 - 877*c_0110_3^10 + 861*c_0110_3^8 - 1513/2*c_0110_3^6 + 511/2*c_0110_3^4 - 63/2*c_0110_3^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB