Magma V2.19-8 Tue Aug 20 2013 16:16:19 on localhost [Seed = 391547892] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0581 geometric_solution 4.60020592 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 3 0132 0132 0132 2310 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 1 0 -1 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 1.288172915017 1.835881585522 0 2 4 2 0132 3012 0132 1302 0 0 0 0 0 0 0 0 -1 0 1 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.617447158250 0.762788114448 1 0 1 4 1230 0132 2031 0132 0 0 0 0 0 0 -1 1 1 0 0 -1 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 -1 0 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.617447158250 0.762788114448 0 5 5 0 3201 0132 3201 0132 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 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.208115489005 0.167305173473 6 6 2 1 0132 2310 0132 0132 0 0 0 0 0 1 -1 0 0 0 1 -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 1 -1 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.498502502946 0.568494887210 3 3 5 5 2310 0132 2031 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5.771162295627 2.407972491620 4 6 6 4 0132 3201 2310 3201 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.474654157320 1.047509052444 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : negation(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' : negation(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' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : d['c_0101_2'], 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0101_2'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0101_2'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_0']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_0']), 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0011_0'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_3, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 946788784287649360176028575848893214958806005/265760502031593685973\ 016762727039743926743616*c_0101_5^23 - 8079295919745625061284931040061432601989540683/26576050203159368597\ 3016762727039743926743616*c_0101_5^22 + 228739407324178248487211349838022593151412285/166100313769746053733\ 13547670439983995421476*c_0101_5^21 + 36049363066815338528039527732214283526780917753/6644012550789842149\ 3254190681759935981685904*c_0101_5^20 + 274780405856762745961186953046036536642739952207/265760502031593685\ 973016762727039743926743616*c_0101_5^19 - 69833224952724324391102100207407395687288485601/3322006275394921074\ 6627095340879967990842952*c_0101_5^18 - 1322514752468476747081931596991804561222320534987/13288025101579684\ 2986508381363519871963371808*c_0101_5^17 + 157773739250713551010205942397180228429891395945/132880251015796842\ 986508381363519871963371808*c_0101_5^16 + 4238666789517422111323148725127827983736743784429/13288025101579684\ 2986508381363519871963371808*c_0101_5^15 - 314085434905584660441771336023745679206801845259/265760502031593685\ 973016762727039743926743616*c_0101_5^14 - 12259931114119345749912629672690214959767384549835/2657605020315936\ 85973016762727039743926743616*c_0101_5^13 + 4690941307579451735564303820366362593394097219459/26576050203159368\ 5973016762727039743926743616*c_0101_5^12 + 2113722073200650068793986042496918629395112410851/66440125507898421\ 493254190681759935981685904*c_0101_5^11 - 7105603574751093655145494244353404850113609221953/26576050203159368\ 5973016762727039743926743616*c_0101_5^10 - 1725305269703105876629038592754779564214471926315/26576050203159368\ 5973016762727039743926743616*c_0101_5^9 + 39948679341110455011824145480997812502162044985/3640554822350598437\ 986530996260818409955392*c_0101_5^8 - 247698585577681860744715396969208050760461831369/132880251015796842\ 986508381363519871963371808*c_0101_5^7 - 431816590150271581313172432291595844875343384931/265760502031593685\ 973016762727039743926743616*c_0101_5^6 - 55814000625917563185650301526697937089818504779/1328802510157968429\ 86508381363519871963371808*c_0101_5^5 + 232722645125801767725435784289125592150382506797/265760502031593685\ 973016762727039743926743616*c_0101_5^4 - 39502175414814500470152484901290773626114242937/2657605020315936859\ 73016762727039743926743616*c_0101_5^3 - 14300283845542991171404802521591323082209961607/1328802510157968429\ 86508381363519871963371808*c_0101_5^2 + 12112649075850009633173485510423161896731572813/2657605020315936859\ 73016762727039743926743616*c_0101_5 + 4974531618658034707996228768287015725263790251/13288025101579684298\ 6508381363519871963371808, c_0011_0 - 1, c_0011_3 - 64342683664462105843039026910212239/121062568581156704181027\ 8307118464419*c_0101_5^23 - 553423807556811763003607662616610407/12\ 10625685811567041810278307118464419*c_0101_5^22 + 221480639786546607759026434844115161/121062568581156704181027830711\ 8464419*c_0101_5^21 + 9915917598635055741526170643098630011/1210625\ 685811567041810278307118464419*c_0101_5^20 + 19425134016554253725941887040418329256/1210625685811567041810278307\ 118464419*c_0101_5^19 - 38236763349851136258051833190769606046/1210\ 625685811567041810278307118464419*c_0101_5^18 - 187371042596852211267027655602550717087/121062568581156704181027830\ 7118464419*c_0101_5^17 + 10335893469739755007961689296006243997/121\ 0625685811567041810278307118464419*c_0101_5^16 + 611912761240428738402301443835796103281/121062568581156704181027830\ 7118464419*c_0101_5^15 + 55684428635602371829143437462450279985/121\ 0625685811567041810278307118464419*c_0101_5^14 - 913097910526946243995093355315679224646/121062568581156704181027830\ 7118464419*c_0101_5^13 + 148711676451692186517235819876110816543/12\ 10625685811567041810278307118464419*c_0101_5^12 + 680880363998864047382676355309536863788/121062568581156704181027830\ 7118464419*c_0101_5^11 - 350309143549698826167570549481417178437/12\ 10625685811567041810278307118464419*c_0101_5^10 - 223091888694550564288594145429656363860/121062568581156704181027830\ 7118464419*c_0101_5^9 + 175526003422580842692587317534511364656/121\ 0625685811567041810278307118464419*c_0101_5^8 + 8109345568420633587091378551911540397/12106256858115670418102783071\ 18464419*c_0101_5^7 - 26420223159960560083207846396734405260/121062\ 5685811567041810278307118464419*c_0101_5^6 + 3260706390585572707477208223365785582/12106256858115670418102783071\ 18464419*c_0101_5^5 + 7022469067236997208200800944440951543/1210625\ 685811567041810278307118464419*c_0101_5^4 + 1378885036076126143890506194775515248/12106256858115670418102783071\ 18464419*c_0101_5^3 - 2247858766570743326486219211572626996/1210625\ 685811567041810278307118464419*c_0101_5^2 + 2378295145916355592904045701211845653/12106256858115670418102783071\ 18464419*c_0101_5 + 260493989370442599777337648087781162/1210625685\ 811567041810278307118464419, c_0011_4 + 450098586867058705276584114578480830280919/41525078442436513\ 43328386917609995998855369*c_0101_5^23 + 3764160703261805007869410334516924309765939/41525078442436513433283\ 86917609995998855369*c_0101_5^22 - 2240170103333356143896364147643539044532241/41525078442436513433283\ 86917609995998855369*c_0101_5^21 - 67093746825765344225956723699843566308159406/4152507844243651343328\ 386917609995998855369*c_0101_5^20 - 120757111507544552116416732609888879456975076/415250784424365134332\ 8386917609995998855369*c_0101_5^19 + 265780449560102793535468028518824883338648175/415250784424365134332\ 8386917609995998855369*c_0101_5^18 + 1189657929435444449432036599763300284767064466/41525078442436513433\ 28386917609995998855369*c_0101_5^17 - 243827803546374927934525370246064664968060801/415250784424365134332\ 8386917609995998855369*c_0101_5^16 - 3679281071663185940935028233741813927945258045/41525078442436513433\ 28386917609995998855369*c_0101_5^15 + 438478016315346618735572196997148289395615339/415250784424365134332\ 8386917609995998855369*c_0101_5^14 + 4690911815781350433301306181544924235878255267/41525078442436513433\ 28386917609995998855369*c_0101_5^13 - 2099368688541654677782538468305160509431766548/41525078442436513433\ 28386917609995998855369*c_0101_5^12 - 2425642741399471166006469128599891707898438826/41525078442436513433\ 28386917609995998855369*c_0101_5^11 + 2244036354935320140087715276253546711678134172/41525078442436513433\ 28386917609995998855369*c_0101_5^10 + 364883659954525091481524458512681157086777754/415250784424365134332\ 8386917609995998855369*c_0101_5^9 - 7319074868230308995791855474453323599707761/56883669099228100593539\ 546816575287655553*c_0101_5^8 - 18447826345198430402355217324577600\ 9492798803/4152507844243651343328386917609995998855369*c_0101_5^7 + 262756732888042009541512471437509079429810738/415250784424365134332\ 8386917609995998855369*c_0101_5^6 + 62414330932458679993884581351108522028310323/4152507844243651343328\ 386917609995998855369*c_0101_5^5 - 114876353782276270942031557428841966136710501/415250784424365134332\ 8386917609995998855369*c_0101_5^4 + 14553763546507280218520087329980655518331806/4152507844243651343328\ 386917609995998855369*c_0101_5^3 + 7973378318663743612166562403864173953204437/41525078442436513433283\ 86917609995998855369*c_0101_5^2 + 289459882380696078079261313129487\ 8337185772/4152507844243651343328386917609995998855369*c_0101_5 - 3657675488624891643805461181244477846653452/41525078442436513433283\ 86917609995998855369, c_0101_0 - 5984742030335812129466032966647094/1210625685811567041810278\ 307118464419*c_0101_5^23 + 11816261050897126924485769082675341/1210\ 625685811567041810278307118464419*c_0101_5^22 + 534269130185835570542619153775438780/121062568581156704181027830711\ 8464419*c_0101_5^21 + 483861341809875281479405535156406963/12106256\ 85811567041810278307118464419*c_0101_5^20 - 7487288353308224519432988898562077851/12106256858115670418102783071\ 18464419*c_0101_5^19 - 18239699981641937146517458693935015589/12106\ 25685811567041810278307118464419*c_0101_5^18 + 22985697380253304302745192616032937034/1210625685811567041810278307\ 118464419*c_0101_5^17 + 156900576965523751891148514412585761044/121\ 0625685811567041810278307118464419*c_0101_5^16 - 13739190907158599027099676336494991917/1210625685811567041810278307\ 118464419*c_0101_5^15 - 481852483029052578364769100359023854392/121\ 0625685811567041810278307118464419*c_0101_5^14 + 100325823972196781196605063259087355594/121062568581156704181027830\ 7118464419*c_0101_5^13 + 581820650886367545593725925684050679397/12\ 10625685811567041810278307118464419*c_0101_5^12 - 395461201891960235415398495813628399212/121062568581156704181027830\ 7118464419*c_0101_5^11 - 180423172957277566556368079910754830001/12\ 10625685811567041810278307118464419*c_0101_5^10 + 346473806434538464307883212126936226213/121062568581156704181027830\ 7118464419*c_0101_5^9 - 100978568833194716334334053438374325939/121\ 0625685811567041810278307118464419*c_0101_5^8 - 5563751627955882292310054713043241865/12106256858115670418102783071\ 18464419*c_0101_5^7 + 16224808417993113440997703388310824260/121062\ 5685811567041810278307118464419*c_0101_5^6 - 14704028216677014720150485952600908458/1210625685811567041810278307\ 118464419*c_0101_5^5 + 8964063446852238545287638395260026704/121062\ 5685811567041810278307118464419*c_0101_5^4 - 6784167587170949041319970119365210771/12106256858115670418102783071\ 18464419*c_0101_5^3 + 441877594618271234897700283731951930/12106256\ 85811567041810278307118464419*c_0101_5^2 - 1829264842240688989560602469137369664/12106256858115670418102783071\ 18464419*c_0101_5 - 626594840269563106957571371033060465/1210625685\ 811567041810278307118464419, c_0101_1 + 274769637737899360950760120835358225940451/41525078442436513\ 43328386917609995998855369*c_0101_5^23 + 2258578440975600658289923111676104173949124/41525078442436513433283\ 86917609995998855369*c_0101_5^22 - 1647402547504001394372556997767587828966625/41525078442436513433283\ 86917609995998855369*c_0101_5^21 - 40340590062958852552194142573861978728999562/4152507844243651343328\ 386917609995998855369*c_0101_5^20 - 67982569562536184367686717278155503086693138/4152507844243651343328\ 386917609995998855369*c_0101_5^19 + 165530141157186679172537465217206595087245120/415250784424365134332\ 8386917609995998855369*c_0101_5^18 + 688052051178281722779034639184452915067897765/415250784424365134332\ 8386917609995998855369*c_0101_5^17 - 228663119309834306310582635110181127777544698/415250784424365134332\ 8386917609995998855369*c_0101_5^16 - 2092572999453202398673625181628530667500152329/41525078442436513433\ 28386917609995998855369*c_0101_5^15 + 595903189739520715374804438895179981964352473/415250784424365134332\ 8386917609995998855369*c_0101_5^14 + 2447426307818578401768830092243161742510585612/41525078442436513433\ 28386917609995998855369*c_0101_5^13 - 1703440266092736627485856722656016702269219752/41525078442436513433\ 28386917609995998855369*c_0101_5^12 - 815412019910469647301141553766262820729270965/415250784424365134332\ 8386917609995998855369*c_0101_5^11 + 1348136552719525738602239329606376522026947837/41525078442436513433\ 28386917609995998855369*c_0101_5^10 - 316942081289995629800356662932803793330104015/415250784424365134332\ 8386917609995998855369*c_0101_5^9 - 190097311446776863688020079160672289052093/568836690992281005935395\ 46816575287655553*c_0101_5^8 + 605840069865606769278953761494768892\ 19939871/4152507844243651343328386917609995998855369*c_0101_5^7 + 4403209383459341905977714165329342564733672/41525078442436513433283\ 86917609995998855369*c_0101_5^6 + 211478970844662426481567060699979\ 03842621661/4152507844243651343328386917609995998855369*c_0101_5^5 - 1345338768043494886867234179126035129310395/41525078442436513433283\ 86917609995998855369*c_0101_5^4 + 147429168459968467052788365035100\ 96493683052/4152507844243651343328386917609995998855369*c_0101_5^3 - 7041082100656397216898397312796923030412561/41525078442436513433283\ 86917609995998855369*c_0101_5^2 + 661075716866192340781727989397367\ 488686684/4152507844243651343328386917609995998855369*c_0101_5 - 1461672672255024400018805678347633410388451/41525078442436513433283\ 86917609995998855369, c_0101_2 + 298002696043559270231916810170707491841667/41525078442436513\ 43328386917609995998855369*c_0101_5^23 + 2862624229707472920053511251601989347728244/41525078442436513433283\ 86917609995998855369*c_0101_5^22 + 1534079333739384191461725384807010833198422/41525078442436513433283\ 86917609995998855369*c_0101_5^21 - 46896636114371003924361318106765256846378469/4152507844243651343328\ 386917609995998855369*c_0101_5^20 - 134368871831931660965476232868679146370818822/415250784424365134332\ 8386917609995998855369*c_0101_5^19 + 88664731229040339282876442169740731290033266/4152507844243651343328\ 386917609995998855369*c_0101_5^18 + 1021129588883896747241865225607978279467031800/41525078442436513433\ 28386917609995998855369*c_0101_5^17 + 753195561712312890323128690641915285194739741/415250784424365134332\ 8386917609995998855369*c_0101_5^16 - 2829502125803013065203293642647425575827325926/41525078442436513433\ 28386917609995998855369*c_0101_5^15 - 2550675240833095154787592269068917263291133023/41525078442436513433\ 28386917609995998855369*c_0101_5^14 + 4180137577944063445466707199368104458129487757/41525078442436513433\ 28386917609995998855369*c_0101_5^13 + 1946328660659364378422952729266301128258236733/41525078442436513433\ 28386917609995998855369*c_0101_5^12 - 4398829785848243167242197934618682102764285547/41525078442436513433\ 28386917609995998855369*c_0101_5^11 + 551950536445276860641110615342597428994691230/415250784424365134332\ 8386917609995998855369*c_0101_5^10 + 2592216195497139108245653247257296101026079465/41525078442436513433\ 28386917609995998855369*c_0101_5^9 - 14368655332583780366005649225746821956078626/5688366909922810059353\ 9546816575287655553*c_0101_5^8 - 3105687121707674305963259452679632\ 94983477313/4152507844243651343328386917609995998855369*c_0101_5^7 + 339119812731711366678044935581924788405052288/415250784424365134332\ 8386917609995998855369*c_0101_5^6 + 8571600147992867814487786978790567889750341/41525078442436513433283\ 86917609995998855369*c_0101_5^5 - 287071326173634993907903793974257\ 75927230183/4152507844243651343328386917609995998855369*c_0101_5^4 - 37083435062979762922263136800278708188240984/4152507844243651343328\ 386917609995998855369*c_0101_5^3 + 10821839768900426293116229620489320289370573/4152507844243651343328\ 386917609995998855369*c_0101_5^2 - 4063070324526908700081720027555316270750172/41525078442436513433283\ 86917609995998855369*c_0101_5 - 45861467295202700552341833107692369\ 28705278/4152507844243651343328386917609995998855369, c_0101_5^24 + 8*c_0101_5^23 - 8*c_0101_5^22 - 147*c_0101_5^21 - 213*c_0101_5^20 + 685*c_0101_5^19 + 2403*c_0101_5^18 - 1530*c_0101_5^17 - 7850*c_0101_5^16 + 4311*c_0101_5^15 + 9816*c_0101_5^14 - 9581*c_0101_5^13 - 3158*c_0101_5^12 + 8132*c_0101_5^11 - 2162*c_0101_5^10 - 1541*c_0101_5^9 + 918*c_0101_5^8 + 198*c_0101_5^7 - 63*c_0101_5^6 - 156*c_0101_5^5 + 80*c_0101_5^4 + 2*c_0101_5^3 - 16*c_0101_5^2 - 3*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB