Magma V2.19-8 Tue Aug 20 2013 16:16:28 on localhost [Seed = 3431813162] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0751 geometric_solution 4.69551629 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 3201 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1.337868716044 0.943370656301 0 0 3 2 2310 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 1 -1 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.125313456457 0.351485842297 3 3 1 4 1230 1023 0132 0132 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 0 0 0 -1 0 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.448802331745 1.114678741393 2 2 4 1 1023 3012 3201 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 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.448802331745 1.114678741393 3 5 2 5 2310 0132 0132 1023 0 0 0 0 0 -1 1 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 -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.938689827023 1.228816646218 6 4 6 4 0132 0132 1023 1023 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 0 0 0 0 0 0 0 0.574451209386 0.340046721856 5 6 5 6 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.577487100477 0.083092314232 ==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' : negation(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' : negation(d['1']), 's_1_0' : negation(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' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_2'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : 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_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0011_2']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : negation(d['c_0101_0']), 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_2'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_6'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_1'], '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_4, c_0101_0, c_0101_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 59829973016704799567226642577/639213807897160112417240153*c_0101_6^\ 20 - 323429847437150404614950997783/639213807897160112417240153*c_0\ 101_6^19 + 1181061914194117548773749916444/639213807897160112417240\ 153*c_0101_6^18 + 4348762771263968848445689492330/63921380789716011\ 2417240153*c_0101_6^17 - 12268189246596221222865173483053/639213807\ 897160112417240153*c_0101_6^16 - 3966778641116336075896873964812/91\ 316258271022873202462879*c_0101_6^15 + 66007373486101232573098451656092/639213807897160112417240153*c_0101\ _6^14 + 118726252793603406203264856138639/6392138078971601124172401\ 53*c_0101_6^13 - 153844023239238814638391834388907/6392138078971601\ 12417240153*c_0101_6^12 - 312731800346822393156711860103302/6392138\ 07897160112417240153*c_0101_6^11 + 52585342897626838315419607578313/639213807897160112417240153*c_0101\ _6^10 + 336192902054581309656177677254069/6392138078971601124172401\ 53*c_0101_6^9 + 26742306084436528069903453733686/913162582710228732\ 02462879*c_0101_6^8 - 7009936589107461879241767487182/6392138078971\ 60112417240153*c_0101_6^7 - 62378843486168938080334921070297/639213\ 807897160112417240153*c_0101_6^6 - 44234594554858105319630203634350/639213807897160112417240153*c_0101\ _6^5 - 10945484967841785874343547987252/639213807897160112417240153\ *c_0101_6^4 - 824137272098050653226848277566/6392138078971601124172\ 40153*c_0101_6^3 - 204659934574902244081618627285/63921380789716011\ 2417240153*c_0101_6^2 + 1699737350066194518630371985903/63921380789\ 7160112417240153*c_0101_6 + 755950541473166193875856427613/63921380\ 7897160112417240153, c_0011_0 - 1, c_0011_2 + 90738861556764543278035627/91316258271022873202462879*c_0101\ _6^20 + 467887618854852388324481887/91316258271022873202462879*c_01\ 01_6^19 - 1896852867599934982258569969/91316258271022873202462879*c\ _0101_6^18 - 6073021238055386277804617090/9131625827102287320246287\ 9*c_0101_6^17 + 19853996955963043753647186270/913162582710228732024\ 62879*c_0101_6^16 + 36601252136025364526779953708/91316258271022873\ 202462879*c_0101_6^15 - 106393783095344437969605436677/913162582710\ 22873202462879*c_0101_6^14 - 151002275781748676450807357593/9131625\ 8271022873202462879*c_0101_6^13 + 255938576719382416350840198285/91\ 316258271022873202462879*c_0101_6^12 + 402440605998889531533763477882/91316258271022873202462879*c_0101_6^\ 11 - 141927215068817589458435376147/91316258271022873202462879*c_01\ 01_6^10 - 451732828777405022673732150507/91316258271022873202462879\ *c_0101_6^9 - 207236650373159988094647855611/9131625827102287320246\ 2879*c_0101_6^8 + 30698899861906928976770511944/9131625827102287320\ 2462879*c_0101_6^7 + 85109104629824921787500568814/9131625827102287\ 3202462879*c_0101_6^6 + 52733305401236031140032321638/9131625827102\ 2873202462879*c_0101_6^5 + 10657911329762818880304527973/9131625827\ 1022873202462879*c_0101_6^4 + 1126416416366176769015360353/91316258\ 271022873202462879*c_0101_6^3 - 259502190703686576396104219/9131625\ 8271022873202462879*c_0101_6^2 - 2335128279218155160992906208/91316\ 258271022873202462879*c_0101_6 - 836530655155743545585506914/913162\ 58271022873202462879, c_0011_4 - 77651931321771335316362013/91316258271022873202462879*c_0101\ _6^20 - 393268338930630894596277487/91316258271022873202462879*c_01\ 01_6^19 + 1648518835900679474547093322/91316258271022873202462879*c\ _0101_6^18 + 5006274170164731966168260607/9131625827102287320246287\ 9*c_0101_6^17 - 17163425608787860321029729222/913162582710228732024\ 62879*c_0101_6^16 - 29463389887275930307415686246/91316258271022873\ 202462879*c_0101_6^15 + 90986388239465772665262985290/9131625827102\ 2873202462879*c_0101_6^14 + 120716178101292714038434593045/91316258\ 271022873202462879*c_0101_6^13 - 217520080280842834548999704173/913\ 16258271022873202462879*c_0101_6^12 - 325098675243488895961569098187/91316258271022873202462879*c_0101_6^\ 11 + 122858436911393730663862778826/91316258271022873202462879*c_01\ 01_6^10 + 368443503666056239265512176091/91316258271022873202462879\ *c_0101_6^9 + 169645338842742477882177829077/9131625827102287320246\ 2879*c_0101_6^8 - 24737215053973421964503552526/9131625827102287320\ 2462879*c_0101_6^7 - 70900706024388742145295044450/9131625827102287\ 3202462879*c_0101_6^6 - 43341402211401456395844181751/9131625827102\ 2873202462879*c_0101_6^5 - 8803767888130200606577643833/91316258271\ 022873202462879*c_0101_6^4 - 833434381737557935601584492/9131625827\ 1022873202462879*c_0101_6^3 + 476772082413160228818124780/913162582\ 71022873202462879*c_0101_6^2 + 1914351283435307620932812504/9131625\ 8271022873202462879*c_0101_6 + 707516005318794876300014473/91316258\ 271022873202462879, c_0101_0 + 124375451192093946313816773/91316258271022873202462879*c_010\ 1_6^20 + 704430551139019463077609628/91316258271022873202462879*c_0\ 101_6^19 - 2310366898436512700598296236/91316258271022873202462879*\ c_0101_6^18 - 9803026493926597773002483793/913162582710228732024628\ 79*c_0101_6^17 + 23845375579330685993701698740/91316258271022873202\ 462879*c_0101_6^16 + 65776929602262004911802700014/9131625827102287\ 3202462879*c_0101_6^15 - 129387900609399456474591393997/91316258271\ 022873202462879*c_0101_6^14 - 289211780941955696411360972166/913162\ 58271022873202462879*c_0101_6^13 + 292969067214875800287650091559/91316258271022873202462879*c_0101_6^\ 12 + 757128698673258351694448584629/91316258271022873202462879*c_01\ 01_6^11 - 32946503664178523803097746923/91316258271022873202462879*\ c_0101_6^10 - 796848711426515552513795327730/9131625827102287320246\ 2879*c_0101_6^9 - 490759741675561072223716783370/913162582710228732\ 02462879*c_0101_6^8 + 3698255074757058521520751647/9131625827102287\ 3202462879*c_0101_6^7 + 149930247833583828810544860436/913162582710\ 22873202462879*c_0101_6^6 + 112010333856099597865246149547/91316258\ 271022873202462879*c_0101_6^5 + 30320194584166836868535232307/91316\ 258271022873202462879*c_0101_6^4 + 1240246843374786742811284693/91316258271022873202462879*c_0101_6^3 + 841283199197187129997202962/91316258271022873202462879*c_0101_6^2 - 4165831895418978945374874101/91316258271022873202462879*c_0101_6 - 2206657555195953305067193093/91316258271022873202462879, c_0101_1 - 58461330611284167040095975/91316258271022873202462879*c_0101\ _6^20 - 332532955466744487573758767/91316258271022873202462879*c_01\ 01_6^19 + 1077980920826191297003573811/91316258271022873202462879*c\ _0101_6^18 + 4633042152353684210041098618/9131625827102287320246287\ 9*c_0101_6^17 - 11098195200899960615559838943/913162582710228732024\ 62879*c_0101_6^16 - 31140419970895682719475954630/91316258271022873\ 202462879*c_0101_6^15 + 59970054124003003363769471795/9131625827102\ 2873202462879*c_0101_6^14 + 137082343049602043195103827852/91316258\ 271022873202462879*c_0101_6^13 - 133233939147981519797280403414/913\ 16258271022873202462879*c_0101_6^12 - 358868569254200447070112623688/91316258271022873202462879*c_0101_6^\ 11 + 2584827807806405856095592779/91316258271022873202462879*c_0101\ _6^10 + 376149307524838865926786856193/91316258271022873202462879*c\ _0101_6^9 + 245815259906819968864311512362/913162582710228732024628\ 79*c_0101_6^8 + 3218789589574847660026148405/9131625827102287320246\ 2879*c_0101_6^7 - 74050050645431659481137359119/9131625827102287320\ 2462879*c_0101_6^6 - 56338067132229518828948855782/9131625827102287\ 3202462879*c_0101_6^5 - 15919008104983386991138198260/9131625827102\ 2873202462879*c_0101_6^4 - 93314154357532216988955152/9131625827102\ 2873202462879*c_0101_6^3 - 167818331225077378750798570/913162582710\ 22873202462879*c_0101_6^2 + 1937874960746478834848019776/9131625827\ 1022873202462879*c_0101_6 + 1167183773349340246874131991/9131625827\ 1022873202462879, c_0101_5 + 39913692559408370647084933/91316258271022873202462879*c_0101\ _6^20 + 243585455330708739418970085/91316258271022873202462879*c_01\ 01_6^19 - 658236681014653046165197763/91316258271022873202462879*c_\ 0101_6^18 - 3549522037971284228369646451/91316258271022873202462879\ *c_0101_6^17 + 6635801477051500339208017079/91316258271022873202462\ 879*c_0101_6^16 + 25450162569097367482246242798/9131625827102287320\ 2462879*c_0101_6^15 - 36229862031780396638248636674/913162582710228\ 73202462879*c_0101_6^14 - 116315869616709129438642821491/9131625827\ 1022873202462879*c_0101_6^13 + 75144630534469561912629769708/913162\ 58271022873202462879*c_0101_6^12 + 303017465408638786338042815527/91316258271022873202462879*c_0101_6^\ 11 + 39783095794292531976074689043/91316258271022873202462879*c_010\ 1_6^10 - 308626720313495299858870295540/91316258271022873202462879*\ c_0101_6^9 - 220449404146146701399539921714/91316258271022873202462\ 879*c_0101_6^8 - 10067955122942548605036531171/91316258271022873202\ 462879*c_0101_6^7 + 59191473081395020846067124357/91316258271022873\ 202462879*c_0101_6^6 + 49126510696815129166564558178/91316258271022\ 873202462879*c_0101_6^5 + 14647015451724816809046085785/91316258271\ 022873202462879*c_0101_6^4 + 38985015590495227260296424/91316258271\ 022873202462879*c_0101_6^3 + 534957350700394405270094671/9131625827\ 1022873202462879*c_0101_6^2 - 1702784954512521503125007576/91316258\ 271022873202462879*c_0101_6 - 1046004533050423190931622308/91316258\ 271022873202462879, c_0101_6^21 + 5*c_0101_6^20 - 22*c_0101_6^19 - 65*c_0101_6^18 + 236*c_0101_6^17 + 385*c_0101_6^16 - 1307*c_0101_6^15 - 1560*c_0101_6^14 + 3460*c_0101_6^13 + 4275*c_0101_6^12 - 3211*c_0101_6^11 - 5507*c_0101_6^10 - 679*c_0101_6^9 + 1674*c_0101_6^8 + 1067*c_0101_6^7 + 279*c_0101_6^6 - 164*c_0101_6^5 - 86*c_0101_6^4 - 3*c_0101_6^3 - 31*c_0101_6^2 - c_0101_6 + 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB