Magma V2.19-8 Tue Aug 20 2013 16:14:14 on localhost [Seed = 627357960] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s197 geometric_solution 4.31261786 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 2 1302 2031 0132 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 1 0 -1 -1 0 1 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.655306654942 0.618034622701 3 2 2 0 0132 3012 1230 0132 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 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 1.192368969395 0.761695208675 1 3 0 1 1230 3201 0132 3012 0 0 0 0 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 -1 1 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 1.192368969395 0.761695208675 1 4 2 4 0132 0132 2310 1023 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 1.175637760974 0.525995714627 5 3 5 3 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 1 -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 0 0 1 -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.835485086607 0.251317500177 4 5 4 5 0132 2310 1023 3201 0 0 0 0 0 0 -1 1 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 -1 1 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.832953084522 0.133350795468 ==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' : 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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_1']), 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0011_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0011_0'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0101_2'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : d['c_0011_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_1, c_0101_1, c_0101_2, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 2627645416144971007550824493/5414713509635004446034569680*c_0101_5^\ 15 + 1292930758472370071931993302/338419594352187777877160605*c_010\ 1_5^14 - 38016893734746532902677717977/5414713509635004446034569680\ *c_0101_5^13 - 328677153092002841478414507871/541471350963500444603\ 4569680*c_0101_5^12 + 12726422215582752589986346729/235422326505869\ 758523242160*c_0101_5^11 + 931272680678794787748790268169/541471350\ 9635004446034569680*c_0101_5^10 + 26562727882892434462322029457/676\ 839188704375555754321210*c_0101_5^9 + 76588856418234362021971086417/1082942701927000889206913936*c_0101_5\ ^8 - 3228882444135199168665865511121/5414713509635004446034569680*c\ _0101_5^7 - 1442503160047559867671265121349/54147135096350044460345\ 69680*c_0101_5^6 + 2044157836381623820047597931101/5414713509635004\ 446034569680*c_0101_5^5 - 530150568109158489647235550741/2707356754\ 817502223017284840*c_0101_5^4 + 449481431653376499094219853807/2707\ 356754817502223017284840*c_0101_5^3 + 55594458702734261209445762445/270735675481750222301728484*c_0101_5^\ 2 - 523371264501521903688747228271/5414713509635004446034569680*c_0\ 101_5 - 74194195447201293941468139351/5414713509635004446034569680, c_0011_0 - 1, c_0011_1 + 84363240785257461279359/8254136447614336045784405*c_0101_5^1\ 5 + 735875546431569486462801/8254136447614336045784405*c_0101_5^14 - 563739342255040311215881/8254136447614336045784405*c_0101_5^13 - 10811822776665601344923193/8254136447614336045784405*c_0101_5^12 - 18662938448964325059808/358875497722362436773235*c_0101_5^11 + 26229605588152824307794392/8254136447614336045784405*c_0101_5^10 + 35407556214629426667262108/8254136447614336045784405*c_0101_5^9 + 9414745224802927532532097/1650827289522867209156881*c_0101_5^8 - 64713298188719430335226558/8254136447614336045784405*c_0101_5^7 - 93975009775863486593057677/8254136447614336045784405*c_0101_5^6 - 57091920560025116620566767/8254136447614336045784405*c_0101_5^5 - 58899152183682698255231316/8254136447614336045784405*c_0101_5^4 - 23808937411555785157906833/8254136447614336045784405*c_0101_5^3 + 815026764469777640852261/1650827289522867209156881*c_0101_5^2 + 2991179918094021003948092/8254136447614336045784405*c_0101_5 - 3453894000845243104164353/8254136447614336045784405, c_0101_1 - 8901664428079831390/516367622622104225573*c_0101_5^15 - 70866232356873082401/516367622622104225573*c_0101_5^14 + 115876266473430512643/516367622622104225573*c_0101_5^13 + 1068959195216544919118/516367622622104225573*c_0101_5^12 - 823762887924034443555/516367622622104225573*c_0101_5^11 - 2401225334206790605384/516367622622104225573*c_0101_5^10 - 1331043698028243962582/516367622622104225573*c_0101_5^9 - 3425893991459650326063/516367622622104225573*c_0101_5^8 + 8933264125925819105988/516367622622104225573*c_0101_5^7 + 3051247426566415444492/516367622622104225573*c_0101_5^6 + 149359734328621590119/516367622622104225573*c_0101_5^5 + 8321070140521631969452/516367622622104225573*c_0101_5^4 - 1141334539067209353432/516367622622104225573*c_0101_5^3 + 40694704196531518199/516367622622104225573*c_0101_5^2 + 1119213932491844586877/516367622622104225573*c_0101_5 - 375012840581316195933/516367622622104225573, c_0101_2 - 523036292856496434553826/8254136447614336045784405*c_0101_5^\ 15 - 4347228029710047883084214/8254136447614336045784405*c_0101_5^1\ 4 + 5488543259113034585450474/8254136447614336045784405*c_0101_5^13 + 66381774417324388605587807/8254136447614336045784405*c_0101_5^12 - 1196903542494717061488543/358875497722362436773235*c_0101_5^11 - 175289672155143286537729668/8254136447614336045784405*c_0101_5^10 - 125215739809216241936817582/8254136447614336045784405*c_0101_5^9 - 38386865732469546999516577/1650827289522867209156881*c_0101_5^8 + 509170279516104051204548342/8254136447614336045784405*c_0101_5^7 + 446945752341184966589054268/8254136447614336045784405*c_0101_5^6 - 45635350980005073881937527/8254136447614336045784405*c_0101_5^5 + 366769480169845620037130784/8254136447614336045784405*c_0101_5^4 - 29634392265089337534411693/8254136447614336045784405*c_0101_5^3 - 26582172163685332475180818/1650827289522867209156881*c_0101_5^2 + 45960005063480597864015172/8254136447614336045784405*c_0101_5 - 6770560806751051967794978/8254136447614336045784405, c_0101_4 - 3344959999740187357/516367622622104225573*c_0101_5^15 - 27284564421793317031/516367622622104225573*c_0101_5^14 + 40861272914757687779/516367622622104225573*c_0101_5^13 + 430909137757292917213/516367622622104225573*c_0101_5^12 - 259581686145063190597/516367622622104225573*c_0101_5^11 - 1274193155198038982050/516367622622104225573*c_0101_5^10 - 520292453069942472379/516367622622104225573*c_0101_5^9 - 664142694937652748038/516367622622104225573*c_0101_5^8 + 3821284543560161283776/516367622622104225573*c_0101_5^7 + 2821910904836310159935/516367622622104225573*c_0101_5^6 - 2278578408838546215582/516367622622104225573*c_0101_5^5 + 1569026586756271761284/516367622622104225573*c_0101_5^4 - 998017613407280468411/516367622622104225573*c_0101_5^3 - 1493863520766601098982/516367622622104225573*c_0101_5^2 + 258493229807158633816/516367622622104225573*c_0101_5 + 56523451558908251101/516367622622104225573, c_0101_5^16 + 8*c_0101_5^15 - 13*c_0101_5^14 - 123*c_0101_5^13 + 91*c_0101_5^12 + 309*c_0101_5^11 + 144*c_0101_5^10 + 313*c_0101_5^9 - 1077*c_0101_5^8 - 521*c_0101_5^7 + 265*c_0101_5^6 - 746*c_0101_5^5 + 262*c_0101_5^4 + 172*c_0101_5^3 - 147*c_0101_5^2 + 45*c_0101_5 - 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB