Magma V2.19-8 Tue Aug 20 2013 16:16:05 on localhost [Seed = 593674220] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0328 geometric_solution 4.35944660 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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.665436630696 0.052866105402 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 -1 1 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 0 -1 1 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.841216121269 0.065773971465 1 3 1 3 0132 0132 1023 1023 0 0 0 0 0 0 1 -1 -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 1 -1 -1 0 1 0 -1 2 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.707383265515 0.212482089374 4 2 5 2 0132 0132 0132 1023 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 -1 0 0 1 -1 0 0 1 1 -2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.827781362157 1.384081535182 3 6 5 5 0132 0132 0213 2310 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 1 0 -1 0 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.133779719983 0.817141691942 4 4 6 3 3201 0213 3201 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 0 0 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.133779719983 0.817141691942 5 4 6 6 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1.804877050791 1.191833088553 ==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' : negation(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' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : 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' : negation(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' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_3'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_5'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0011_5'], '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_5, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 2 Groebner basis: [ t - 1/18*c_0101_6, c_0011_0 - 1, c_0011_1 + 2, c_0011_5 - c_0101_6, c_0101_0 + c_0101_6, c_0101_1 - 1, c_0101_3 - 1, c_0101_6^2 - 3 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 6186264552836745775814546885950742001372681292705155224688198002315\ 1329/12909189018398409576584540142819767683532120849712507527535323\ 7217939904*c_0101_6^31 - 436663235527168685244879622141172054444201\ 114697965418706225241620470939/806824313649900598536533758926235480\ 2207575531070317204709577326121244*c_0101_6^29 + 3111897840617257803382372110515607814359589327345293421387925688811\ 79402/2017060784124751496341334397315588700551893882767579301177394\ 331530311*c_0101_6^27 - 6170198658935148548385347990447438633183421\ 04867345041447829861495012418233/1290918901839840957658454014281976\ 76835321208497125075275353237217939904*c_0101_6^25 + 1056362296354649344129059183616726290813753067663765338508382386963\ 146912241/129091890183984095765845401428197676835321208497125075275\ 353237217939904*c_0101_6^23 - 6980803932008503095741865211192758792\ 489735544919666000422454480273108862921/645459450919920478829227007\ 14098838417660604248562537637676618608969952*c_0101_6^21 + 2546181663537736919003746776833352344467074362900452443828537943961\ 928087869/445144448910289985399466901476543713225245546541810604397\ 7697835101376*c_0101_6^19 - 191142197021900481119061303094870257594\ 76872736096398112110228858138374253255/1290918901839840957658454014\ 28197676835321208497125075275353237217939904*c_0101_6^17 + 1181990398540727863273848032109963137821263989888513033533147860693\ 3943709845/24825363496920018416508731043884168622177155480216360629\ 87562254191152*c_0101_6^15 - 62671071641336159707159748360389350194\ 891089333211276376671184331143732299909/322729725459960239414613503\ 57049419208830302124281268818838309304484976*c_0101_6^13 + 1084637242417681012443280209935622963218018467161079601758706280726\ 915453294691/129091890183984095765845401428197676835321208497125075\ 275353237217939904*c_0101_6^11 - 7127047572164572800418031080713916\ 17118882409209481785768107531062771297554361/6454594509199204788292\ 2700714098838417660604248562537637676618608969952*c_0101_6^9 + 5083587267449500428146359786973355369170456910854026647480180914102\ 65925779827/1290918901839840957658454014281976768353212084971250752\ 75353237217939904*c_0101_6^7 - 308507173734728162733890424393211173\ 09641579402465484238918395786852097068927/6454594509199204788292270\ 0714098838417660604248562537637676618608969952*c_0101_6^5 + 6855769391719774568407475590598869717994869909494921408027844888604\ 130209817/129091890183984095765845401428197676835321208497125075275\ 353237217939904*c_0101_6^3 - 18096424435307432682223366729575749172\ 7966002632357324239813535900164321443/32272972545996023941461350357\ 049419208830302124281268818838309304484976*c_0101_6, c_0011_0 - 1, c_0011_1 + 175888432923906122552370263401495368911246253543045752884201\ 20117/1053596328781751444732466038997736599349693601282391963071644\ 45801216*c_0101_6^30 - 19852089847137792785676089337469477478870657\ 88869259180024952280697/1053596328781751444732466038997736599349693\ 60128239196307164445801216*c_0101_6^28 + 5523628286385906058282814984190517278292841821755630361416165478721\ /105359632878175144473246603899773659934969360128239196307164445801\ 216*c_0101_6^26 - 8752075338989454183339010194350156192016356350598\ 6626244140723364139/52679816439087572236623301949886829967484680064\ 119598153582222900608*c_0101_6^24 + 2880910073839767963929297208570500507257469342700927834491412354542\ 31/1053596328781751444732466038997736599349693601282391963071644458\ 01216*c_0101_6^22 - 39491033956230490966714911935814062415123109092\ 37154633172910424441237/1053596328781751444732466038997736599349693\ 60128239196307164445801216*c_0101_6^20 + 1035875795686741885268427611593858821631291264807277741128629850078\ 0073/52679816439087572236623301949886829967484680064119598153582222\ 900608*c_0101_6^18 - 3977900262642464307311802071295381653576750184\ 580142205047037910965441/105359632878175144473246603899773659934969\ 360128239196307164445801216*c_0101_6^16 + 1744445188968937988168937247337064275715671320106896816379355682461\ 69585/1053596328781751444732466038997736599349693601282391963071644\ 45801216*c_0101_6^14 - 59096228043911629744734907207251981282173118\ 099382795921094456311179437/105359632878175144473246603899773659934\ 969360128239196307164445801216*c_0101_6^12 + 7597684027089530143012898581836174812004096316447241720358585786127\ 2473/26339908219543786118311650974943414983742340032059799076791111\ 450304*c_0101_6^10 - 1921232652971583778071549885022789412668704306\ 41401461994755784068716609/5267981643908757223662330194988682996748\ 4680064119598153582222900608*c_0101_6^8 + 1169948597491509754994973462393513708924022186385836747414348495437\ 47929/1053596328781751444732466038997736599349693601282391963071644\ 45801216*c_0101_6^6 - 924056119906025035070852598161799685637529703\ 8074939264907157331735867/10535963287817514447324660389977365993496\ 9360128239196307164445801216*c_0101_6^4 + 1924466040620774929900686674580888932403176001680564957341699257694\ 57/1316995410977189305915582548747170749187117001602989953839555572\ 5152*c_0101_6^2 - 8475895911254490932996451406063347751011394106853\ 499424548432103263/658497705488594652957791274373585374593558500801\ 4949769197777862576, c_0011_5 + 239110738242342055289936371575244213603373561297926597382970\ 99951/1053596328781751444732466038997736599349693601282391963071644\ 45801216*c_0101_6^31 - 15875644468585696618914063527029089335113472\ 7295197839064698149467/61976254634220673219556825823396270549981976\ 54602305665127320341248*c_0101_6^29 + 7517801316150980155071997055589958405742892356835491836235080915939\ /105359632878175144473246603899773659934969360128239196307164445801\ 216*c_0101_6^27 - 1189992518891992068724252239261146044861911516167\ 60369028729424720985/5267981643908757223662330194988682996748468006\ 4119598153582222900608*c_0101_6^25 + 3924329234613380576154709382877199925720782892300891236820859741138\ 13/1053596328781751444732466038997736599349693601282391963071644458\ 01216*c_0101_6^23 - 53711614547636328104073569586647365176272687504\ 32787388900691131284159/1053596328781751444732466038997736599349693\ 60128239196307164445801216*c_0101_6^21 + 1409132608841712799632918747737925076346687435227176960928489421840\ 8723/52679816439087572236623301949886829967484680064119598153582222\ 900608*c_0101_6^19 - 5526721744508770688115706784606318702739074588\ 592142385988865319010291/105359632878175144473246603899773659934969\ 360128239196307164445801216*c_0101_6^17 + 2373026515925304412709994538733887296182041820379552837544405999304\ 51507/1053596328781751444732466038997736599349693601282391963071644\ 45801216*c_0101_6^15 - 81015200718032482636736849027533067377368298\ 342601457901789927439128423/105359632878175144473246603899773659934\ 969360128239196307164445801216*c_0101_6^13 + 1036956300023748044675907336174260658128845441333544647644057201371\ 36319/2633990821954378611831165097494341498374234003205979907679111\ 1450304*c_0101_6^11 - 261558432111395801941380069695786480619303850\ 971635450294486772320387475/526798164390875722366233019498868299674\ 84680064119598153582222900608*c_0101_6^9 + 1631691662652196883434227587293457309729635120673221507919302796605\ 16219/1053596328781751444732466038997736599349693601282391963071644\ 45801216*c_0101_6^7 - 143180762392867899501317207836949337734601007\ 09937051093119340889290673/1053596328781751444732466038997736599349\ 69360128239196307164445801216*c_0101_6^5 + 1061406838491608195099013036612606404271566567855414118730277751244\ 9/77470318292775841524446032279245338187477470682528820814091504265\ 6*c_0101_6^3 - 9871413414770353490933433447546710509013895062003843\ 629886376412457/658497705488594652957791274373585374593558500801494\ 9769197777862576*c_0101_6, c_0101_0 + 277499040649282591477035439640428207197822343102292607064919\ 27899/2107192657563502889464932077995473198699387202564783926143288\ 91602432*c_0101_6^31 - 31401708224327094228770276914740187117880876\ 37183026958410375740647/2107192657563502889464932077995473198699387\ 20256478392614328891602432*c_0101_6^29 + 9629299071969699229152688211972028329135056022661412553542122795295\ /210719265756350288946493207799547319869938720256478392614328891602\ 432*c_0101_6^27 - 1393276227049471276046106882671806895695557871922\ 36602954536912279181/1053596328781751444732466038997736599349693601\ 28239196307164445801216*c_0101_6^25 + 5350396484505935346440192686252706871325388663688986278291068676570\ 17/2107192657563502889464932077995473198699387202564783926143288916\ 02432*c_0101_6^23 - 63585128624648465563930026972994764488808439452\ 90920767823067452062123/2107192657563502889464932077995473198699387\ 20256478392614328891602432*c_0101_6^21 + 1724832611110973868085770540009329841855871258742017951019424535072\ 1103/10535963287817514447324660389977365993496936012823919630716444\ 5801216*c_0101_6^19 - 157170596104788075284048159502536820713677320\ 32387271993085035506266479/2107192657563502889464932077995473198699\ 38720256478392614328891602432*c_0101_6^17 + 2764490177300669887981539424643101087635314864205847339696616425846\ 56175/2107192657563502889464932077995473198699387202564783926143288\ 91602432*c_0101_6^15 - 17332045730019962888686565339618923283694933\ 2298513031341913627541107699/21071926575635028894649320779954731986\ 9938720256478392614328891602432*c_0101_6^13 + 1255133440970239894193905559177180835783710612330029187985918281296\ 21707/5267981643908757223662330194988682996748468006411959815358222\ 2900608*c_0101_6^11 - 371334530085053835072255529810792041616755717\ 651006136110261430584146767/105359632878175144473246603899773659934\ 969360128239196307164445801216*c_0101_6^9 + 2080562151779129390407611937112964037041171218660337007571843188407\ 9271/12395250926844134643911365164679254109996395309204611330254640\ 682496*c_0101_6^7 - 54555352152462605650785727094722429183630058666\ 755421987743185904815493/210719265756350288946493207799547319869938\ 720256478392614328891602432*c_0101_6^5 + 7701742073115925556420249046616101926564570671263422742515845996107\ 7/26339908219543786118311650974943414983742340032059799076791111450\ 304*c_0101_6^3 - 31174251694494268324861331958475377473633488557609\ 608789377932372629/131699541097718930591558254874717074918711700160\ 29899538395555725152*c_0101_6, c_0101_1 + 434391063370292980150780159927963074132141053163616051490732\ 7881/10535963287817514447324660389977365993496936012823919630716444\ 5801216*c_0101_6^30 - 490485999925332503368765322869893524776799966\ 460296570800727075341/105359632878175144473246603899773659934969360\ 128239196307164445801216*c_0101_6^28 + 1386605536336746287114770019615194507420284682878818701486342336117\ /105359632878175144473246603899773659934969360128239196307164445801\ 216*c_0101_6^26 - 2164108966514900059938050402322302224720604337483\ 1172865283157165807/52679816439087572236623301949886829967484680064\ 119598153582222900608*c_0101_6^24 + 4300687215501667551501318545686343683350057198649372466595226531363\ /619762546342206732195568258233962705499819765460230566512732034124\ 8*c_0101_6^22 - 977662626386388210019452846022248206086199398392693\ 420251611450962937/105359632878175144473246603899773659934969360128\ 239196307164445801216*c_0101_6^20 + 2580146302909665280229072696626535383157459691052167099193899076548\ 741/526798164390875722366233019498868299674846800641195981535822229\ 00608*c_0101_6^18 - 11970344118211602416858245305107362190623427434\ 76619101545223618606821/1053596328781751444732466038997736599349693\ 60128239196307164445801216*c_0101_6^16 + 4302690199579167814585321185631214587212082611849265839597828790849\ 3093/10535963287817514447324660389977365993496936012823919630716444\ 5801216*c_0101_6^14 - 165952803605917421299877421825099388310588747\ 56667583193864246019676177/1053596328781751444732466038997736599349\ 69360128239196307164445801216*c_0101_6^12 + 1869446970113659449835302766654920550871885469389309342580081741068\ 0793/26339908219543786118311650974943414983742340032059799076791111\ 450304*c_0101_6^10 - 4922056641984184385316026556853208241027773230\ 8992038657674456481673605/52679816439087572236623301949886829967484\ 680064119598153582222900608*c_0101_6^8 + 3151476819490891368028835963660350003549692012979082039415163016610\ 0765/10535963287817514447324660389977365993496936012823919630716444\ 5801216*c_0101_6^6 - 2272565044937529211158674628984758205184080248\ 752139874371556526104087/105359632878175144473246603899773659934969\ 360128239196307164445801216*c_0101_6^4 + 4406905277555325416536566923957527341108502677946281299582438580125\ 5/13169954109771893059155825487471707491871170016029899538395555725\ 152*c_0101_6^2 + 20460722747121417119691609708401173530615015658603\ 31282591208586617/6584977054885946529577912743735853745935585008014\ 949769197777862576, c_0101_3 + 140966381273872489498732759669255380001339448248875045743487\ 85653/1053596328781751444732466038997736599349693601282391963071644\ 45801216*c_0101_6^30 - 15906049022699083975817761149601716305039751\ 97810737263103804422265/1053596328781751444732466038997736599349693\ 60128239196307164445801216*c_0101_6^28 + 4376619014084443403987592284846244438231954146342597809436078712129\ /105359632878175144473246603899773659934969360128239196307164445801\ 216*c_0101_6^26 - 7008504891650678976580623329731097534009624851815\ 5264020403067580299/52679816439087572236623301949886829967484680064\ 119598153582222900608*c_0101_6^24 + 1332310219891031869110894086979567851981831361995806833444625112407\ 1/61976254634220673219556825823396270549981976546023056651273203412\ 48*c_0101_6^22 - 31597097754958114353801892681291955364272456649545\ 26716393028470310933/1053596328781751444732466038997736599349693601\ 28239196307164445801216*c_0101_6^20 + 8253105817395687595334429764768653248701484807322817229214543621878\ 793/526798164390875722366233019498868299674846800641195981535822229\ 00608*c_0101_6^18 - 27060040753604085266348557164804871789037943807\ 06147174364796395681025/1053596328781751444732466038997736599349693\ 60128239196307164445801216*c_0101_6^16 + 1399322197818308544674667561641012014945006198573856157604351863667\ 08977/1053596328781751444732466038997736599349693601282391963071644\ 45801216*c_0101_6^14 - 42885616876613536189173865194870519853110340\ 245136203278618407827978669/105359632878175144473246603899773659934\ 969360128239196307164445801216*c_0101_6^12 + 6103159915697263935468513579532459709177190540130321499640253145677\ 4825/26339908219543786118311650974943414983742340032059799076791111\ 450304*c_0101_6^10 - 1500771612406410374708703981476608366780089864\ 43136188860153847176508545/5267981643908757223662330194988682996748\ 4680064119598153582222900608*c_0101_6^8 + 8763176059638184948679797152822566481500604023812205793749947438504\ 7961/10535963287817514447324660389977365993496936012823919630716444\ 5801216*c_0101_6^6 - 7661513410512227967539857561169798915148696029\ 700856664750237254396859/105359632878175144473246603899773659934969\ 360128239196307164445801216*c_0101_6^4 + 1704061047316309982917147165270461435993048057676805293099942053464\ 41/1316995410977189305915582548747170749187117001602989953839555572\ 5152*c_0101_6^2 - 4355986375786828722495095027580537029460727134955\ 849440233309433519/658497705488594652957791274373585374593558500801\ 4949769197777862576, c_0101_6^32 - 113*c_0101_6^30 + 329*c_0101_6^28 - 9994*c_0101_6^26 + 17699*c_0101_6^24 - 226741*c_0101_6^22 + 1207686*c_0101_6^20 - 383285*c_0101_6^18 + 9953177*c_0101_6^16 - 4673061*c_0101_6^14 + 17772720*c_0101_6^12 - 24132970*c_0101_6^10 + 9634477*c_0101_6^8 - 1481243*c_0101_6^6 + 164588*c_0101_6^4 - 18576*c_0101_6^2 + 832 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB