Magma V2.19-8 Tue Aug 20 2013 16:15:50 on localhost [Seed = 2134827860] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0068 geometric_solution 3.62371598 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 3201 2310 3201 0 0 0 0 0 1 -1 0 0 0 0 0 0 1 0 -1 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 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.761474357233 0.029403812525 0 0 2 2 0132 2310 2310 0132 0 0 0 0 0 1 -1 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.716908816593 0.132792526350 3 1 1 3 0132 3201 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.263819612851 0.125222016335 2 4 5 2 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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 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 1.305269009695 1.008121103584 6 3 5 5 0132 0132 1302 3201 0 0 0 0 0 0 -1 1 0 0 -1 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 -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.003264180176 0.509621565337 4 4 6 3 2031 2310 2310 0132 0 0 0 0 0 0 0 0 1 0 -1 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 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.003264180176 0.509621565337 4 5 6 6 0132 3201 2031 1302 0 0 0 0 0 0 -1 1 0 0 -1 1 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.003264180176 0.509621565337 ==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' : 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' : negation(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' : d['1'], 's_1_0' : d['1'], 's_0_6' : 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_0101_6'], 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0011_5']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0101_0']})} 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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 1782916064750659717992171/43585691720185403339824*c_0101_6^16 - 373438859056879031056847/5448211465023175417478*c_0101_6^15 + 16804150994641109583519939/43585691720185403339824*c_0101_6^14 - 75203523930441179578842155/43585691720185403339824*c_0101_6^13 + 44282065319495684447432409/21792845860092701669912*c_0101_6^12 - 21704070632273927961662819/3352745516937338718448*c_0101_6^11 + 222676638760484882367466117/43585691720185403339824*c_0101_6^10 - 528841146690665606040753065/43585691720185403339824*c_0101_6^9 + 373017493093780141465740575/43585691720185403339824*c_0101_6^8 - 637776994110462793063020543/43585691720185403339824*c_0101_6^7 + 457824123580734517788452499/43585691720185403339824*c_0101_6^6 - 19358459548936957772746141/1676372758468669359224*c_0101_6^5 + 49019915454288542766838451/6226527388597914762832*c_0101_6^4 - 36580413525697996227846899/6226527388597914762832*c_0101_6^3 + 154588503363098915982562623/43585691720185403339824*c_0101_6^2 - 61484138526160015655774025/43585691720185403339824*c_0101_6 + 7683910354358730546975341/21792845860092701669912, c_0011_0 - 1, c_0011_2 - 137131280373719399673/778315923574739345354*c_0101_6^16 - 192059830087743379022/389157961787369672677*c_0101_6^15 + 974158824530107276675/778315923574739345354*c_0101_6^14 - 4418493474786974350585/778315923574739345354*c_0101_6^13 + 437497736250044411329/389157961787369672677*c_0101_6^12 - 1284856663180481411689/59870455659595334258*c_0101_6^11 - 1926226600723030002568/389157961787369672677*c_0101_6^10 - 31462428351739069489339/778315923574739345354*c_0101_6^9 - 8684242006362126115989/778315923574739345354*c_0101_6^8 - 18059445632211774220127/389157961787369672677*c_0101_6^7 - 7462592816737201365101/778315923574739345354*c_0101_6^6 - 1798450799742038477301/59870455659595334258*c_0101_6^5 - 1686292231457521098752/389157961787369672677*c_0101_6^4 - 10193712572820159134145/778315923574739345354*c_0101_6^3 - 489636098673488676896/389157961787369672677*c_0101_6^2 - 214563169812667930074/389157961787369672677*c_0101_6 - 257157719183994904715/778315923574739345354, c_0011_5 - 5040586871399113719/389157961787369672677*c_0101_6^16 - 59788778747267625553/778315923574739345354*c_0101_6^15 + 21069002120233697088/389157961787369672677*c_0101_6^14 + 58602222606773513969/778315923574739345354*c_0101_6^13 - 696652399916528285169/389157961787369672677*c_0101_6^12 + 35273177467292931535/29935227829797667129*c_0101_6^11 - 4591635683717716953327/778315923574739345354*c_0101_6^10 + 1775519405504052510183/389157961787369672677*c_0101_6^9 - 5921849861949571377137/778315923574739345354*c_0101_6^8 + 3541378685459662991458/389157961787369672677*c_0101_6^7 - 1976825104209426463586/389157961787369672677*c_0101_6^6 + 698361679825238846783/59870455659595334258*c_0101_6^5 - 1160709760787821107343/778315923574739345354*c_0101_6^4 + 2692517839896294371373/389157961787369672677*c_0101_6^3 - 94508529367342995279/389157961787369672677*c_0101_6^2 + 1264222565547840229271/778315923574739345354*c_0101_6 + 113948633141851431447/778315923574739345354, c_0101_0 - 210213736784487119223/778315923574739345354*c_0101_6^16 - 553328151875392254663/778315923574739345354*c_0101_6^15 + 800986478177976895418/389157961787369672677*c_0101_6^14 - 6987865827857124598679/778315923574739345354*c_0101_6^13 + 2463101487704806181201/778315923574739345354*c_0101_6^12 - 985498509200063243209/29935227829797667129*c_0101_6^11 - 720880161671203957790/389157961787369672677*c_0101_6^10 - 45695053693498120671555/778315923574739345354*c_0101_6^9 - 2148453033983953764544/389157961787369672677*c_0101_6^8 - 25002990956581577757344/389157961787369672677*c_0101_6^7 - 2084347193003170453807/778315923574739345354*c_0101_6^6 - 1199926525698317364814/29935227829797667129*c_0101_6^5 - 470704928703664795684/389157961787369672677*c_0101_6^4 - 12613697385229560424213/778315923574739345354*c_0101_6^3 - 1193375460464023240453/778315923574739345354*c_0101_6^2 - 68543126801500414121/778315923574739345354*c_0101_6 - 245059826407932195223/389157961787369672677, c_0101_1 - 47175105066759682539/778315923574739345354*c_0101_6^16 - 89587717754789030746/389157961787369672677*c_0101_6^15 + 156402446589628116637/778315923574739345354*c_0101_6^14 - 1329536488277681623503/778315923574739345354*c_0101_6^13 - 456995035259388594218/389157961787369672677*c_0101_6^12 - 524577297422120653661/59870455659595334258*c_0101_6^11 - 3481999708309340469995/389157961787369672677*c_0101_6^10 - 18127558192004066506977/778315923574739345354*c_0101_6^9 - 15240539731297732365051/778315923574739345354*c_0101_6^8 - 12688533750064910055806/389157961787369672677*c_0101_6^7 - 16159866831533573289447/778315923574739345354*c_0101_6^6 - 1419820877906816711347/59870455659595334258*c_0101_6^5 - 3915263398182839861949/389157961787369672677*c_0101_6^4 - 6319929009802757017233/778315923574739345354*c_0101_6^3 - 653397499307098219107/389157961787369672677*c_0101_6^2 - 161357418176100366418/389157961787369672677*c_0101_6 - 691849410477867253687/778315923574739345354, c_0101_3 + 52072474466936733279/389157961787369672677*c_0101_6^16 + 159891453716258354492/389157961787369672677*c_0101_6^15 - 298197455646250951958/389157961787369672677*c_0101_6^14 + 3377044010510875658435/778315923574739345354*c_0101_6^13 - 188867420153319921407/778315923574739345354*c_0101_6^12 + 1083715443535366737709/59870455659595334258*c_0101_6^11 + 7740557327154347521471/778315923574739345354*c_0101_6^10 + 29961348827933622582637/778315923574739345354*c_0101_6^9 + 9740908134845444318002/389157961787369672677*c_0101_6^8 + 18514760970536135603627/389157961787369672677*c_0101_6^7 + 10674626280575513375706/389157961787369672677*c_0101_6^6 + 955038470488857398139/29935227829797667129*c_0101_6^5 + 5943219073136956678740/389157961787369672677*c_0101_6^4 + 7151630839681468779427/778315923574739345354*c_0101_6^3 + 1596274037556351709115/389157961787369672677*c_0101_6^2 + 78218206676038388371/778315923574739345354*c_0101_6 + 157319395809477522531/389157961787369672677, c_0101_6^17 + 7/3*c_0101_6^16 - 8*c_0101_6^15 + 110/3*c_0101_6^14 - 74/3*c_0101_6^13 + 138*c_0101_6^12 - 94/3*c_0101_6^11 + 261*c_0101_6^10 - 101/3*c_0101_6^9 + 923/3*c_0101_6^8 - 149/3*c_0101_6^7 + 652/3*c_0101_6^6 - 128/3*c_0101_6^5 + 280/3*c_0101_6^4 - 59/3*c_0101_6^3 + 37/3*c_0101_6^2 + 2*c_0101_6 + 1/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB