Magma V2.19-8 Tue Aug 20 2013 16:17:58 on localhost [Seed = 3987501355] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2195 geometric_solution 5.65204167 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1302 2031 0132 2310 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 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 2.164144799672 1.209059688910 0 2 3 0 3201 0132 0132 0132 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 -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.384268108612 0.804226607707 3 1 4 5 2310 0132 0132 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 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.135275281639 0.699619494253 6 5 2 1 0132 1023 3201 0132 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 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.135275281639 0.699619494253 6 5 6 2 3120 2103 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.436244793620 0.563240610960 3 4 2 6 1023 2103 0132 3012 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 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.985516449195 1.459415772511 3 4 5 4 0132 1230 1230 3120 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 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.436244793620 0.563240610960 ==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' : negation(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' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(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' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(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_4'], 'c_1100_5' : negation(d['c_1001_6']), 'c_1100_4' : negation(d['c_1001_6']), 's_3_6' : d['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' : negation(d['c_1001_6']), 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_2'], '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' : d['c_0011_3'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : d['c_0011_3'], 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0011_4'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0011_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_1, c_0011_3, c_0011_4, c_0101_1, c_0101_2, c_1001_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 1053316966173738092757/42108863067964564195*c_1001_6^18 - 3943823414822701245852/42108863067964564195*c_1001_6^17 + 24487163157699333207198/42108863067964564195*c_1001_6^16 - 82882724431632296368558/42108863067964564195*c_1001_6^15 + 6151309287166936201978/8421772613592912839*c_1001_6^14 + 153824819468173293946932/42108863067964564195*c_1001_6^13 - 133894171513017719940987/42108863067964564195*c_1001_6^12 - 246047373920198886996507/42108863067964564195*c_1001_6^11 + 40459533000833066529096/8421772613592912839*c_1001_6^10 + 299279944004708141156188/42108863067964564195*c_1001_6^9 - 147144792009544685344097/42108863067964564195*c_1001_6^8 - 287850976410865896630309/42108863067964564195*c_1001_6^7 + 27363556204506779293791/42108863067964564195*c_1001_6^6 + 179744927169641469137817/42108863067964564195*c_1001_6^5 + 72138665121004604976322/42108863067964564195*c_1001_6^4 - 55955846111295952197679/42108863067964564195*c_1001_6^3 - 53679612906856391368226/42108863067964564195*c_1001_6^2 + 1572941885036266478082/42108863067964564195*c_1001_6 + 12085899602505732203527/42108863067964564195, c_0011_0 - 1, c_0011_1 + 19392239096330933933/42108863067964564195*c_1001_6^18 + 87793376744772581562/42108863067964564195*c_1001_6^17 - 75727051723053870343/8421772613592912839*c_1001_6^16 + 248418884571288993858/8421772613592912839*c_1001_6^15 + 325359622687155796482/42108863067964564195*c_1001_6^14 - 2298843776511376605764/42108863067964564195*c_1001_6^13 + 557076433626518478352/42108863067964564195*c_1001_6^12 + 879141245580525210491/8421772613592912839*c_1001_6^11 + 455778644155539543593/42108863067964564195*c_1001_6^10 - 4679074366693590888866/42108863067964564195*c_1001_6^9 - 1673569884359247359521/42108863067964564195*c_1001_6^8 + 3312894086830348135807/42108863067964564195*c_1001_6^7 + 2815037761408138205671/42108863067964564195*c_1001_6^6 - 114704285939548036330/8421772613592912839*c_1001_6^5 - 2013073077884423595421/42108863067964564195*c_1001_6^4 - 902201678005069515314/42108863067964564195*c_1001_6^3 + 183228053755668145427/42108863067964564195*c_1001_6^2 + 50328939024317752811/8421772613592912839*c_1001_6 + 69675994446686271699/42108863067964564195, c_0011_3 - c_1001_6, c_0011_4 + 10225910182978063059/42108863067964564195*c_1001_6^18 + 55056119383842832759/42108863067964564195*c_1001_6^17 - 161381105578003075271/42108863067964564195*c_1001_6^16 + 477086954402354981766/42108863067964564195*c_1001_6^15 + 151845906546807918496/8421772613592912839*c_1001_6^14 - 1134940847306823621904/42108863067964564195*c_1001_6^13 - 854780288434553048051/42108863067964564195*c_1001_6^12 + 2910364260647845714469/42108863067964564195*c_1001_6^11 + 420957129138864260011/8421772613592912839*c_1001_6^10 - 2706421603724197416981/42108863067964564195*c_1001_6^9 - 2987617297576044879221/42108863067964564195*c_1001_6^8 + 1610196676024859436548/42108863067964564195*c_1001_6^7 + 3003743177941103000343/42108863067964564195*c_1001_6^6 + 479448185040518696976/42108863067964564195*c_1001_6^5 - 1548679151500340732659/42108863067964564195*c_1001_6^4 - 1161974811070299444822/42108863067964564195*c_1001_6^3 - 76677840319491019228/42108863067964564195*c_1001_6^2 + 262714472152354893846/42108863067964564195*c_1001_6 + 65481846281086439131/42108863067964564195, c_0101_1 + 1838172253677687644/8421772613592912839*c_1001_6^18 + 41610730754391022206/42108863067964564195*c_1001_6^17 - 179546281001892534312/42108863067964564195*c_1001_6^16 + 588739043788917354097/42108863067964564195*c_1001_6^15 + 158882275854708869778/42108863067964564195*c_1001_6^14 - 1106478844976764002314/42108863067964564195*c_1001_6^13 + 290364760677541650336/42108863067964564195*c_1001_6^12 + 2138377990803146011448/42108863067964564195*c_1001_6^11 + 63550540383548390952/42108863067964564195*c_1001_6^10 - 2133699974598885575551/42108863067964564195*c_1001_6^9 - 684632156072209673131/42108863067964564195*c_1001_6^8 + 1589913241964207072674/42108863067964564195*c_1001_6^7 + 230303349813446469689/8421772613592912839*c_1001_6^6 - 283547617178386779123/42108863067964564195*c_1001_6^5 - 817492385141402953982/42108863067964564195*c_1001_6^4 - 76448797500397524379/8421772613592912839*c_1001_6^3 + 50728995106355706412/42108863067964564195*c_1001_6^2 + 52492858933784136777/42108863067964564195*c_1001_6 + 22466280451588396528/42108863067964564195, c_0101_2 - 4275583206954925277/8421772613592912839*c_1001_6^18 - 108323866512651791541/42108863067964564195*c_1001_6^17 + 371365993647789976242/42108863067964564195*c_1001_6^16 - 1118341494400296758137/42108863067964564195*c_1001_6^15 - 1230598312181541700278/42108863067964564195*c_1001_6^14 + 2788006471049714899739/42108863067964564195*c_1001_6^13 + 706863884267733803614/42108863067964564195*c_1001_6^12 - 5997389727523242443518/42108863067964564195*c_1001_6^11 - 2525350804551577392207/42108863067964564195*c_1001_6^10 + 6186023080604689197261/42108863067964564195*c_1001_6^9 + 4113439757655067173501/42108863067964564195*c_1001_6^8 - 4123659009476040580189/42108863067964564195*c_1001_6^7 - 955464574175093775734/8421772613592912839*c_1001_6^6 + 147843952849815667428/42108863067964564195*c_1001_6^5 + 2924237728582625150332/42108863067964564195*c_1001_6^4 + 347661347774996090666/8421772613592912839*c_1001_6^3 - 134596486870862310957/42108863067964564195*c_1001_6^2 - 446492679238463823262/42108863067964564195*c_1001_6 - 96755930380553849728/42108863067964564195, c_1001_6^19 + 4*c_1001_6^18 - 22*c_1001_6^17 + 74*c_1001_6^16 - 15*c_1001_6^15 - 134*c_1001_6^14 + 92*c_1001_6^13 + 228*c_1001_6^12 - 115*c_1001_6^11 - 266*c_1001_6^10 + 55*c_1001_6^9 + 236*c_1001_6^8 + 39*c_1001_6^7 - 120*c_1001_6^6 - 86*c_1001_6^5 + 16*c_1001_6^4 + 39*c_1001_6^3 + 6*c_1001_6^2 - 6*c_1001_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB