Magma V2.19-8 Tue Aug 20 2013 16:14:28 on localhost [Seed = 2732801703] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s465 geometric_solution 4.81661449 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 1 1 2 3 0132 2310 0132 0132 0 0 0 0 0 -1 -1 2 0 0 -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 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.301105634334 0.997913872066 0 1 1 0 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.390539972954 0.515681124119 3 4 3 0 1023 0132 1230 0132 0 0 0 0 0 0 -1 1 -1 0 0 1 0 -1 0 1 0 1 -1 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 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.399458219660 1.176889917488 4 2 0 2 3201 1023 0132 3012 0 0 0 0 0 1 -2 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 -1 1 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.399458219660 1.176889917488 5 2 5 3 0132 0132 2310 2310 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.102135833111 1.447908179531 4 4 5 5 0132 3201 1230 3012 0 0 0 0 0 1 0 -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 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.267638125129 0.150968690737 ==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' : 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' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : 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_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_5' : d['c_0101_4'], 'c_1100_4' : d['c_0011_2'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0110_3'], 'c_1100_3' : d['c_0110_3'], 'c_1100_2' : d['c_0110_3'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0110_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0110_3'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : negation(d['c_0101_1']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0110_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0101_0, c_0101_1, c_0101_4, c_0110_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 4 Groebner basis: [ t - 248/9*c_0110_3^3 - 296/9*c_0110_3^2 + 130/9*c_0110_3 + 349/18, c_0011_0 - 1, c_0011_2 - 4*c_0110_3^2 + 1, c_0101_0 + 4*c_0110_3^2 - 1, c_0101_1 + 2*c_0110_3, c_0101_4 + 1, c_0110_3^4 - 3/4*c_0110_3^2 + 1/16*c_0110_3 + 1/16 ], Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0101_0, c_0101_1, c_0101_4, c_0110_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 36855224275420286661/1627772137553151947*c_0110_3^16 + 20657222165133054618/1627772137553151947*c_0110_3^15 - 211556290232541052521/1627772137553151947*c_0110_3^14 - 868474266975153330818/1627772137553151947*c_0110_3^13 + 1095644034047215546525/1627772137553151947*c_0110_3^12 - 4194581795747035847103/1627772137553151947*c_0110_3^11 + 14249728228816056442/232538876793307421*c_0110_3^10 + 6170922123076227231112/1627772137553151947*c_0110_3^9 - 4576436141009928812468/1627772137553151947*c_0110_3^8 + 11682698581694922601944/1627772137553151947*c_0110_3^7 - 5150931822979240030651/1627772137553151947*c_0110_3^6 - 4675787487487845763917/1627772137553151947*c_0110_3^5 + 2973496413975852043910/1627772137553151947*c_0110_3^4 - 184387329467769206800/232538876793307421*c_0110_3^3 + 467520667886042310328/1627772137553151947*c_0110_3^2 + 300239252455086763820/1627772137553151947*c_0110_3 - 150193568688305547448/1627772137553151947, c_0011_0 - 1, c_0011_2 + 60248073687931999/232538876793307421*c_0110_3^16 - 122000442553388206/232538876793307421*c_0110_3^15 + 352960436782203620/232538876793307421*c_0110_3^14 + 914052187718942564/232538876793307421*c_0110_3^13 - 4112237355493635008/232538876793307421*c_0110_3^12 + 8353081689257919122/232538876793307421*c_0110_3^11 - 9553874794219252921/232538876793307421*c_0110_3^10 - 14290086130461452346/232538876793307421*c_0110_3^9 + 20001070940925474295/232538876793307421*c_0110_3^8 - 24152249881555965217/232538876793307421*c_0110_3^7 + 34555274447232419681/232538876793307421*c_0110_3^6 + 7762257859633680870/232538876793307421*c_0110_3^5 - 15313248620773870561/232538876793307421*c_0110_3^4 + 4215569322533340196/232538876793307421*c_0110_3^3 - 3653430719109873424/232538876793307421*c_0110_3^2 - 623978325477918675/232538876793307421*c_0110_3 + 601987431563194525/232538876793307421, c_0101_0 + 11942045678710023/7501254090106691*c_0110_3^16 - 4772493627263719/7501254090106691*c_0110_3^15 + 68786361394857051/7501254090106691*c_0110_3^14 + 292084760994467581/7501254090106691*c_0110_3^13 - 302332896477140561/7501254090106691*c_0110_3^12 + 1335150800224516591/7501254090106691*c_0110_3^11 + 156814758345502557/7501254090106691*c_0110_3^10 - 1864525503781530003/7501254090106691*c_0110_3^9 + 1198087429809851549/7501254090106691*c_0110_3^8 - 3759327810152084665/7501254090106691*c_0110_3^7 + 1159087917066968812/7501254090106691*c_0110_3^6 + 1388393772693573169/7501254090106691*c_0110_3^5 - 647518976064855045/7501254090106691*c_0110_3^4 + 459475472038980732/7501254090106691*c_0110_3^3 - 129755041562483799/7501254090106691*c_0110_3^2 - 62981345848345695/7501254090106691*c_0110_3 + 15262226576561960/7501254090106691, c_0101_1 + 777290882444266417/232538876793307421*c_0110_3^16 - 381683420545750707/232538876793307421*c_0110_3^15 + 4484303986764266610/232538876793307421*c_0110_3^14 + 18601440305707760689/232538876793307421*c_0110_3^13 - 21537350045490166293/232538876793307421*c_0110_3^12 + 88127960201668647621/232538876793307421*c_0110_3^11 + 2565425238037503478/232538876793307421*c_0110_3^10 - 124499358116179549119/232538876793307421*c_0110_3^9 + 87805321379191192292/232538876793307421*c_0110_3^8 - 248835708577602168396/232538876793307421*c_0110_3^7 + 96963925115728912577/232538876793307421*c_0110_3^6 + 89637859558520130878/232538876793307421*c_0110_3^5 - 49861831539657900632/232538876793307421*c_0110_3^4 + 31025925482701052739/232538876793307421*c_0110_3^3 - 11368762993266933588/232538876793307421*c_0110_3^2 - 4182686098744339118/232538876793307421*c_0110_3 + 1651166773088899353/232538876793307421, c_0101_4 - 317683432742633167/232538876793307421*c_0110_3^16 + 58493714057856094/232538876793307421*c_0110_3^15 - 1829788480925803662/232538876793307421*c_0110_3^14 - 8165697925659341527/232538876793307421*c_0110_3^13 + 6208754228863840125/232538876793307421*c_0110_3^12 - 34523899934735566625/232538876793307421*c_0110_3^11 - 11474005535364015665/232538876793307421*c_0110_3^10 + 45759025359996174068/232538876793307421*c_0110_3^9 - 22847037854100910418/232538876793307421*c_0110_3^8 + 96512759375596558967/232538876793307421*c_0110_3^7 - 10699330793819531427/232538876793307421*c_0110_3^6 - 35371318767614433334/232538876793307421*c_0110_3^5 + 10370965693268004283/232538876793307421*c_0110_3^4 - 10889438824520561150/232538876793307421*c_0110_3^3 + 1521169163493179587/232538876793307421*c_0110_3^2 + 1433377907104393690/232538876793307421*c_0110_3 - 391258637135428458/232538876793307421, c_0110_3^17 - c_0110_3^16 + 6*c_0110_3^15 + 21*c_0110_3^14 - 40*c_0110_3^13 + 127*c_0110_3^12 - 54*c_0110_3^11 - 164*c_0110_3^10 + 194*c_0110_3^9 - 375*c_0110_3^8 + 286*c_0110_3^7 + 58*c_0110_3^6 - 124*c_0110_3^5 + 71*c_0110_3^4 - 34*c_0110_3^3 + c_0110_3^2 + 5*c_0110_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.220 seconds, Total memory usage: 32.09MB