Magma V2.19-8 Tue Aug 20 2013 16:18:48 on localhost [Seed = 2160139775] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2963 geometric_solution 6.14794377 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 -1 2 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.202228834621 0.329351737371 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 -1 1 0 0 0 0 -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 0 1 -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.443884201337 1.875601006613 1 4 5 6 0132 0132 0132 0132 0 0 0 0 0 0 1 -1 0 0 0 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 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.266639961621 0.507520993862 6 5 4 1 0132 0132 3201 0132 0 0 0 0 0 -1 0 1 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 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.266639961621 0.507520993862 3 2 4 4 2310 0132 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.430383956655 1.337565502610 6 3 6 2 3201 0132 2310 0132 0 0 0 0 0 1 0 -1 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 -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 0.428744737521 0.992316417236 3 5 2 5 0132 3201 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 -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.013644430184 1.255500069144 ==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' : negation(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' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(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' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0101_3']), 's_3_6' : negation(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' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_4'], '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' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), '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_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_0']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_3, 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 - 1747250976745475240080359108535690592094485882605/38885337242597315\ 782297089314634768354047818044*c_0101_4^21 + 89711940151054897191326214943827481363895621976685/2333120234555838\ 94693782535887808610124286908264*c_0101_4^20 - 10605635905826577027516468515678287095628679048405/3888533724259731\ 5782297089314634768354047818044*c_0101_4^19 - 9159514239841826423792536591186820314826769835837/77770674485194631\ 564594178629269536708095636088*c_0101_4^18 + 129298101487429645873547512678967898058382002419037/233312023455583\ 894693782535887808610124286908264*c_0101_4^17 + 55953556534903382147276817913052343847936255663813/1166560117277919\ 47346891267943904305062143454132*c_0101_4^16 + 329287876937408705853492102923768941360213291509011/777706744851946\ 31564594178629269536708095636088*c_0101_4^15 - 292250536867513015974286932030632394902094411921106/291640029319479\ 86836722816985976076265535863533*c_0101_4^14 + 3159271947751302420777329021504884400117049892982669/11665601172779\ 1947346891267943904305062143454132*c_0101_4^13 - 2307430837453441628492499067650803595603665944114921/23331202345558\ 3894693782535887808610124286908264*c_0101_4^12 - 957091281923403096382673873264846153302656506539619/583280058638959\ 73673445633971952152531071727066*c_0101_4^11 + 4587800828560097914137569518737583528425328335917453/77770674485194\ 631564594178629269536708095636088*c_0101_4^10 - 12564143312888276154555150874764543124288365791542733/1166560117277\ 91947346891267943904305062143454132*c_0101_4^9 + 7890983208470565646267249290361517566153932106908133/11665601172779\ 1947346891267943904305062143454132*c_0101_4^8 - 7867196504975594202516649172013033146273902707410653/11665601172779\ 1947346891267943904305062143454132*c_0101_4^7 + 435371102444455149686243652114314992239186290266229/583280058638959\ 73673445633971952152531071727066*c_0101_4^6 - 1931691085243009930443553558875993508883786614818457/23331202345558\ 3894693782535887808610124286908264*c_0101_4^5 + 1264199907837506760267047281529999542647750239293991/23331202345558\ 3894693782535887808610124286908264*c_0101_4^4 - 8909348853572579126815148557858077910851780509419/10605091975253813\ 395171933449445845914740314012*c_0101_4^3 + 27412750178373147023916984816141435383313881458625/7070061316835875\ 596781288966297230609826876008*c_0101_4^2 + 16609701181036297500587121263979356153203565155939/2121018395050762\ 6790343866898891691829480628024*c_0101_4 - 42574172587959808614802662634163614905173145491995/1166560117277919\ 47346891267943904305062143454132, c_0011_0 - 1, c_0011_1 - 11640070950494077561071225350026227207968400/327317653557216\ 46281394856325450141712161463*c_0101_4^21 + 98605527491063773476212791838341568252990093/3273176535572164628139\ 4856325450141712161463*c_0101_4^20 - 62452617235951587256872167202945254946399101/3273176535572164628139\ 4856325450141712161463*c_0101_4^19 - 33380198980201073178067031231782013364192679/3273176535572164628139\ 4856325450141712161463*c_0101_4^18 + 139264518936483425476629018087208165761189272/327317653557216462813\ 94856325450141712161463*c_0101_4^17 + 135901093712183948619827303630258572156617968/327317653557216462813\ 94856325450141712161463*c_0101_4^16 + 1111716633805252682943938219067850091111287195/32731765355721646281\ 394856325450141712161463*c_0101_4^15 - 2496792670194669617865844490570024579418998945/32731765355721646281\ 394856325450141712161463*c_0101_4^14 + 6830252565265656597518356318007444078215421131/32731765355721646281\ 394856325450141712161463*c_0101_4^13 - 2032800083097701117034125570366745042984872397/32731765355721646281\ 394856325450141712161463*c_0101_4^12 - 4248676348773074748041137586807049710561616233/32731765355721646281\ 394856325450141712161463*c_0101_4^11 + 14863341499227167356049037460966314435895803975/3273176535572164628\ 1394856325450141712161463*c_0101_4^10 - 26692523649738748703706363695189082266471985527/3273176535572164628\ 1394856325450141712161463*c_0101_4^9 + 15589676276653736629096254564973260483744888462/3273176535572164628\ 1394856325450141712161463*c_0101_4^8 - 16817177573066612788707510573810922453236955300/3273176535572164628\ 1394856325450141712161463*c_0101_4^7 + 895112092290224490382165793957695901306647428/327317653557216462813\ 94856325450141712161463*c_0101_4^6 - 2602277374513206517024237661894832868124698188/32731765355721646281\ 394856325450141712161463*c_0101_4^5 + 1258149065473191560402184452907642828969738803/32731765355721646281\ 394856325450141712161463*c_0101_4^4 - 265073460021102669002059868882890066123949203/327317653557216462813\ 94856325450141712161463*c_0101_4^3 + 1048244730052847542723340888351614617862449862/32731765355721646281\ 394856325450141712161463*c_0101_4^2 + 272346959670013623334972093244013025296439278/327317653557216462813\ 94856325450141712161463*c_0101_4 - 63867661983728902135423928234655149710001886/3273176535572164628139\ 4856325450141712161463, c_0011_3 - 8505920949187885539673376839313573085394317/6546353071144329\ 2562789712650900283424322926*c_0101_4^21 + 35025154554030592055611612713990956488225687/3273176535572164628139\ 4856325450141712161463*c_0101_4^20 - 13969756858340217262836095964279591655710627/3273176535572164628139\ 4856325450141712161463*c_0101_4^19 - 20515102251220612630963059278123942208613835/3273176535572164628139\ 4856325450141712161463*c_0101_4^18 + 49247530023214327958803357226617936001483384/3273176535572164628139\ 4856325450141712161463*c_0101_4^17 + 63411334454108190480046088068617579713843878/3273176535572164628139\ 4856325450141712161463*c_0101_4^16 + 828698299933817069478904855772550385606300885/654635307114432925627\ 89712650900283424322926*c_0101_4^15 - 822142933874711417578017770177788217392642316/327317653557216462813\ 94856325450141712161463*c_0101_4^14 + 4490963655104682911809287029293951298009324667/65463530711443292562\ 789712650900283424322926*c_0101_4^13 - 83458090501514494337418579137639039671214925/3273176535572164628139\ 4856325450141712161463*c_0101_4^12 - 1913805003452073816682469112256297008740323498/32731765355721646281\ 394856325450141712161463*c_0101_4^11 + 10160714779427158794806309856819763214923161239/6546353071144329256\ 2789712650900283424322926*c_0101_4^10 - 8321532579791793465913846745346556968717413527/32731765355721646281\ 394856325450141712161463*c_0101_4^9 + 3007150234917859430588211879419113022617278054/32731765355721646281\ 394856325450141712161463*c_0101_4^8 - 4104276700166912461410850001850478539978821680/32731765355721646281\ 394856325450141712161463*c_0101_4^7 - 2865389774473210225575746233787931922041672717/65463530711443292562\ 789712650900283424322926*c_0101_4^6 - 976533236940276899150157146131694225423807633/654635307114432925627\ 89712650900283424322926*c_0101_4^5 + 431453409229263439084024162322047295413783887/654635307114432925627\ 89712650900283424322926*c_0101_4^4 + 138743653146298390344675970542002834092061959/654635307114432925627\ 89712650900283424322926*c_0101_4^3 + 594945093125407855051506795068932909294474319/654635307114432925627\ 89712650900283424322926*c_0101_4^2 + 418391316532226740570997630591115916288100863/654635307114432925627\ 89712650900283424322926*c_0101_4 - 7522484810244809421728093618495167639296238/32731765355721646281394\ 856325450141712161463, c_0101_0 - 4768025712664766696906229462203723857479849/3273176535572164\ 6281394856325450141712161463*c_0101_4^21 + 39971219522125667944849794566320510735704006/3273176535572164628139\ 4856325450141712161463*c_0101_4^20 - 22312010781923171460535726201905389234166667/3273176535572164628139\ 4856325450141712161463*c_0101_4^19 - 13359457711316998284793227530094197928408831/3273176535572164628139\ 4856325450141712161463*c_0101_4^18 + 53133017220823688033742350633715078949375409/3273176535572164628139\ 4856325450141712161463*c_0101_4^17 + 60194943491891729424752542697767520180875540/3273176535572164628139\ 4856325450141712161463*c_0101_4^16 + 464583015913535497290420274231205266471430385/327317653557216462813\ 94856325450141712161463*c_0101_4^15 - 980745122912768557675896577789279933811881974/327317653557216462813\ 94856325450141712161463*c_0101_4^14 + 2732405705064735392925133750862634609235573362/32731765355721646281\ 394856325450141712161463*c_0101_4^13 - 661908833193651401649705509385542364742493735/327317653557216462813\ 94856325450141712161463*c_0101_4^12 - 1618860257108292550814698846360946904798089994/32731765355721646281\ 394856325450141712161463*c_0101_4^11 + 5813909453799723615571406791974593568392223543/32731765355721646281\ 394856325450141712161463*c_0101_4^10 - 10510028199808023850610459889261879154029058097/3273176535572164628\ 1394856325450141712161463*c_0101_4^9 + 5857045984342378389687181139492700742080770949/32731765355721646281\ 394856325450141712161463*c_0101_4^8 - 7130998726376888384235933431739832460896086691/32731765355721646281\ 394856325450141712161463*c_0101_4^7 + 388222396916698834299035996365506983223648246/327317653557216462813\ 94856325450141712161463*c_0101_4^6 - 1511997712240212780483750117718928151634574095/32731765355721646281\ 394856325450141712161463*c_0101_4^5 + 570506106963324477692645614784515976802704396/327317653557216462813\ 94856325450141712161463*c_0101_4^4 - 116744656346552008346478595999972915015344532/327317653557216462813\ 94856325450141712161463*c_0101_4^3 + 461992196513403390398575840973477092801340677/327317653557216462813\ 94856325450141712161463*c_0101_4^2 + 118475448967356422655415783957331541282487488/327317653557216462813\ 94856325450141712161463*c_0101_4 + 2786909531132611740827191643095521788941225/32731765355721646281394\ 856325450141712161463, c_0101_1 - 529052835263372812870845871594512290755959/32731765355721646\ 281394856325450141712161463*c_0101_4^21 + 4724635928399222910875663698838810678610450/32731765355721646281394\ 856325450141712161463*c_0101_4^20 - 5155055580082849145210658353233325935815188/32731765355721646281394\ 856325450141712161463*c_0101_4^19 + 1894147139935785989286403846613680813141455/32731765355721646281394\ 856325450141712161463*c_0101_4^18 + 6241790888353626002324351475002390791299661/32731765355721646281394\ 856325450141712161463*c_0101_4^17 + 2994028051205341044789092975571952875975407/32731765355721646281394\ 856325450141712161463*c_0101_4^16 + 49913566265462985993078618384627403125173613/3273176535572164628139\ 4856325450141712161463*c_0101_4^15 - 133570157388339195261416881269965966486311601/327317653557216462813\ 94856325450141712161463*c_0101_4^14 + 389068731955572743893862942509608711294294377/327317653557216462813\ 94856325450141712161463*c_0101_4^13 - 280043255526462418044872553887970478643010685/327317653557216462813\ 94856325450141712161463*c_0101_4^12 - 6351820054219037388736498618699152746440354/32731765355721646281394\ 856325450141712161463*c_0101_4^11 + 740380098919689471871098397068057801354952699/327317653557216462813\ 94856325450141712161463*c_0101_4^10 - 1579429076649571739418679242460619060952965913/32731765355721646281\ 394856325450141712161463*c_0101_4^9 + 1549015899536609284909457061404493594143766158/32731765355721646281\ 394856325450141712161463*c_0101_4^8 - 1630224160701252616159518578859884525773716807/32731765355721646281\ 394856325450141712161463*c_0101_4^7 + 647369398057948484877034880896246158078058541/327317653557216462813\ 94856325450141712161463*c_0101_4^6 - 610086044497679527785869194078461775572254572/327317653557216462813\ 94856325450141712161463*c_0101_4^5 + 182947652337559798892861812843730124996640527/327317653557216462813\ 94856325450141712161463*c_0101_4^4 - 199201838576838308322551819006887328183588782/327317653557216462813\ 94856325450141712161463*c_0101_4^3 + 124460087844904525664544042690089735644141131/327317653557216462813\ 94856325450141712161463*c_0101_4^2 - 4574339793496048369210672626392846065537660/32731765355721646281394\ 856325450141712161463*c_0101_4 + 1016929242893322021562967438241060\ 5570892049/32731765355721646281394856325450141712161463, c_0101_3 + 11869176904924718521804662517460057435860386/327317653557216\ 46281394856325450141712161463*c_0101_4^21 - 100255654706170887124254106584775530160889029/327317653557216462813\ 94856325450141712161463*c_0101_4^20 + 60923307729577927694839669943883526376695884/3273176535572164628139\ 4856325450141712161463*c_0101_4^19 + 37953535075270716391145194467588044052336665/3273176535572164628139\ 4856325450141712161463*c_0101_4^18 - 141590406276028921788880833396897433756723852/327317653557216462813\ 94856325450141712161463*c_0101_4^17 - 142632816250060169675719728378492523099175390/327317653557216462813\ 94856325450141712161463*c_0101_4^16 - 1135229180725290503804808688914453507534196555/32731765355721646281\ 394856325450141712161463*c_0101_4^15 + 2522514325787456029450892056708438335829701859/32731765355721646281\ 394856325450141712161463*c_0101_4^14 - 6869817760521911042262332034063100019616618315/32731765355721646281\ 394856325450141712161463*c_0101_4^13 + 1854828112348385925970164567838344208164049762/32731765355721646281\ 394856325450141712161463*c_0101_4^12 + 4532458691692358460865775955185854680312282953/32731765355721646281\ 394856325450141712161463*c_0101_4^11 - 15050046355438104538551154225351198639302807483/3273176535572164628\ 1394856325450141712161463*c_0101_4^10 + 26791116428625415255147091785552571724115114872/3273176535572164628\ 1394856325450141712161463*c_0101_4^9 - 14952042510266448175437361837922114692748643193/3273176535572164628\ 1394856325450141712161463*c_0101_4^8 + 16180578520698280595396739525183559096816588598/3273176535572164628\ 1394856325450141712161463*c_0101_4^7 - 251054834699572226972148606784595910713018361/327317653557216462813\ 94856325450141712161463*c_0101_4^6 + 2113407701688313265606045233601859736239422230/32731765355721646281\ 394856325450141712161463*c_0101_4^5 - 1168595046430709185426013876056035761525184865/32731765355721646281\ 394856325450141712161463*c_0101_4^4 + 94839259658052635285470851113085262401966592/3273176535572164628139\ 4856325450141712161463*c_0101_4^3 - 1022488666160453419964118604345818321459762068/32731765355721646281\ 394856325450141712161463*c_0101_4^2 - 287279645426298084308243861093039594594853439/327317653557216462813\ 94856325450141712161463*c_0101_4 + 66640452902223915964409860119143330838006780/3273176535572164628139\ 4856325450141712161463, c_0101_4^22 - 26/3*c_0101_4^21 + 7*c_0101_4^20 + 2*c_0101_4^19 - 38/3*c_0101_4^18 - 28/3*c_0101_4^17 - 93*c_0101_4^16 + 700/3*c_0101_4^15 - 1880/3*c_0101_4^14 + 854/3*c_0101_4^13 + 1033/3*c_0101_4^12 - 1355*c_0101_4^11 + 7616/3*c_0101_4^10 - 5281/3*c_0101_4^9 + 4954/3*c_0101_4^8 - 955/3*c_0101_4^7 + 581/3*c_0101_4^6 - 412/3*c_0101_4^5 + 98/3*c_0101_4^4 - 88*c_0101_4^3 - 22/3*c_0101_4^2 + 31/3*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB