Magma V2.19-8 Tue Aug 20 2013 16:18:38 on localhost [Seed = 2614757034] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2816 geometric_solution 6.04187298 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 2 0 0132 1302 0132 2031 0 0 0 0 0 0 1 -1 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 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.920031036023 0.935737224559 0 3 5 4 0132 0132 0132 0132 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 -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.265155150598 0.799453440828 4 5 3 0 3201 3201 3201 0132 0 0 0 0 0 1 0 -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 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.265155150598 0.799453440828 2 1 3 3 2310 0132 2031 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 -1 1 0 0 -1 1 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.583559786051 0.500404290016 6 6 1 2 0132 3201 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 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.540213734386 0.931084878212 5 5 2 1 1230 3012 2310 0132 0 0 0 0 0 -1 0 1 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 -1 0 1 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.149963399309 1.300849018120 4 6 4 6 0132 2310 2310 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.481026757189 0.835218917180 ==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_4'], 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0101_3'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0101_2']), 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_5'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : d['c_0011_5'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_5'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : negation(d['c_0101_0']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0011_5'], 'c_1010_1' : 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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_4, c_0011_5, c_0101_0, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 59633298648291127109536/8556610724820981459*c_0101_3^19 + 221088146145555715963556/8556610724820981459*c_0101_3^18 - 177247468919720982394814/2852203574940327153*c_0101_3^17 + 321789676653263693776361/8556610724820981459*c_0101_3^16 + 53065936994452199656298/658200824986229343*c_0101_3^15 - 1169693936564484898543393/8556610724820981459*c_0101_3^14 - 14222139136615484396902/2852203574940327153*c_0101_3^13 + 3265855592288652197333950/8556610724820981459*c_0101_3^12 + 1849328847064637038539128/8556610724820981459*c_0101_3^11 - 8160866360715235717353343/8556610724820981459*c_0101_3^10 - 9180726319319717949047804/8556610724820981459*c_0101_3^9 + 3207243813331683245994830/8556610724820981459*c_0101_3^8 + 4699706619370211370751306/2852203574940327153*c_0101_3^7 + 1314742412191713932089444/2852203574940327153*c_0101_3^6 - 2462536113866992679290534/8556610724820981459*c_0101_3^5 - 4999908989326898585156471/8556610724820981459*c_0101_3^4 - 18784545330490676027189/45273072618100431*c_0101_3^3 + 1917715656151449656611463/2852203574940327153*c_0101_3^2 - 1963890336091424087267275/8556610724820981459*c_0101_3 + 207868977254056169937320/8556610724820981459, c_0011_0 - 1, c_0011_2 + 363523933373658689/1875216025601793*c_0101_3^19 - 1344446875582788367/1875216025601793*c_0101_3^18 + 1076684820390027208/625072008533931*c_0101_3^17 - 1935023839021672741/1875216025601793*c_0101_3^16 - 4216378347795109924/1875216025601793*c_0101_3^15 + 7088605464739195298/1875216025601793*c_0101_3^14 + 105372072934634648/625072008533931*c_0101_3^13 - 19893505631990709176/1875216025601793*c_0101_3^12 - 11450929313655973858/1875216025601793*c_0101_3^11 + 49602932209015949978/1875216025601793*c_0101_3^10 + 56385122874600798715/1875216025601793*c_0101_3^9 - 18941873479530717010/1875216025601793*c_0101_3^8 - 28661162826367870073/625072008533931*c_0101_3^7 - 8278548973599817655/625072008533931*c_0101_3^6 + 14608046312842291976/1875216025601793*c_0101_3^5 + 4360969968511120120/267888003657399*c_0101_3^4 + 115995391794175174/9921777913237*c_0101_3^3 - 11602051313030286079/625072008533931*c_0101_3^2 + 11706194664214397540/1875216025601793*c_0101_3 - 1214814409222584337/1875216025601793, c_0011_4 - 560484227488605047/1875216025601793*c_0101_3^19 + 2074464157802627362/1875216025601793*c_0101_3^18 - 1661638541238350455/625072008533931*c_0101_3^17 + 2994143828612528803/1875216025601793*c_0101_3^16 + 6500038568469689641/1875216025601793*c_0101_3^15 - 10949047840556739908/1875216025601793*c_0101_3^14 - 156665045664339560/625072008533931*c_0101_3^13 + 30687038878477023221/1875216025601793*c_0101_3^12 + 17577059817705533926/1875216025601793*c_0101_3^11 - 76582281144686921852/1875216025601793*c_0101_3^10 - 86782544222651322091/1875216025601793*c_0101_3^9 + 29563890142320553543/1875216025601793*c_0101_3^8 + 44239138529553045482/625072008533931*c_0101_3^7 + 12660901221128191898/625072008533931*c_0101_3^6 - 22854629249987699141/1875216025601793*c_0101_3^5 - 6742805174895529687/267888003657399*c_0101_3^4 - 178455815248113773/9921777913237*c_0101_3^3 + 17940151291440867154/625072008533931*c_0101_3^2 - 18100622787736867430/1875216025601793*c_0101_3 + 1875221235167642650/1875216025601793, c_0011_5 + 294237819071378566/1875216025601793*c_0101_3^19 - 1089412238679592157/1875216025601793*c_0101_3^18 + 872889180404690591/625072008533931*c_0101_3^17 - 1576155692014173701/1875216025601793*c_0101_3^16 - 3408184756053043676/1875216025601793*c_0101_3^15 + 5752317166666579996/1875216025601793*c_0101_3^14 + 78561072416420908/625072008533931*c_0101_3^13 - 16107634890307030429/1875216025601793*c_0101_3^12 - 9202950075362334881/1875216025601793*c_0101_3^11 + 40199938918586479954/1875216025601793*c_0101_3^10 + 45482471879920140515/1875216025601793*c_0101_3^9 - 15552710313983126735/1875216025601793*c_0101_3^8 - 23191488444366897976/625072008533931*c_0101_3^7 - 6601380062855070538/625072008533931*c_0101_3^6 + 11970266493855352570/1875216025601793*c_0101_3^5 + 3526625329062938009/267888003657399*c_0101_3^4 + 93282585167785615/9921777913237*c_0101_3^3 - 9423129538140491534/625072008533931*c_0101_3^2 + 9569173477582185913/1875216025601793*c_0101_3 - 999288107455621358/1875216025601793, c_0101_0 - 500255152348538245/1875216025601793*c_0101_3^19 + 1851268733254185860/1875216025601793*c_0101_3^18 - 1482835467694739996/625072008533931*c_0101_3^17 + 2670847424420400263/1875216025601793*c_0101_3^16 + 5800959947450260793/1875216025601793*c_0101_3^15 - 9768789929743819096/1875216025601793*c_0101_3^14 - 140499779359079092/625072008533931*c_0101_3^13 + 27385727507108002996/1875216025601793*c_0101_3^12 + 15701202548890881839/1875216025601793*c_0101_3^11 - 68330008648711111066/1875216025601793*c_0101_3^10 - 77478258792719209346/1875216025601793*c_0101_3^9 + 26315643659901657065/1875216025601793*c_0101_3^8 + 39469782547448700847/625072008533931*c_0101_3^7 + 11315262203364852394/625072008533931*c_0101_3^6 - 20320641531355337068/1875216025601793*c_0101_3^5 - 6011958761714778086/267888003657399*c_0101_3^4 - 159301351336824083/9921777913237*c_0101_3^3 + 16000984431858360959/625072008533931*c_0101_3^2 - 16156810863808261684/1875216025601793*c_0101_3 + 1676675478320401982/1875216025601793, c_0101_2 + 48996950341978/504497182029*c_0101_3^19 - 180447236949356/504497182029*c_0101_3^18 + 144245931023526/168165727343*c_0101_3^17 - 254733932293301/504497182029*c_0101_3^16 - 570729644031323/504497182029*c_0101_3^15 + 945843414249175/504497182029*c_0101_3^14 + 18347946104829/168165727343*c_0101_3^13 - 2677332839689909/504497182029*c_0101_3^12 - 1584189907781336/504497182029*c_0101_3^11 + 6650984882105959/504497182029*c_0101_3^10 + 7695441422904809/504497182029*c_0101_3^9 - 2409547010016527/504497182029*c_0101_3^8 - 3864262691241786/168165727343*c_0101_3^7 - 1176948609715798/168165727343*c_0101_3^6 + 1868327567570521/504497182029*c_0101_3^5 + 4120822946731679/504497182029*c_0101_3^4 + 1007330756169600/168165727343*c_0101_3^3 - 1542203248950996/168165727343*c_0101_3^2 + 1521460794966787/504497182029*c_0101_3 - 154306290885356/504497182029, c_0101_3^20 - 4*c_0101_3^19 + 10*c_0101_3^18 - 8*c_0101_3^17 - 10*c_0101_3^16 + 23*c_0101_3^15 - 5*c_0101_3^14 - 55*c_0101_3^13 - 15*c_0101_3^12 + 146*c_0101_3^11 + 114*c_0101_3^10 - 99*c_0101_3^9 - 221*c_0101_3^8 + 3*c_0101_3^7 + 61*c_0101_3^6 + 72*c_0101_3^5 + 35*c_0101_3^4 - 114*c_0101_3^3 + 61*c_0101_3^2 - 13*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB