Magma V2.19-8 Tue Aug 20 2013 16:19:22 on localhost [Seed = 2294879629] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3473 geometric_solution 6.69384851 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 3201 0132 0132 0 0 0 0 0 -1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.498676862812 0.595661764212 0 4 0 2 0132 0132 2310 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.173680456485 0.987025855415 4 3 1 0 0213 3012 2031 0132 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 0 0 0 0.745125744517 0.871179179393 2 5 0 6 1230 0132 0132 0132 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 -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.794994138410 0.834793033647 2 1 6 5 0213 0132 3012 1230 0 0 0 0 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 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 0.277444811949 1.129767678059 4 3 5 5 3012 0132 2031 1302 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 0 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 0 0 0 0 0 0 0.430954949828 0.586150777797 6 4 3 6 3012 1230 0132 1230 0 0 0 0 0 0 0 0 0 0 1 -1 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 -1 1 -1 0 0 1 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.109342858699 0.790861353865 ==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_2_6' : 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_0011_6'], 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : d['c_0110_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0011_6'], 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : d['c_0011_6'], 'c_0101_6' : d['c_0011_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_2'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_3'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], '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' : negation(d['c_0110_5']), 'c_1001_4' : negation(d['c_0011_6']), 'c_1001_6' : negation(d['c_0110_5']), 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0011_3'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_2'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : d['c_0011_2'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_6']), 'c_1010_0' : negation(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_2, c_0011_3, c_0011_6, c_0101_1, c_0101_5, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 1332924035389510/12112502078893*c_0110_5^16 + 2889163568514552/12112502078893*c_0110_5^15 + 15143832410678355/12112502078893*c_0110_5^14 + 42522640795535940/12112502078893*c_0110_5^13 + 73757232884188867/12112502078893*c_0110_5^12 + 201603984949126372/12112502078893*c_0110_5^11 + 187101961893569816/12112502078893*c_0110_5^10 + 400582881214537498/12112502078893*c_0110_5^9 + 98200196774886445/12112502078893*c_0110_5^8 + 363666660156421661/12112502078893*c_0110_5^7 - 156288947512535571/12112502078893*c_0110_5^6 + 225628370532766710/12112502078893*c_0110_5^5 - 167771883677605984/12112502078893*c_0110_5^4 + 117837001225862721/12112502078893*c_0110_5^3 - 56315712940680034/12112502078893*c_0110_5^2 + 28224877674954315/12112502078893*c_0110_5 - 8719373117247835/12112502078893, c_0011_0 - 1, c_0011_2 - 3646560857890/12112502078893*c_0110_5^16 - 6110779094128/12112502078893*c_0110_5^15 - 37205076977136/12112502078893*c_0110_5^14 - 96002554005721/12112502078893*c_0110_5^13 - 142670119334793/12112502078893*c_0110_5^12 - 450832130106920/12112502078893*c_0110_5^11 - 249271723777932/12112502078893*c_0110_5^10 - 842783062210903/12112502078893*c_0110_5^9 + 190344391593079/12112502078893*c_0110_5^8 - 898752509542273/12112502078893*c_0110_5^7 + 693953573421673/12112502078893*c_0110_5^6 - 837339111986229/12112502078893*c_0110_5^5 + 539241173612256/12112502078893*c_0110_5^4 - 429458396874238/12112502078893*c_0110_5^3 + 192195240715749/12112502078893*c_0110_5^2 - 70330170406640/12112502078893*c_0110_5 + 18700834653495/12112502078893, c_0011_3 + 2283347585406/12112502078893*c_0110_5^16 + 8879124626842/12112502078893*c_0110_5^15 + 30864705279810/12112502078893*c_0110_5^14 + 107735853762564/12112502078893*c_0110_5^13 + 208807173648003/12112502078893*c_0110_5^12 + 431008621521426/12112502078893*c_0110_5^11 + 677701846801694/12112502078893*c_0110_5^10 + 657176831589109/12112502078893*c_0110_5^9 + 667105676874501/12112502078893*c_0110_5^8 - 132806750658213/12112502078893*c_0110_5^7 + 252176785567077/12112502078893*c_0110_5^6 - 677330161241588/12112502078893*c_0110_5^5 + 395657290111659/12112502078893*c_0110_5^4 - 377980397096382/12112502078893*c_0110_5^3 + 220043078821484/12112502078893*c_0110_5^2 - 95157994499502/12112502078893*c_0110_5 + 12820988263837/12112502078893, c_0011_6 + 2056357493697/12112502078893*c_0110_5^16 + 7109012096887/12112502078893*c_0110_5^15 + 29584080366741/12112502078893*c_0110_5^14 + 95226367518313/12112502078893*c_0110_5^13 + 200319068233344/12112502078893*c_0110_5^12 + 456083386898648/12112502078893*c_0110_5^11 + 667334199188984/12112502078893*c_0110_5^10 + 981910919387168/12112502078893*c_0110_5^9 + 800953386526211/12112502078893*c_0110_5^8 + 699864580731767/12112502078893*c_0110_5^7 + 145813903535463/12112502078893*c_0110_5^6 + 87293641148252/12112502078893*c_0110_5^5 - 122581359154554/12112502078893*c_0110_5^4 + 56538325456208/12112502078893*c_0110_5^3 - 31623935553198/12112502078893*c_0110_5^2 + 43095448372316/12112502078893*c_0110_5 - 18053329398946/12112502078893, c_0101_1 - 1, c_0101_5 + 1134738513769/12112502078893*c_0110_5^16 + 3684634139194/12112502078893*c_0110_5^15 + 14329531030758/12112502078893*c_0110_5^14 + 46298964046563/12112502078893*c_0110_5^13 + 85756160506526/12112502078893*c_0110_5^12 + 188350515299658/12112502078893*c_0110_5^11 + 243791093059779/12112502078893*c_0110_5^10 + 278144607966276/12112502078893*c_0110_5^9 + 133255153862143/12112502078893*c_0110_5^8 - 68476713052322/12112502078893*c_0110_5^7 - 140337014946916/12112502078893*c_0110_5^6 - 255854163093637/12112502078893*c_0110_5^5 - 1960997226735/12112502078893*c_0110_5^4 - 101295774199140/12112502078893*c_0110_5^3 + 48293898613984/12112502078893*c_0110_5^2 - 27607594845783/12112502078893*c_0110_5 + 2436746379646/12112502078893, c_0110_5^17 + 2*c_0110_5^16 + 11*c_0110_5^15 + 30*c_0110_5^14 + 50*c_0110_5^13 + 142*c_0110_5^12 + 115*c_0110_5^11 + 277*c_0110_5^10 + 23*c_0110_5^9 + 260*c_0110_5^8 - 164*c_0110_5^7 + 188*c_0110_5^6 - 155*c_0110_5^5 + 109*c_0110_5^4 - 57*c_0110_5^3 + 28*c_0110_5^2 - 10*c_0110_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB