Magma V2.19-8 Tue Aug 20 2013 16:19:09 on localhost [Seed = 779072341] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3284 geometric_solution 6.40820865 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 3 0132 0132 2031 0132 0 0 0 0 0 0 -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.588342503673 0.529913942420 0 4 2 0 0132 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 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 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.061588378677 0.845217537002 5 0 5 1 0132 0132 1023 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.833776313821 1.586323918536 5 6 0 6 3120 0132 0132 2310 0 0 0 0 0 0 -1 1 0 0 0 0 -1 0 0 1 0 -1 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.011069991302 0.832088355817 5 1 6 6 1023 0132 0321 2103 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.015985695285 1.201582778443 2 4 2 3 0132 1023 1023 3120 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.130583597138 0.679573587938 3 3 4 4 3201 0132 0321 2103 0 0 0 0 0 0 0 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 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.592048301783 0.498151025514 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(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_2_6' : d['1'], 's_1_6' : negation(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' : 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_6' : d['c_0011_3'], 'c_1100_5' : negation(d['c_0101_1']), 'c_1100_4' : negation(d['c_0110_6']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_0'], 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : d['c_0101_1'], 'c_0101_6' : negation(d['c_0101_2']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_3']), '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_1001_5' : d['c_0101_2'], 'c_1001_4' : d['c_0011_3'], 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0101_5']), 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0110_6']), 'c_1010_2' : negation(d['c_0101_0']), 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : d['c_0101_5']})} 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_3, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 2536795404625676480179/45444513345803137026048*c_0110_6^17 - 9306035060720229804127/15148171115267712342016*c_0110_6^16 - 147341315492433755435513/45444513345803137026048*c_0110_6^15 - 167906638110117212795771/15148171115267712342016*c_0110_6^14 - 49217779918750907303727/2164024445038244620288*c_0110_6^13 - 948897441600916609453399/45444513345803137026048*c_0110_6^12 + 3640650767205759110173141/45444513345803137026048*c_0110_6^11 + 7858856919141818756658293/45444513345803137026048*c_0110_6^10 + 2428251858939530449315535/7574085557633856171008*c_0110_6^9 + 62243671016923921293401/202877291722335433152*c_0110_6^8 + 688984144467744597746927/5680564168225392128256*c_0110_6^7 - 972140758929267275635907/2840282084112696064128*c_0110_6^6 - 641295052234751383800545/1420141042056348032064*c_0110_6^5 - 33652159124309966651627/101438645861167716576*c_0110_6^4 - 42656903932176350924279/355035260514087008016*c_0110_6^3 + 18401646056639107280513/177517630257043504008*c_0110_6^2 + 29758746229942950782197/88758815128521752004*c_0110_6 + 4998406302155588511382/22189703782130438001, c_0011_0 - 1, c_0011_3 + 12369168709/76871989230592*c_0110_6^17 + 16460479593/9608998653824*c_0110_6^16 + 652287354311/76871989230592*c_0110_6^15 + 1014888749189/38435994615296*c_0110_6^14 + 3373793504779/76871989230592*c_0110_6^13 + 55343901299/9608998653824*c_0110_6^12 - 23154410929383/76871989230592*c_0110_6^11 - 16371601913787/38435994615296*c_0110_6^10 - 936856180849/2402249663456*c_0110_6^9 - 5609280952413/19217997307648*c_0110_6^8 + 3728619028667/4804499326912*c_0110_6^7 + 3057814580569/2402249663456*c_0110_6^6 + 1290930544189/2402249663456*c_0110_6^5 - 429167094227/1201124831728*c_0110_6^4 - 29907572599/75070301983*c_0110_6^3 - 124083172715/300281207932*c_0110_6^2 - 92267158205/150140603966*c_0110_6 + 44826564720/75070301983, c_0101_0 + 562593592089506505/2164024445038244620288*c_0110_6^17 + 73881947156965623/33812881953722572192*c_0110_6^16 + 18328234413594920319/2164024445038244620288*c_0110_6^15 + 22238375584849958115/1082012222519122310144*c_0110_6^14 + 25021332352970824467/2164024445038244620288*c_0110_6^13 - 27894850160976362645/541006111259561155072*c_0110_6^12 - 869965384571330569439/2164024445038244620288*c_0110_6^11 + 313811242794230057655/1082012222519122310144*c_0110_6^10 - 341384200857570063167/541006111259561155072*c_0110_6^9 + 71928144673553228471/67625763907445144384*c_0110_6^8 - 28994545354577886095/67625763907445144384*c_0110_6^7 + 92503979457059016363/67625763907445144384*c_0110_6^6 - 85218193121174342635/33812881953722572192*c_0110_6^5 + 6453927444430592675/8453220488430643048*c_0110_6^4 - 1159250276418308370/1056652561053830381*c_0110_6^3 + 4291630594323825697/4226610244215321524*c_0110_6^2 - 1601928903674775257/2113305122107660762*c_0110_6 + 1437995212332953698/1056652561053830381, c_0101_1 - 1, c_0101_2 + 447039855543783169/2164024445038244620288*c_0110_6^17 + 1260225608884765727/541006111259561155072*c_0110_6^16 + 27344823404278632995/2164024445038244620288*c_0110_6^15 + 47995446431072950341/1082012222519122310144*c_0110_6^14 + 206081092468556140967/2164024445038244620288*c_0110_6^13 + 26855936478150327307/270503055629780577536*c_0110_6^12 - 602991063464761435779/2164024445038244620288*c_0110_6^11 - 775604797675674489923/1082012222519122310144*c_0110_6^10 - 365044937566411746659/270503055629780577536*c_0110_6^9 - 343490315335884386311/270503055629780577536*c_0110_6^8 - 136708806272219226917/135251527814890288768*c_0110_6^7 + 38652230196741152631/33812881953722572192*c_0110_6^6 + 1655746214188243901/1056652561053830381*c_0110_6^5 + 25041811750963423703/16906440976861286096*c_0110_6^4 + 3376695554766370783/4226610244215321524*c_0110_6^3 + 2309424390945561535/4226610244215321524*c_0110_6^2 - 876364957776962166/1056652561053830381*c_0110_6 - 1302181103202310625/1056652561053830381, c_0101_5 + 221660904872094791/541006111259561155072*c_0110_6^17 + 1154171469730017345/270503055629780577536*c_0110_6^16 + 11543046881861080035/541006111259561155072*c_0110_6^15 + 18812263345863541587/270503055629780577536*c_0110_6^14 + 70618965420394575743/541006111259561155072*c_0110_6^13 + 6289627889629308039/67625763907445144384*c_0110_6^12 - 328065055816231662295/541006111259561155072*c_0110_6^11 - 238261419961943666269/270503055629780577536*c_0110_6^10 - 530184301778338690107/270503055629780577536*c_0110_6^9 - 411075365136002376415/270503055629780577536*c_0110_6^8 - 49707662213620956519/135251527814890288768*c_0110_6^7 + 161136854837641814463/67625763907445144384*c_0110_6^6 + 36258053478200527709/16906440976861286096*c_0110_6^5 + 9299333913176910111/4226610244215321524*c_0110_6^4 + 3068118792881160207/4226610244215321524*c_0110_6^3 - 3743059311118092039/4226610244215321524*c_0110_6^2 - 2108066515759570471/1056652561053830381*c_0110_6 - 440337637541394276/1056652561053830381, c_0110_6^18 + 10*c_0110_6^17 + 47*c_0110_6^16 + 140*c_0110_6^15 + 207*c_0110_6^14 - 38*c_0110_6^13 - 1815*c_0110_6^12 - 1656*c_0110_6^11 - 2600*c_0110_6^10 + 296*c_0110_6^9 + 3424*c_0110_6^8 + 8320*c_0110_6^7 + 1920*c_0110_6^6 - 2304*c_0110_6^5 - 3840*c_0110_6^4 - 4096*c_0110_6^3 - 4096*c_0110_6^2 + 2048*c_0110_6 + 4096 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.240 seconds, Total memory usage: 32.09MB