Magma V2.19-8 Tue Aug 20 2013 16:19:25 on localhost [Seed = 1528481380] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3523 geometric_solution 6.82708011 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 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 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.316393140398 0.734121023645 3 2 4 0 0132 3012 0132 0132 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 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.812566646934 1.106178041481 1 3 0 5 1230 0132 0132 0132 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 -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.812566646934 1.106178041481 1 2 6 6 0132 0132 0132 2310 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 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.622483777430 0.539786721745 5 5 6 1 1023 3012 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.489539808862 0.881225119390 4 4 2 6 1230 1023 0132 3012 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.489539808862 0.881225119390 3 4 5 3 3201 1230 1230 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 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.835295545621 0.687410184724 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_0' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : negation(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' : negation(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' : negation(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' : negation(d['c_1001_6']), 'c_1100_4' : negation(d['c_1001_6']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_1001_6']), 'c_1100_0' : negation(d['c_1001_6']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_1001_6']), 'c_0101_6' : negation(d['c_0101_1']), 'c_0101_5' : d['c_0011_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : d['c_0101_4'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(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_1, c_0011_4, c_0101_0, c_0101_1, c_0101_4, c_1001_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 11514498291749227845847218336437538/8523519545617943458622088160716\ 209*c_1001_6^18 - 150861892718686781382484864740786988/852351954561\ 7943458622088160716209*c_1001_6^17 - 762130051203579906699485806214781268/852351954561794345862208816071\ 6209*c_1001_6^16 - 1746481145185700004728809959461515799/8523519545\ 617943458622088160716209*c_1001_6^15 - 859682667508516605137257260977356776/852351954561794345862208816071\ 6209*c_1001_6^14 + 5256435554162337671506053159641526649/8523519545\ 617943458622088160716209*c_1001_6^13 + 12982032915164549724446411412904570173/8523519545617943458622088160\ 716209*c_1001_6^12 + 1732782269922168712922412343551597746/85235195\ 45617943458622088160716209*c_1001_6^11 - 40033610671666015886614336538846437024/8523519545617943458622088160\ 716209*c_1001_6^10 - 26350580843396987629898957869677967936/8523519\ 545617943458622088160716209*c_1001_6^9 + 93137743379977372435881448890648689346/8523519545617943458622088160\ 716209*c_1001_6^8 + 30345030282287874121155016350432673025/85235195\ 45617943458622088160716209*c_1001_6^7 - 145904552279854021798336280477769943541/852351954561794345862208816\ 0716209*c_1001_6^6 + 16295729445123890230747721872098692849/8523519\ 545617943458622088160716209*c_1001_6^5 + 129894113102881503837177636684472065088/852351954561794345862208816\ 0716209*c_1001_6^4 - 71119793057625402800663335631316006945/8523519\ 545617943458622088160716209*c_1001_6^3 - 20976799674178165015183700861154828004/8523519545617943458622088160\ 716209*c_1001_6^2 + 19731902180265136877190158269877266572/85235195\ 45617943458622088160716209*c_1001_6 - 1730158821506732415179192681724862465/85235195456179434586220881607\ 16209, c_0011_0 - 1, c_0011_1 - 149436182292957919853952553805951/70193690375677181423946608\ 38236878*c_1001_6^18 - 1012152146002454087249277204075510/350968451\ 8783859071197330419118439*c_1001_6^17 - 1545187596445307894530325558562755/10027670053668168774849515483195\ 54*c_1001_6^16 - 1988433569097978693835229621642187/501383502683408\ 438742475774159777*c_1001_6^15 - 2562695175469527413876211641753684\ 9/7019369037567718142394660838236878*c_1001_6^14 + 50677140830554625136274365001599631/7019369037567718142394660838236\ 878*c_1001_6^13 + 182551842585297987057644294152276557/701936903756\ 7718142394660838236878*c_1001_6^12 + 53263919264215177930600501816370873/3509684518783859071197330419118\ 439*c_1001_6^11 - 219910207853331942323890745169547633/350968451878\ 3859071197330419118439*c_1001_6^10 - 249578230634348978510215711725721082/350968451878385907119733041911\ 8439*c_1001_6^9 + 936979060539218762412844053308520933/701936903756\ 7718142394660838236878*c_1001_6^8 + 49796899397911166809493638153323703/5013835026834084387424757741597\ 77*c_1001_6^7 - 1491762114808753553545444833388411131/7019369037567\ 718142394660838236878*c_1001_6^6 - 281372711034565004449186853513528215/701936903756771814239466083823\ 6878*c_1001_6^5 + 1407613083941036828765246830114246493/70193690375\ 67718142394660838236878*c_1001_6^4 - 213224620125120295336660872729757839/350968451878385907119733041911\ 8439*c_1001_6^3 - 306697525351931809620790844328531207/701936903756\ 7718142394660838236878*c_1001_6^2 + 9429896462801577181508981069153558/50138350268340843874247577415977\ 7*c_1001_6 + 579455049814936066435785545147223/70193690375677181423\ 94660838236878, c_0011_4 + 123245454023984575341527685411961/70193690375677181423946608\ 38236878*c_1001_6^18 + 828541797055803868933748728501375/3509684518\ 783859071197330419118439*c_1001_6^17 + 1249128358173361063921879570015643/10027670053668168774849515483195\ 54*c_1001_6^16 + 1567078745867303293806828030101276/501383502683408\ 438742475774159777*c_1001_6^15 + 1809930218768232184806024629760344\ 3/7019369037567718142394660838236878*c_1001_6^14 - 46248404827268238266694354225205589/7019369037567718142394660838236\ 878*c_1001_6^13 - 150511557075399725993034645973618409/701936903756\ 7718142394660838236878*c_1001_6^12 - 37735957300374110333703113288495052/3509684518783859071197330419118\ 439*c_1001_6^11 + 188261850796754253126826002509919280/350968451878\ 3859071197330419118439*c_1001_6^10 + 192713071676844550962838227902581936/350968451878385907119733041911\ 8439*c_1001_6^9 - 821751813408033749859376856348162145/701936903756\ 7718142394660838236878*c_1001_6^8 - 37226269349030059986710960961974987/5013835026834084387424757741597\ 77*c_1001_6^7 + 1310092986237907928288058220500895379/7019369037567\ 718142394660838236878*c_1001_6^6 + 144624519158389253064829669901543335/701936903756771814239466083823\ 6878*c_1001_6^5 - 1216433126989472521400067158021064987/70193690375\ 67718142394660838236878*c_1001_6^4 + 224695021300118770006577226461898303/350968451878385907119733041911\ 8439*c_1001_6^3 + 247281533067699991979765703635666639/701936903756\ 7718142394660838236878*c_1001_6^2 - 10240510496149378829124331585309915/5013835026834084387424757741597\ 77*c_1001_6 + 9683062392592157603227721730942779/701936903756771814\ 2394660838236878, c_0101_0 + 534812377620282808954317/83223554572345757447294431*c_1001_6\ ^18 + 7110167676786933990721313/83223554572345757447294431*c_1001_6\ ^17 + 5282944411936061049735225/11889079224620822492470633*c_1001_6\ ^16 + 13031542120996876646583979/11889079224620822492470633*c_1001_\ 6^15 + 74425095525643097368862411/83223554572345757447294431*c_1001\ _6^14 - 180731053179055566490098274/83223554572345757447294431*c_10\ 01_6^13 - 571002529823170755586850313/83223554572345757447294431*c_\ 1001_6^12 - 212898974018124687616234461/83223554572345757447294431*\ c_1001_6^11 + 1568800705990634342537470799/832235545723457574472944\ 31*c_1001_6^10 + 1241718028197791686284328596/832235545723457574472\ 94431*c_1001_6^9 - 3679934145413171515660578771/8322355457234575744\ 7294431*c_1001_6^8 - 182693106394596710760998536/118890792246208224\ 92470633*c_1001_6^7 + 5752845442362313583520057949/8322355457234575\ 7447294431*c_1001_6^6 - 824407269969304978939613864/832235545723457\ 57447294431*c_1001_6^5 - 4928166281296976391077660318/8322355457234\ 5757447294431*c_1001_6^4 + 3163873125280416243983720125/83223554572\ 345757447294431*c_1001_6^3 + 410718759529226878558326877/8322355457\ 2345757447294431*c_1001_6^2 - 114005725410069349404131810/118890792\ 24620822492470633*c_1001_6 + 108825909924926709966302946/8322355457\ 2345757447294431, c_0101_1 - 47312667701338528278250519721149/701936903756771814239466083\ 8236878*c_1001_6^18 - 318235345768013027105235465125535/35096845187\ 83859071197330419118439*c_1001_6^17 - 480805370858707181246251360579835/100276700536681687748495154831955\ 4*c_1001_6^16 - 607614998077284789592584558456924/50138350268340843\ 8742475774159777*c_1001_6^15 - 7336115064693071692035819153076417/7\ 019369037567718142394660838236878*c_1001_6^14 + 16832007278209432449558355469816091/7019369037567718142394660838236\ 878*c_1001_6^13 + 56972253386839435200072646410651109/7019369037567\ 718142394660838236878*c_1001_6^12 + 15253045475700425350705833903670771/3509684518783859071197330419118\ 439*c_1001_6^11 - 69702769875044258475519739843541285/3509684518783\ 859071197330419118439*c_1001_6^10 - 73080985786332799111312445318930754/3509684518783859071197330419118\ 439*c_1001_6^9 + 300807910721507698388391175909857511/7019369037567\ 718142394660838236878*c_1001_6^8 + 13204088780376380100137163680110094/5013835026834084387424757741597\ 77*c_1001_6^7 - 478746067288740668842792106273970671/70193690375677\ 18142394660838236878*c_1001_6^6 - 378668741318642888045268418905296\ 37/7019369037567718142394660838236878*c_1001_6^5 + 431674378144379980765246807941304435/701936903756771814239466083823\ 6878*c_1001_6^4 - 89635441136743853512442498098079972/3509684518783\ 859071197330419118439*c_1001_6^3 - 62649985236581657264445901160189129/7019369037567718142394660838236\ 878*c_1001_6^2 + 3255713215513519713190020289529656/501383502683408\ 438742475774159777*c_1001_6 - 6353971951994144968405591596797775/70\ 19369037567718142394660838236878, c_0101_4 + 47312667701338528278250519721149/701936903756771814239466083\ 8236878*c_1001_6^18 + 318235345768013027105235465125535/35096845187\ 83859071197330419118439*c_1001_6^17 + 480805370858707181246251360579835/100276700536681687748495154831955\ 4*c_1001_6^16 + 607614998077284789592584558456924/50138350268340843\ 8742475774159777*c_1001_6^15 + 7336115064693071692035819153076417/7\ 019369037567718142394660838236878*c_1001_6^14 - 16832007278209432449558355469816091/7019369037567718142394660838236\ 878*c_1001_6^13 - 56972253386839435200072646410651109/7019369037567\ 718142394660838236878*c_1001_6^12 - 15253045475700425350705833903670771/3509684518783859071197330419118\ 439*c_1001_6^11 + 69702769875044258475519739843541285/3509684518783\ 859071197330419118439*c_1001_6^10 + 73080985786332799111312445318930754/3509684518783859071197330419118\ 439*c_1001_6^9 - 300807910721507698388391175909857511/7019369037567\ 718142394660838236878*c_1001_6^8 - 13204088780376380100137163680110094/5013835026834084387424757741597\ 77*c_1001_6^7 + 478746067288740668842792106273970671/70193690375677\ 18142394660838236878*c_1001_6^6 + 378668741318642888045268418905296\ 37/7019369037567718142394660838236878*c_1001_6^5 - 431674378144379980765246807941304435/701936903756771814239466083823\ 6878*c_1001_6^4 + 89635441136743853512442498098079972/3509684518783\ 859071197330419118439*c_1001_6^3 + 62649985236581657264445901160189129/7019369037567718142394660838236\ 878*c_1001_6^2 - 3255713215513519713190020289529656/501383502683408\ 438742475774159777*c_1001_6 + 6353971951994144968405591596797775/70\ 19369037567718142394660838236878, c_1001_6^19 + 13*c_1001_6^18 + 65*c_1001_6^17 + 147*c_1001_6^16 + 71*c_1001_6^15 - 430*c_1001_6^14 - 1036*c_1001_6^13 - 59*c_1001_6^12 + 3300*c_1001_6^11 + 1718*c_1001_6^10 - 8019*c_1001_6^9 - 1151*c_1001_6^8 + 12405*c_1001_6^7 - 3690*c_1001_6^6 - 10244*c_1001_6^5 + 8107*c_1001_6^4 + 267*c_1001_6^3 - 2003*c_1001_6^2 + 559*c_1001_6 - 17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.220 seconds, Total memory usage: 32.09MB