Magma V2.19-8 Tue Aug 20 2013 23:51:04 on localhost [Seed = 3220821176] Type ? for help. Type -D to quit. Loading file "L13a5028__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L13a5028 geometric_solution 11.36096478 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 2 3 0132 0132 0321 0132 0 1 1 1 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 1 0 -1 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.644177746717 0.676766840045 0 1 1 3 0132 3201 2310 1230 1 1 1 1 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 -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.825959817949 0.623340293073 4 0 0 5 0132 0132 0321 0132 0 1 1 1 0 0 0 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 -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.644177746717 0.676766840045 1 4 0 6 3012 0321 0132 0132 0 1 1 1 0 -1 0 1 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 -3 1 2 0 0 1 -1 -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.608635574903 1.157612743346 2 7 6 3 0132 0132 0132 0321 0 1 1 1 0 -1 0 1 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 0 0 0 0 -3 0 3 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.630644058936 0.369357090474 8 9 2 9 0132 0132 0132 0213 0 1 1 1 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 -1 1 1 0 0 -1 -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.705327779620 1.061209605412 7 8 3 4 0213 0213 0132 0132 0 1 1 1 0 1 -1 0 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 2 -2 0 -1 0 1 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.845526688414 0.734071322128 6 4 10 8 0213 0132 0132 0213 0 1 1 1 0 1 0 -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 3 0 -3 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.923506825242 0.726841850535 5 10 6 7 0132 0132 0213 0213 0 1 1 1 0 0 -1 1 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 -1 -2 3 -1 0 0 1 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.043463360133 0.765854211648 11 5 10 5 0132 0132 0321 0213 0 1 1 1 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 1 -1 1 0 0 -1 -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.705327779620 1.061209605412 11 8 9 7 2310 0132 0321 0132 0 1 1 1 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 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.705327779620 1.061209605412 9 11 10 11 0132 2310 3201 3201 1 1 1 1 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 -1 0 1 -1 0 0 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.522961399533 0.597177117228 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_4'], 'c_1001_11' : negation(d['c_0101_10']), 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_1001_6'], 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_10'], 'c_1001_8' : d['c_1001_6'], 'c_1010_11' : d['c_0101_10'], 'c_1010_10' : d['c_1001_6'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_6']), 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : negation(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_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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_9' : d['c_1001_10'], 'c_1100_8' : d['c_1001_4'], 'c_1100_5' : d['c_1001_0'], 'c_1100_4' : d['c_1001_2'], 'c_1100_7' : d['c_1001_10'], 'c_1100_6' : d['c_1001_2'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_1001_2'], 'c_1100_3' : d['c_1001_2'], 'c_1100_2' : d['c_1001_0'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : d['c_1001_10'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_4'], 'c_1010_6' : d['c_1001_4'], 'c_1010_5' : d['c_1001_10'], 'c_1010_4' : d['c_1001_6'], 'c_1010_3' : d['c_1001_6'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_0'], 'c_1010_8' : d['c_1001_10'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_10']), 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_10'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_0']), 'c_0011_6' : d['c_0011_6'], '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' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_10']), 'c_0110_10' : d['c_0011_6'], 'c_0011_11' : d['c_0011_10'], 'c_0101_7' : d['c_0011_6'], 'c_0101_6' : negation(d['c_0011_0']), 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_3'], 'c_0101_9' : negation(d['c_0101_10']), 'c_0101_8' : d['c_0011_6'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_6']), 'c_0110_8' : d['c_0101_4'], 'c_0110_1' : d['c_0011_3'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_7' : negation(d['c_0101_4']), 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_6, c_0101_1, c_0101_10, c_0101_4, c_1001_0, c_1001_10, c_1001_2, c_1001_4, c_1001_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 5 Groebner basis: [ t - 5104/3075*c_1001_4^4 - 724/1025*c_1001_4^3 + 28216/3075*c_1001_4^2 + 7642/3075*c_1001_4 - 12458/1025, c_0011_0 - 1, c_0011_10 + 1, c_0011_3 + 3*c_1001_4^4 + c_1001_4^3 - 25/2*c_1001_4^2 - 3/2*c_1001_4 + 45/4, c_0011_6 + 3*c_1001_4^4 + c_1001_4^3 - 25/2*c_1001_4^2 - 3/2*c_1001_4 + 45/4, c_0101_1 + 3*c_1001_4^4 + c_1001_4^3 - 29/2*c_1001_4^2 - 3/2*c_1001_4 + 69/4, c_0101_10 - 3*c_1001_4^4 - c_1001_4^3 + 29/2*c_1001_4^2 + 3/2*c_1001_4 - 69/4, c_0101_4 + c_1001_4^4 - c_1001_4^3 - 11/2*c_1001_4^2 + 7/2*c_1001_4 + 27/4, c_1001_0 - 1, c_1001_10 + 4*c_1001_4^4 - 20*c_1001_4^2 + c_1001_4 + 24, c_1001_2 - 4*c_1001_4^4 + 20*c_1001_4^2 - c_1001_4 - 24, c_1001_4^5 + 2*c_1001_4^4 - 9/2*c_1001_4^3 - 9*c_1001_4^2 + 21/4*c_1001_4 + 41/4, c_1001_6 - 1 ], Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_6, c_0101_1, c_0101_10, c_0101_4, c_1001_0, c_1001_10, c_1001_2, c_1001_4, c_1001_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 12198641830246547430082/16053965562358542422079*c_1001_4^19 + 5102895257623341058208/16053965562358542422079*c_1001_4^18 - 151496572607659351148492/16053965562358542422079*c_1001_4^17 - 64492379672228066941168/16053965562358542422079*c_1001_4^16 + 728469902816797681569104/16053965562358542422079*c_1001_4^15 - 29597519941852178200886/5351321854119514140693*c_1001_4^14 - 131229262670957832173357/764474550588502020099*c_1001_4^13 + 681978219414970028354137/16053965562358542422079*c_1001_4^12 + 7140539913953711246445845/16053965562358542422079*c_1001_4^11 - 38699834752548819890234/5351321854119514140693*c_1001_4^10 - 10280200313943240318935105/16053965562358542422079*c_1001_4^9 - 15883076545317835941193/117182230382179141767*c_1001_4^8 + 6714682396009925008904473/16053965562358542422079*c_1001_4^7 + 554873952956523541186768/5351321854119514140693*c_1001_4^6 - 679358307955465879622288/5351321854119514140693*c_1001_4^5 - 151929268140505398887777/16053965562358542422079*c_1001_4^4 + 21271368910755431915117/764474550588502020099*c_1001_4^3 - 284959677176789706848/2293423651765506060297*c_1001_4^2 - 42647267758953093287575/16053965562358542422079*c_1001_4 + 2894947162608177947845/16053965562358542422079, c_0011_0 - 1, c_0011_10 + 127406107436562/1649594301310291*c_1001_4^19 + 226412506880458/1649594301310291*c_1001_4^18 - 1452954334549926/1649594301310291*c_1001_4^17 - 2920357516986019/1649594301310291*c_1001_4^16 + 6406850529951668/1649594301310291*c_1001_4^15 + 10028634107537033/1649594301310291*c_1001_4^14 - 4438055198868356/235656328758613*c_1001_4^13 - 33619758952057461/1649594301310291*c_1001_4^12 + 92207472982662518/1649594301310291*c_1001_4^11 + 92953238233550103/1649594301310291*c_1001_4^10 - 132496912669523600/1649594301310291*c_1001_4^9 - 120760795160802953/1649594301310291*c_1001_4^8 + 85655668805629788/1649594301310291*c_1001_4^7 + 18118710587727486/1649594301310291*c_1001_4^6 - 53845200131841284/1649594301310291*c_1001_4^5 + 35897850577887575/1649594301310291*c_1001_4^4 + 3551851321576570/235656328758613*c_1001_4^3 + 91956656084320/235656328758613*c_1001_4^2 + 4787366419270082/1649594301310291*c_1001_4 - 1252874196676945/1649594301310291, c_0011_3 + 503581968130298/1649594301310291*c_1001_4^19 + 10180635421426/1649594301310291*c_1001_4^18 - 5993816369945142/1649594301310291*c_1001_4^17 - 111528364305334/1649594301310291*c_1001_4^16 + 27166575680738797/1649594301310291*c_1001_4^15 - 16769532799118817/1649594301310291*c_1001_4^14 - 13550628912271594/235656328758613*c_1001_4^13 + 69115354875585188/1649594301310291*c_1001_4^12 + 219808143384369187/1649594301310291*c_1001_4^11 - 104825588759702565/1649594301310291*c_1001_4^10 - 262692745808747621/1649594301310291*c_1001_4^9 + 88661058524924162/1649594301310291*c_1001_4^8 + 102289767235898981/1649594301310291*c_1001_4^7 - 113539629122503959/1649594301310291*c_1001_4^6 - 4709129919090601/1649594301310291*c_1001_4^5 + 65164344319801957/1649594301310291*c_1001_4^4 - 374194004577837/235656328758613*c_1001_4^3 - 946222780927660/235656328758613*c_1001_4^2 + 4817305150322132/1649594301310291*c_1001_4 - 2137103512048485/1649594301310291, c_0011_6 + 63832985501699/1649594301310291*c_1001_4^19 - 116782055496798/1649594301310291*c_1001_4^18 - 702421417364531/1649594301310291*c_1001_4^17 + 1332230491192527/1649594301310291*c_1001_4^16 + 2885150309743739/1649594301310291*c_1001_4^15 - 7972336095483918/1649594301310291*c_1001_4^14 - 866403508770600/235656328758613*c_1001_4^13 + 27436769072456193/1649594301310291*c_1001_4^12 + 6312149881989151/1649594301310291*c_1001_4^11 - 54755188847870440/1649594301310291*c_1001_4^10 + 1014641510241930/1649594301310291*c_1001_4^9 + 59900160711969239/1649594301310291*c_1001_4^8 - 14376299424867453/1649594301310291*c_1001_4^7 - 29241225046270535/1649594301310291*c_1001_4^6 + 20156575532232772/1649594301310291*c_1001_4^5 + 690046183701258/1649594301310291*c_1001_4^4 - 1426246029765196/235656328758613*c_1001_4^3 - 114195380569030/235656328758613*c_1001_4^2 - 73889134680761/1649594301310291*c_1001_4 + 1421530723093221/1649594301310291, c_0101_1 + 126599995372705/1649594301310291*c_1001_4^19 - 162704454230919/1649594301310291*c_1001_4^18 - 1412143028273548/1649594301310291*c_1001_4^17 + 1946900020392834/1649594301310291*c_1001_4^16 + 5763051826950077/1649594301310291*c_1001_4^15 - 13234190217427386/1649594301310291*c_1001_4^14 - 1973750865625920/235656328758613*c_1001_4^13 + 45826912193906643/1649594301310291*c_1001_4^12 + 17072146085839121/1649594301310291*c_1001_4^11 - 89864391234891363/1649594301310291*c_1001_4^10 + 2723513759978078/1649594301310291*c_1001_4^9 + 103144405119597328/1649594301310291*c_1001_4^8 - 39378078084749127/1649594301310291*c_1001_4^7 - 64927639857880181/1649594301310291*c_1001_4^6 + 45735068213157900/1649594301310291*c_1001_4^5 + 7611287690650202/1649594301310291*c_1001_4^4 - 4092597834528374/235656328758613*c_1001_4^3 + 543938317509379/235656328758613*c_1001_4^2 + 4758735605611959/1649594301310291*c_1001_4 - 1364529330016497/1649594301310291, c_0101_10 + 838675773386498/1649594301310291*c_1001_4^19 - 228713258905021/1649594301310291*c_1001_4^18 - 9558864532013558/1649594301310291*c_1001_4^17 + 2250751174131104/1649594301310291*c_1001_4^16 + 40486193074396947/1649594301310291*c_1001_4^15 - 35690604310970524/1649594301310291*c_1001_4^14 - 18578123916228318/235656328758613*c_1001_4^13 + 124396867451354816/1649594301310291*c_1001_4^12 + 282641480764340515/1649594301310291*c_1001_4^11 - 157891213170067281/1649594301310291*c_1001_4^10 - 301990113300781571/1649594301310291*c_1001_4^9 + 66134790849376969/1649594301310291*c_1001_4^8 + 56096391031203095/1649594301310291*c_1001_4^7 - 67429507360334902/1649594301310291*c_1001_4^6 + 25487396380933978/1649594301310291*c_1001_4^5 + 41245730706127495/1649594301310291*c_1001_4^4 + 3579235493802877/235656328758613*c_1001_4^3 + 1668696000216297/235656328758613*c_1001_4^2 - 1741173094361923/1649594301310291*c_1001_4 + 581395772664898/1649594301310291, c_0101_4 - 228063578217070/1649594301310291*c_1001_4^19 - 63832985501699/1649594301310291*c_1001_4^18 + 2853544994101638/1649594301310291*c_1001_4^17 + 702421417364531/1649594301310291*c_1001_4^16 - 13875727293131377/1649594301310291*c_1001_4^15 + 4869011349636641/1649594301310291*c_1001_4^14 + 7394363301880194/235656328758613*c_1001_4^13 - 26320203545429740/1649594301310291*c_1001_4^12 - 130065379270137693/1649594301310291*c_1001_4^11 + 43861837325766249/1649594301310291*c_1001_4^10 + 181786601914778430/1649594301310291*c_1001_4^9 - 42522212745748670/1649594301310291*c_1001_4^8 - 115775737375151389/1649594301310291*c_1001_4^7 + 64094159476188713/1649594301310291*c_1001_4^6 + 34030560188829005/1649594301310291*c_1001_4^5 - 51173222169754292/1649594301310291*c_1001_4^4 - 3544825335592/6369089966449*c_1001_4^3 + 1882373186199336/235656328758613*c_1001_4^2 - 569013805319210/1649594301310291*c_1001_4 + 73889134680761/1649594301310291, c_1001_0 - 1, c_1001_10 + 49263661959124/235656328758613*c_1001_4^19 + 36939549406/235656328758613*c_1001_4^18 - 597967926470595/235656328758613*c_1001_4^17 - 10965360644975/235656328758613*c_1001_4^16 + 75975837380531/6369089966449*c_1001_4^15 - 1580017143509807/235656328758613*c_1001_4^14 - 1431286290701557/33665189822659*c_1001_4^13 + 6961842448457877/235656328758613*c_1001_4^12 + 24396758758233479/235656328758613*c_1001_4^11 - 11490207394350646/235656328758613*c_1001_4^10 - 32867022752205493/235656328758613*c_1001_4^9 + 10362513374076054/235656328758613*c_1001_4^8 + 18728767368864506/235656328758613*c_1001_4^7 - 12227318243422452/235656328758613*c_1001_4^6 - 3719902906328457/235656328758613*c_1001_4^5 + 8745825337658909/235656328758613*c_1001_4^4 + 16812563854648/33665189822659*c_1001_4^3 - 7015844046169/909869995207*c_1001_4^2 - 121788131110573/235656328758613*c_1001_4 - 1436592739866/235656328758613, c_1001_2 - 31126134685092/235656328758613*c_1001_4^19 - 2095105411895/235656328758613*c_1001_4^18 + 391716661399472/235656328758613*c_1001_4^17 + 24569835848134/235656328758613*c_1001_4^16 - 1931924739402866/235656328758613*c_1001_4^15 + 957478120678957/235656328758613*c_1001_4^14 + 1007495071719270/33665189822659*c_1001_4^13 - 4731992259956379/235656328758613*c_1001_4^12 - 17728990720167814/235656328758613*c_1001_4^11 + 8809178252227802/235656328758613*c_1001_4^10 + 25542248891426908/235656328758613*c_1001_4^9 - 9087146814538957/235656328758613*c_1001_4^8 - 17076356777892912/235656328758613*c_1001_4^7 + 9994321555404910/235656328758613*c_1001_4^6 + 4386822406130062/235656328758613*c_1001_4^5 - 7756594595704207/235656328758613*c_1001_4^4 - 10031054583424/33665189822659*c_1001_4^3 + 305559707039504/33665189822659*c_1001_4^2 - 386588188195385/235656328758613*c_1001_4 - 61384690492791/235656328758613, c_1001_4^20 - 12*c_1001_4^18 + 55*c_1001_4^16 - 34*c_1001_4^15 - 192*c_1001_4^14 + 142*c_1001_4^13 + 450*c_1001_4^12 - 220*c_1001_4^11 - 557*c_1001_4^10 + 182*c_1001_4^9 + 245*c_1001_4^8 - 218*c_1001_4^7 - 21*c_1001_4^6 + 136*c_1001_4^5 + c_1001_4^4 - 14*c_1001_4^3 + 6*c_1001_4^2 + 1, c_1001_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.110 Total time: 0.320 seconds, Total memory usage: 32.09MB