Magma V2.19-8 Tue Aug 20 2013 16:14:45 on localhost [Seed = 913812048] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s737 geometric_solution 5.25565897 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 1 0 2 0 0132 2310 0132 3201 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 -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 0.695197368287 0.529662595836 0 2 4 3 0132 0213 0132 0132 0 0 0 0 0 0 0 0 1 0 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 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.391565532855 0.571276181406 3 4 1 0 3201 1023 0213 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.391565532855 0.571276181406 5 5 1 2 0132 3201 0132 2310 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 -1 0 0 1 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.879010487268 0.888644259514 2 4 4 1 1023 3201 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.701793671487 1.084133346123 3 5 3 5 0132 1302 2310 2031 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 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.023927442258 1.078504452006 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(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_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(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_0011_3'], 'c_1100_4' : d['c_0011_2'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_2'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_5' : d['c_0011_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : negation(d['c_0011_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : 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_3'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_1'])})} 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_0011_3, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 544564153417949503/48412613916868125*c_0101_4^17 - 36634176258686941/3227507594457875*c_0101_4^16 + 1248329033736948937/16137537972289375*c_0101_4^15 + 15237570779163000778/48412613916868125*c_0101_4^14 + 43053367887417452321/48412613916868125*c_0101_4^13 + 24262857617012509208/16137537972289375*c_0101_4^12 + 86230634258381122618/48412613916868125*c_0101_4^11 + 18019309052864963234/16137537972289375*c_0101_4^10 - 14851707180190382986/16137537972289375*c_0101_4^9 - 6519713448229725716/3227507594457875*c_0101_4^8 - 138322840296918239683/48412613916868125*c_0101_4^7 - 91698134267942113654/48412613916868125*c_0101_4^6 + 17141537289409307148/16137537972289375*c_0101_4^5 + 41162698724094413837/48412613916868125*c_0101_4^4 + 23339526608188076957/48412613916868125*c_0101_4^3 + 14484369098731255294/48412613916868125*c_0101_4^2 - 2144996774863465423/48412613916868125*c_0101_4 - 579420771675208144/16137537972289375, c_0011_0 - 1, c_0011_2 + 2476282713591947/16137537972289375*c_0101_4^17 + 239745028754227/3227507594457875*c_0101_4^16 - 17514717096460214/16137537972289375*c_0101_4^15 - 59628526191516547/16137537972289375*c_0101_4^14 - 165073991078911954/16137537972289375*c_0101_4^13 - 250424124516438851/16137537972289375*c_0101_4^12 - 281376153863774832/16137537972289375*c_0101_4^11 - 144568971732276348/16137537972289375*c_0101_4^10 + 206039241395739617/16137537972289375*c_0101_4^9 + 50933772228996577/3227507594457875*c_0101_4^8 + 448116561976951517/16137537972289375*c_0101_4^7 + 197468257355932821/16137537972289375*c_0101_4^6 - 269400120607012156/16137537972289375*c_0101_4^5 + 52920196816133537/16137537972289375*c_0101_4^4 - 74482370973245343/16137537972289375*c_0101_4^3 - 21782472099773306/16137537972289375*c_0101_4^2 + 984026581983902/16137537972289375*c_0101_4 - 5059404014523507/16137537972289375, c_0011_3 - 28945662729396448/16137537972289375*c_0101_4^17 - 1538453529109343/3227507594457875*c_0101_4^16 + 212933227884233401/16137537972289375*c_0101_4^15 + 656739185607376598/16137537972289375*c_0101_4^14 + 1741631631899805061/16137537972289375*c_0101_4^13 + 2368158886015769809/16137537972289375*c_0101_4^12 + 2261782431381223913/16137537972289375*c_0101_4^11 + 335014778245928707/16137537972289375*c_0101_4^10 - 3529502173411299103/16137537972289375*c_0101_4^9 - 588783612606210243/3227507594457875*c_0101_4^8 - 4232983043992581828/16137537972289375*c_0101_4^7 - 509415809212603539/16137537972289375*c_0101_4^6 + 4746094454567910304/16137537972289375*c_0101_4^5 - 623290080867153633/16137537972289375*c_0101_4^4 + 554003909482158287/16137537972289375*c_0101_4^3 + 74678773858582529/16137537972289375*c_0101_4^2 - 420489150699899168/16137537972289375*c_0101_4 + 83017820422892613/16137537972289375, c_0101_0 + 17861863324456629/16137537972289375*c_0101_4^17 + 2078361068005089/3227507594457875*c_0101_4^16 - 127478769393433123/16137537972289375*c_0101_4^15 - 445657127818710704/16137537972289375*c_0101_4^14 - 1220297732765485928/16137537972289375*c_0101_4^13 - 1859283568952937832/16137537972289375*c_0101_4^12 - 2015355181110923699/16137537972289375*c_0101_4^11 - 879991462074899561/16137537972289375*c_0101_4^10 + 1869614292388841569/16137537972289375*c_0101_4^9 + 482883345203414289/3227507594457875*c_0101_4^8 + 3445945827711374244/16137537972289375*c_0101_4^7 + 1426022521079112497/16137537972289375*c_0101_4^6 - 2410420837666855967/16137537972289375*c_0101_4^5 - 393180072739632866/16137537972289375*c_0101_4^4 - 553997310481289401/16137537972289375*c_0101_4^3 - 149234364929202767/16137537972289375*c_0101_4^2 + 188611549577600314/16137537972289375*c_0101_4 - 7092034102103174/16137537972289375, c_0101_1 + 9946340698023131/16137537972289375*c_0101_4^17 + 728890253201571/3227507594457875*c_0101_4^16 - 71989762362535122/16137537972289375*c_0101_4^15 - 232556132733647681/16137537972289375*c_0101_4^14 - 627832654305335892/16137537972289375*c_0101_4^13 - 896486578749552873/16137537972289375*c_0101_4^12 - 919643074367688736/16137537972289375*c_0101_4^11 - 281582521648824904/16137537972289375*c_0101_4^10 + 1113929093727601166/16137537972289375*c_0101_4^9 + 222686418925531246/3227507594457875*c_0101_4^8 + 1683511676241876741/16137537972289375*c_0101_4^7 + 464465496087993308/16137537972289375*c_0101_4^6 - 1430202157095106013/16137537972289375*c_0101_4^5 + 106785334212637326/16137537972289375*c_0101_4^4 - 318208999182088414/16137537972289375*c_0101_4^3 - 67499115081720588/16137537972289375*c_0101_4^2 + 97385377306370221/16137537972289375*c_0101_4 - 22921267338980136/16137537972289375, c_0101_4^18 + c_0101_4^17 - 7*c_0101_4^16 - 28*c_0101_4^15 - 78*c_0101_4^14 - 130*c_0101_4^13 - 149*c_0101_4^12 - 85*c_0101_4^11 + 97*c_0101_4^10 + 186*c_0101_4^9 + 241*c_0101_4^8 + 149*c_0101_4^7 - 120*c_0101_4^6 - 87*c_0101_4^5 - 28*c_0101_4^4 - 22*c_0101_4^3 + 8*c_0101_4^2 + 5*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB