Magma V2.19-8 Tue Aug 20 2013 16:15:50 on localhost [Seed = 2513701311] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0059 geometric_solution 3.61946139 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.143011073837 0.160195451387 0 1 1 0 0132 3201 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.681679890344 0.025443146399 0 3 3 0 3201 0132 1023 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 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.935540448793 0.555405653363 4 2 2 4 0132 0132 1023 3201 0 0 0 0 0 0 0 0 1 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 -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 -0.113935510844 0.212204482939 3 3 6 5 0132 2310 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 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 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.095283685015 1.975943074144 6 6 4 6 1023 2031 0132 1302 0 0 0 0 0 0 0 0 0 0 -1 1 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 1 -1 -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.499202633684 0.507825291758 5 5 5 4 1302 1023 2031 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 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.499202633684 0.507825291758 ==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' : negation(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' : 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' : negation(d['c_0011_5']), 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : d['c_0011_5'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], '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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 52258875550584682204495293052316053638246/2604732340175688146532643\ 7308425549621319*c_0101_4^21 - 637116358094646857282502190242461541\ 262735/26047323401756881465326437308425549621319*c_0101_4^20 - 5115670559199294350096693859710069057792131/26047323401756881465326\ 437308425549621319*c_0101_4^19 - 2033806218833641615913303849465236\ 1778606242/26047323401756881465326437308425549621319*c_0101_4^18 + 15253778798559255538919245253101889972890966/2604732340175688146532\ 6437308425549621319*c_0101_4^17 + 192178501408398802502458780387969\ 704496336718/26047323401756881465326437308425549621319*c_0101_4^16 - 56852566897176800522048164414654644191865014/2604732340175688146532\ 6437308425549621319*c_0101_4^15 - 101114936596967301647941175926866\ 6623719141528/26047323401756881465326437308425549621319*c_0101_4^14 + 473836052227114704743577044817959940580246494/2604732340175688146\ 5326437308425549621319*c_0101_4^13 + 2976742276985798666656492718552557455916980334/26047323401756881465\ 326437308425549621319*c_0101_4^12 - 1562115360300633286461930137948806209318962261/26047323401756881465\ 326437308425549621319*c_0101_4^11 - 4844281474499854120322195739423735566402599375/26047323401756881465\ 326437308425549621319*c_0101_4^10 + 2036902100112804331537466029447418144458016723/26047323401756881465\ 326437308425549621319*c_0101_4^9 + 4627339713739174836345515117928781749999285043/26047323401756881465\ 326437308425549621319*c_0101_4^8 - 692852308712499947899519176109381819658766240/260473234017568814653\ 26437308425549621319*c_0101_4^7 - 274267049726000869061190242446227\ 7038662109716/26047323401756881465326437308425549621319*c_0101_4^6 - 721346373229495685063405281366973514373335977/260473234017568814653\ 26437308425549621319*c_0101_4^5 + 913666632348444697404897097908388\ 479214403282/26047323401756881465326437308425549621319*c_0101_4^4 + 686616440660618398092210752901183102151706648/260473234017568814653\ 26437308425549621319*c_0101_4^3 - 608377885962321322190256098301334\ 95860201767/26047323401756881465326437308425549621319*c_0101_4^2 - 167066318525654281203831961550109894155636223/260473234017568814653\ 26437308425549621319*c_0101_4 - 37056157888211597225768681650274690\ 650889996/26047323401756881465326437308425549621319, c_0011_0 - 1, c_0011_2 - 834981238323097313507694673551353898268/26047323401756881465\ 326437308425549621319*c_0101_4^21 - 5659110119953817397936493704982079329346/26047323401756881465326437\ 308425549621319*c_0101_4^20 - 5210400286418779703089073321580203774\ 8000/26047323401756881465326437308425549621319*c_0101_4^19 - 53891162965330141322508902880701547506518/2604732340175688146532643\ 7308425549621319*c_0101_4^18 + 444187664203048388595111403883486207\ 889516/26047323401756881465326437308425549621319*c_0101_4^17 + 338466228339296217681705545916939014121571/260473234017568814653264\ 37308425549621319*c_0101_4^16 - 24760707573748181841193435428269385\ 76536448/26047323401756881465326437308425549621319*c_0101_4^15 - 75266765415056085493668483641580899379374/2604732340175688146532643\ 7308425549621319*c_0101_4^14 + 669941981971677956115104876845669550\ 7082350/26047323401756881465326437308425549621319*c_0101_4^13 - 1641888907648017550647733197333163493787760/26047323401756881465326\ 437308425549621319*c_0101_4^12 - 8299635084479875803545075852570129\ 812109053/26047323401756881465326437308425549621319*c_0101_4^11 + 1385160922322400112485910214777737148112592/26047323401756881465326\ 437308425549621319*c_0101_4^10 + 4943168629316021792897074137552548\ 261862900/26047323401756881465326437308425549621319*c_0101_4^9 + 1853035699016584421330270807336384293446355/26047323401756881465326\ 437308425549621319*c_0101_4^8 - 16557812266632690656354705923263307\ 94273166/26047323401756881465326437308425549621319*c_0101_4^7 - 2258937175742228188858569607800218536030868/26047323401756881465326\ 437308425549621319*c_0101_4^6 + 10359672220297141040054852575333284\ 4174867/26047323401756881465326437308425549621319*c_0101_4^5 + 454878244183960349243833973481356192447604/260473234017568814653264\ 37308425549621319*c_0101_4^4 + 224689436861454350108830364078298307\ 565016/26047323401756881465326437308425549621319*c_0101_4^3 + 60955391010049406182741809710924515299294/2604732340175688146532643\ 7308425549621319*c_0101_4^2 - 3672416891487963002240452659845398364\ 077/26047323401756881465326437308425549621319*c_0101_4 + 8549614905488639510842605559960984651043/26047323401756881465326437\ 308425549621319, c_0011_5 + 2710114455455471112773008756035835039062/2604732340175688146\ 5326437308425549621319*c_0101_4^21 + 17428168842869375036344740090804382386132/2604732340175688146532643\ 7308425549621319*c_0101_4^20 + 160415977456658121073187320270269511\ 122962/26047323401756881465326437308425549621319*c_0101_4^19 + 100758576104346644535208193896300349960017/260473234017568814653264\ 37308425549621319*c_0101_4^18 - 16457650838234502099797507100740382\ 75650383/26047323401756881465326437308425549621319*c_0101_4^17 - 731563893161866610742097526439939146148027/260473234017568814653264\ 37308425549621319*c_0101_4^16 + 96792666466094726112962813151163645\ 08469821/26047323401756881465326437308425549621319*c_0101_4^15 - 1769952919835083764023213552760852922063405/26047323401756881465326\ 437308425549621319*c_0101_4^14 - 2896853435351399287206958543750189\ 0879188103/26047323401756881465326437308425549621319*c_0101_4^13 + 13672654389416384838384037744680086762848416/2604732340175688146532\ 6437308425549621319*c_0101_4^12 + 444823667562923991706326740151535\ 13058521887/26047323401756881465326437308425549621319*c_0101_4^11 - 22031005308134706326413551036393391452356687/2604732340175688146532\ 6437308425549621319*c_0101_4^10 - 385523268629620320633893741923625\ 71875973673/26047323401756881465326437308425549621319*c_0101_4^9 + 10246471853437716248982706656942206019322717/2604732340175688146532\ 6437308425549621319*c_0101_4^8 + 2183479690859666746784151207803332\ 1325109313/26047323401756881465326437308425549621319*c_0101_4^7 + 4159038100650739736510366017369143932061140/26047323401756881465326\ 437308425549621319*c_0101_4^6 - 82107699017658643072340412039771018\ 45871853/26047323401756881465326437308425549621319*c_0101_4^5 - 4950427435099227138590049077311946270511514/26047323401756881465326\ 437308425549621319*c_0101_4^4 + 11399491935994465684965317440209160\ 66313196/26047323401756881465326437308425549621319*c_0101_4^3 + 1175992086326140466472318679936288850332663/26047323401756881465326\ 437308425549621319*c_0101_4^2 + 18150365743008754284412454813968487\ 9899195/26047323401756881465326437308425549621319*c_0101_4 - 5748088339815264898239498207100059043099/26047323401756881465326437\ 308425549621319, c_0101_0 - 834491893872821723487803306835126680908/26047323401756881465\ 326437308425549621319*c_0101_4^21 - 5679943183653603690398682026677399851825/26047323401756881465326437\ 308425549621319*c_0101_4^20 - 5183830257502581183518499122454790490\ 3627/26047323401756881465326437308425549621319*c_0101_4^19 - 53278269383769488508089723388626287591555/2604732340175688146532643\ 7308425549621319*c_0101_4^18 + 463042738707872318286139211536550157\ 772638/26047323401756881465326437308425549621319*c_0101_4^17 + 338296270214455027953939302288237885324008/260473234017568814653264\ 37308425549621319*c_0101_4^16 - 27188579263853065862635736795544207\ 70732064/26047323401756881465326437308425549621319*c_0101_4^15 + 22686507234770211818069962533176394276400/2604732340175688146532643\ 7308425549621319*c_0101_4^14 + 815192339047651937834154598510842943\ 7045063/26047323401756881465326437308425549621319*c_0101_4^13 - 3289918278081844580850645757924249742347547/26047323401756881465326\ 437308425549621319*c_0101_4^12 - 1173482715369329136908846226193344\ 0545110745/26047323401756881465326437308425549621319*c_0101_4^11 + 7283605989256863499722790294023608416447653/26047323401756881465326\ 437308425549621319*c_0101_4^10 + 7830222782496193445887871565342347\ 923740920/26047323401756881465326437308425549621319*c_0101_4^9 - 5964007612031905099548889743256680341258701/26047323401756881465326\ 437308425549621319*c_0101_4^8 - 23221357071447047188528337530036895\ 81961371/26047323401756881465326437308425549621319*c_0101_4^7 + 1798138680995742249168056242622210387122242/26047323401756881465326\ 437308425549621319*c_0101_4^6 + 10529152225356453769123192957391524\ 56276206/26047323401756881465326437308425549621319*c_0101_4^5 - 348546042824486503184800994677893746293950/260473234017568814653264\ 37308425549621319*c_0101_4^4 - 933419325994834637678065633509122957\ 128059/26047323401756881465326437308425549621319*c_0101_4^3 + 172673108319938469289334032586414825530992/260473234017568814653264\ 37308425549621319*c_0101_4^2 + 264455971832500390401083049122431223\ 827173/26047323401756881465326437308425549621319*c_0101_4 + 30498132724140914915043018371495072760757/2604732340175688146532643\ 7308425549621319, c_0101_1 + 3633592209192981240511674666933523800897/2604732340175688146\ 5326437308425549621319*c_0101_4^21 + 23003238452804869344692515373415255981201/2604732340175688146532643\ 7308425549621319*c_0101_4^20 + 213902958227451314048533406997450041\ 403462/26047323401756881465326437308425549621319*c_0101_4^19 + 121570904918065754810805794651234871615217/260473234017568814653264\ 37308425549621319*c_0101_4^18 - 21467054018497611313973946436138593\ 68616838/26047323401756881465326437308425549621319*c_0101_4^17 - 677474524422252208534723203996278800744741/260473234017568814653264\ 37308425549621319*c_0101_4^16 + 12465290291004191223031218640291834\ 784054109/26047323401756881465326437308425549621319*c_0101_4^15 - 4193929107607503855227522643477588110311418/26047323401756881465326\ 437308425549621319*c_0101_4^14 - 3517095629415349093138270776878019\ 0192574410/26047323401756881465326437308425549621319*c_0101_4^13 + 22593525450193821022676211014120774268767641/2604732340175688146532\ 6437308425549621319*c_0101_4^12 + 482790209623228381112788747613134\ 76363713180/26047323401756881465326437308425549621319*c_0101_4^11 - 33702753690998894745917717292383082992378014/2604732340175688146532\ 6437308425549621319*c_0101_4^10 - 363077763458011040137722401108734\ 53234835427/26047323401756881465326437308425549621319*c_0101_4^9 + 16651553105173347606673112411717866250591776/2604732340175688146532\ 6437308425549621319*c_0101_4^8 + 1976985543700166277889514638294082\ 6644934342/26047323401756881465326437308425549621319*c_0101_4^7 + 1590141122052066922282937399968870898485395/26047323401756881465326\ 437308425549621319*c_0101_4^6 - 85874539661965820080480750829741428\ 84251143/26047323401756881465326437308425549621319*c_0101_4^5 - 3441054513430262497680062629598629211187129/26047323401756881465326\ 437308425549621319*c_0101_4^4 + 17857752402689419871301404091526746\ 97402400/26047323401756881465326437308425549621319*c_0101_4^3 + 795348427060374102934099790298378010953359/260473234017568814653264\ 37308425549621319*c_0101_4^2 - 241887278773956716697182508951270641\ 62533/26047323401756881465326437308425549621319*c_0101_4 - 18438010045286312181958753410631947913308/2604732340175688146532643\ 7308425549621319, c_0101_3 - 175244943774990996213797846948644294111/26047323401756881465\ 326437308425549621319*c_0101_4^21 - 948961877180831436413352417798573000078/260473234017568814653264373\ 08425549621319*c_0101_4^20 - 91853013806175871316957694194613712560\ 84/26047323401756881465326437308425549621319*c_0101_4^19 + 4191093167729032776126763994817272695563/26047323401756881465326437\ 308425549621319*c_0101_4^18 + 1148411141857445941684115035249189189\ 67809/26047323401756881465326437308425549621319*c_0101_4^17 - 66024627496136788641210873262090643487297/2604732340175688146532643\ 7308425549621319*c_0101_4^16 - 708679778312331753280216688393227093\ 408983/26047323401756881465326437308425549621319*c_0101_4^15 + 791252238466344044692937817298745417444769/260473234017568814653264\ 37308425549621319*c_0101_4^14 + 19613519274414040519559568097625654\ 34592986/26047323401756881465326437308425549621319*c_0101_4^13 - 3106101109190962063567454628779261879746699/26047323401756881465326\ 437308425549621319*c_0101_4^12 - 2482195281786572225614562684478803\ 098039932/26047323401756881465326437308425549621319*c_0101_4^11 + 5335932756682947398795503610162432099454192/26047323401756881465326\ 437308425549621319*c_0101_4^10 + 1614492796975974039039332964470346\ 234528753/26047323401756881465326437308425549621319*c_0101_4^9 - 4407131897458923373397595841126016474542685/26047323401756881465326\ 437308425549621319*c_0101_4^8 - 11706221352666992829427855262088264\ 30319033/26047323401756881465326437308425549621319*c_0101_4^7 + 1667322726846917807025977126046354276507489/26047323401756881465326\ 437308425549621319*c_0101_4^6 + 12318063512008222879821808869478399\ 34256321/26047323401756881465326437308425549621319*c_0101_4^5 - 176628219980305262779414117536325456654504/260473234017568814653264\ 37308425549621319*c_0101_4^4 - 655095189769572830623646745391602469\ 527606/26047323401756881465326437308425549621319*c_0101_4^3 - 46128210556482170043101958620850344981900/2604732340175688146532643\ 7308425549621319*c_0101_4^2 + 7282432915757137658684722348117516363\ 4010/26047323401756881465326437308425549621319*c_0101_4 + 11650122537852898876791368290376172872676/2604732340175688146532643\ 7308425549621319, c_0101_4^22 + 7*c_0101_4^21 + 63*c_0101_4^20 + 72*c_0101_4^19 - 576*c_0101_4^18 - 598*c_0101_4^17 + 3349*c_0101_4^16 + 1258*c_0101_4^15 - 10675*c_0101_4^14 - 679*c_0101_4^13 + 18113*c_0101_4^12 + 596*c_0101_4^11 - 17103*c_0101_4^10 - 3561*c_0101_4^9 + 8926*c_0101_4^8 + 5365*c_0101_4^7 - 1796*c_0101_4^6 - 3070*c_0101_4^5 - 553*c_0101_4^4 + 548*c_0101_4^3 + 272*c_0101_4^2 + 41*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB