Magma V2.19-8 Tue Aug 20 2013 16:16:00 on localhost [Seed = 4189611327] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0257 geometric_solution 4.29729573 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 -2 2 0 0 0 0 0 0 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 1.582061753200 0.146185064315 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 -1 -1 2 0 0 0 0 -2 2 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 -1 0 0 0 0 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.379305864870 0.343884644218 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 1 0 -1 0 0 1 -1 1 -1 0 0 1 -2 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.363264662881 0.824177582433 2 5 4 4 0132 0132 1302 2031 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.313757738745 0.294479258719 3 3 2 5 2031 1302 0132 2310 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 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 0 0 0 0 0.313757738745 0.294479258719 4 3 6 6 3201 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.638184751813 1.972946444626 5 6 6 5 3201 3201 2310 0132 0 0 0 0 0 1 -1 0 1 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.408553625956 0.561549744176 ==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' : 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' : 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' : d['1'], 's_1_0' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], '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' : d['c_0011_4'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0101_2'], '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_0011_6, c_0101_0, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 10005963617410419218117448591665092907120948655559/1288685662245842\ 6933088656612681128744196696317836*c_0101_5^18 - 46184935308817283815400901196121694792210283414075/8591237748305617\ 955392437741787419162797797545224*c_0101_5^17 - 123765477701120098774597658140240018354916043689486/322171415561460\ 6733272164153170282186049174079459*c_0101_5^16 + 420057264346390793106268855981681767855306606502316/322171415561460\ 6733272164153170282186049174079459*c_0101_5^15 - 3894176881617928984844512865607884658793691495664167/12886856622458\ 426933088656612681128744196696317836*c_0101_5^14 + 1306146164883091561388551970431912547995102532075567/85912377483056\ 17955392437741787419162797797545224*c_0101_5^13 + 28894927314370645916423920208395506999454943671134443/2577371324491\ 6853866177313225362257488393392635672*c_0101_5^12 - 54090320931382955368822746252193284131745838346316611/2577371324491\ 6853866177313225362257488393392635672*c_0101_5^11 + 48855449355797689844362252948567673174513819209082333/8591237748305\ 617955392437741787419162797797545224*c_0101_5^10 - 93184073143806201012122602291264748975075027648117645/1288685662245\ 8426933088656612681128744196696317836*c_0101_5^9 + 87890999563784804730336468036154788512562700901324225/8591237748305\ 617955392437741787419162797797545224*c_0101_5^8 - 28025101004632509324042132185036197874762382352845062/3221714155614\ 606733272164153170282186049174079459*c_0101_5^7 + 3436259227635817081308352165450167141110036997873461/64434283112292\ 13466544328306340564372098348158918*c_0101_5^6 - 13096762021259746659955139789307147743924195921121021/4295618874152\ 808977696218870893709581398898772612*c_0101_5^5 - 7802932882891529959052522541925630949532962905269655/25773713244916\ 853866177313225362257488393392635672*c_0101_5^4 + 634614424268476011970732665263037335019478673462396/107390471853820\ 2244424054717723427395349724693153*c_0101_5^3 - 6866983304155169444524024597364120219054281381680951/42956188741528\ 08977696218870893709581398898772612*c_0101_5^2 + 16233333173766216537323371471949767941993665187380549/2577371324491\ 6853866177313225362257488393392635672*c_0101_5 - 1874937900185049374031920288122163353975169192462001/85912377483056\ 17955392437741787419162797797545224, c_0011_0 - 1, c_0011_1 - 18020403663126848569066556349333527499020500/251499934083888\ 1134482563741741047764285069539*c_0101_5^18 + 121304339050509261029017272234060201476923558/251499934083888113448\ 2563741741047764285069539*c_0101_5^17 + 915762750613044041739847281505361108178889847/251499934083888113448\ 2563741741047764285069539*c_0101_5^16 - 2855372484294728253074838795888037208077771051/25149993408388811344\ 82563741741047764285069539*c_0101_5^15 + 6416715913720846746299415515310539851500578723/25149993408388811344\ 82563741741047764285069539*c_0101_5^14 - 2188121048806153910582762986901105712045896858/25149993408388811344\ 82563741741047764285069539*c_0101_5^13 - 26661281220664689504912837894717040284354289174/2514999340838881134\ 482563741741047764285069539*c_0101_5^12 + 43490159835139487436149742560467137003241879766/2514999340838881134\ 482563741741047764285069539*c_0101_5^11 - 122265852583988760411936656897948890388609941821/251499934083888113\ 4482563741741047764285069539*c_0101_5^10 + 143036920426439985578773513124699922112011357792/251499934083888113\ 4482563741741047764285069539*c_0101_5^9 - 205302978605823604641475292111664147433654546779/251499934083888113\ 4482563741741047764285069539*c_0101_5^8 + 159510547209864764821658014301012937279388098367/251499934083888113\ 4482563741741047764285069539*c_0101_5^7 + 23412828087995075257340034851934461185217115521/2514999340838881134\ 482563741741047764285069539*c_0101_5^6 + 74683200083534376325750856381951013507442995511/2514999340838881134\ 482563741741047764285069539*c_0101_5^5 + 14026385788184776214892417895383926273180621088/2514999340838881134\ 482563741741047764285069539*c_0101_5^4 - 12907479287729744112011953590647579235015738332/2514999340838881134\ 482563741741047764285069539*c_0101_5^3 + 29348739626661938815560201206445226504818988317/2514999340838881134\ 482563741741047764285069539*c_0101_5^2 - 8394942961778992729763691382802850371544876227/25149993408388811344\ 82563741741047764285069539*c_0101_5 + 2513247250366549052695484516675193277319182257/25149993408388811344\ 82563741741047764285069539, c_0011_4 - 13114301912983275611218777404371359115737810/251499934083888\ 1134482563741741047764285069539*c_0101_5^18 + 87287887679973944254590802579938859860123703/2514999340838881134482\ 563741741047764285069539*c_0101_5^17 + 673130166513635499783288311961060098312584149/251499934083888113448\ 2563741741047764285069539*c_0101_5^16 - 2027075629170049600535632685087506406733596364/25149993408388811344\ 82563741741047764285069539*c_0101_5^15 + 4507906546830299512574560897493138969075537063/25149993408388811344\ 82563741741047764285069539*c_0101_5^14 - 1273035108452845960725932439593111914356122026/25149993408388811344\ 82563741741047764285069539*c_0101_5^13 - 19440832799098365272363097554987059589943564810/2514999340838881134\ 482563741741047764285069539*c_0101_5^12 + 30024503876154202161321554473659126656238790037/2514999340838881134\ 482563741741047764285069539*c_0101_5^11 - 86661464483257275218554655176001497027958725521/2514999340838881134\ 482563741741047764285069539*c_0101_5^10 + 98456875181446619196188854849752565849007282214/2514999340838881134\ 482563741741047764285069539*c_0101_5^9 - 142489777267016682302178143258556725666309910501/251499934083888113\ 4482563741741047764285069539*c_0101_5^8 + 107714102324114566295256881454299916350547828101/251499934083888113\ 4482563741741047764285069539*c_0101_5^7 + 24034587470472377924114566452191481243144706706/2514999340838881134\ 482563741741047764285069539*c_0101_5^6 + 58271486452774717323223532820417297587760499863/2514999340838881134\ 482563741741047764285069539*c_0101_5^5 + 14006155332041681433556853704578475029624986973/2514999340838881134\ 482563741741047764285069539*c_0101_5^4 - 16106578899782889593659351858421937204370248641/2514999340838881134\ 482563741741047764285069539*c_0101_5^3 + 18144627824527525034916383216607340690704752889/2514999340838881134\ 482563741741047764285069539*c_0101_5^2 - 4962322386793117723754255580900092196243330662/25149993408388811344\ 82563741741047764285069539*c_0101_5 + 2357198150914464628666957406103051429832155770/25149993408388811344\ 82563741741047764285069539, c_0011_6 + 6559818326960907831967712314231927265051024/2514999340838881\ 134482563741741047764285069539*c_0101_5^18 - 44698489784638691223689524178142905975913526/2514999340838881134482\ 563741741047764285069539*c_0101_5^17 - 329653838448240607850171039343712783934458523/251499934083888113448\ 2563741741047764285069539*c_0101_5^16 + 1067002802893323454447768626539635290880172289/25149993408388811344\ 82563741741047764285069539*c_0101_5^15 - 2427794041027208624351203559114988098051515518/25149993408388811344\ 82563741741047764285069539*c_0101_5^14 + 971699753350898427574152399203273067462739061/251499934083888113448\ 2563741741047764285069539*c_0101_5^13 + 9683032932256248978961482396326342486874490439/25149993408388811344\ 82563741741047764285069539*c_0101_5^12 - 16766982778109382086721996429130445107775710927/2514999340838881134\ 482563741741047764285069539*c_0101_5^11 + 45880017970760736126737890508860440781024144226/2514999340838881134\ 482563741741047764285069539*c_0101_5^10 - 55139276338223781531220222072487136458319974229/2514999340838881134\ 482563741741047764285069539*c_0101_5^9 + 78640174551039622452520635688445211022311025092/2514999340838881134\ 482563741741047764285069539*c_0101_5^8 - 61869582867134760973061001124498919863451995741/2514999340838881134\ 482563741741047764285069539*c_0101_5^7 - 5251401958300570912106892539148841669435214120/25149993408388811344\ 82563741741047764285069539*c_0101_5^6 - 22595952371974946743886648275857436703270784249/2514999340838881134\ 482563741741047764285069539*c_0101_5^5 - 5213140267541284524862212766588724769566320088/25149993408388811344\ 82563741741047764285069539*c_0101_5^4 + 3966659140210863601530707304046500051703127096/25149993408388811344\ 82563741741047764285069539*c_0101_5^3 - 14434832356696586128679110153578019371971051706/2514999340838881134\ 482563741741047764285069539*c_0101_5^2 + 3016908174827866700405533305822244713059468916/25149993408388811344\ 82563741741047764285069539*c_0101_5 - 1569352417941743132646324548980676268529915355/25149993408388811344\ 82563741741047764285069539, c_0101_0 - 12499463796271553409450426978660981389621474/251499934083888\ 1134482563741741047764285069539*c_0101_5^18 + 92319572983858901685746878069477925737579357/2514999340838881134482\ 563741741047764285069539*c_0101_5^17 + 584242690716206357460604600601815981081134425/251499934083888113448\ 2563741741047764285069539*c_0101_5^16 - 2423990429251965985679743614516502683143923465/25149993408388811344\ 82563741741047764285069539*c_0101_5^15 + 5538299254280249115048780543226656262908906276/25149993408388811344\ 82563741741047764285069539*c_0101_5^14 - 3767268654717700774541260479566285105021460238/25149993408388811344\ 82563741741047764285069539*c_0101_5^13 - 18930254167780812607020827129238551945825169749/2514999340838881134\ 482563741741047764285069539*c_0101_5^12 + 42690330439651038587339193193925221247228098713/2514999340838881134\ 482563741741047764285069539*c_0101_5^11 - 98253781957357959566831451195110340525379667370/2514999340838881134\ 482563741741047764285069539*c_0101_5^10 + 144718561816838854141918117786858046833515698236/251499934083888113\ 4482563741741047764285069539*c_0101_5^9 - 180652978781290686524390870866168964455820773129/251499934083888113\ 4482563741741047764285069539*c_0101_5^8 + 171776982650264351019393626465124881047615603027/251499934083888113\ 4482563741741047764285069539*c_0101_5^7 - 13134101337777329325781697724773236200462257317/2514999340838881134\ 482563741741047764285069539*c_0101_5^6 + 7012568391768629136736672420610048910763150681/25149993408388811344\ 82563741741047764285069539*c_0101_5^5 - 34195360542680310044656837271183281953275228889/2514999340838881134\ 482563741741047764285069539*c_0101_5^4 - 31922505839044818216336742615834490299532631521/2514999340838881134\ 482563741741047764285069539*c_0101_5^3 + 30355526110281147271136812682944919296425899886/2514999340838881134\ 482563741741047764285069539*c_0101_5^2 - 12101441388739852932947393551279991014216598015/2514999340838881134\ 482563741741047764285069539*c_0101_5 + 2245662529603898634465455477955480187801922910/25149993408388811344\ 82563741741047764285069539, c_0101_2 - 5766010845222997460785293090368770749635530/2514999340838881\ 134482563741741047764285069539*c_0101_5^18 + 41549733211061287559292351577966202669839625/2514999340838881134482\ 563741741047764285069539*c_0101_5^17 + 276308278961580615689410400319368744756469639/251499934083888113448\ 2563741741047764285069539*c_0101_5^16 - 1064345720147990551954618307345008175134244757/25149993408388811344\ 82563741741047764285069539*c_0101_5^15 + 2400757600454272267191389967337337195743610064/25149993408388811344\ 82563741741047764285069539*c_0101_5^14 - 1391469607427452003061341229847366837466568868/25149993408388811344\ 82563741741047764285069539*c_0101_5^13 - 8812651048248174584469133922354058065800436344/25149993408388811344\ 82563741741047764285069539*c_0101_5^12 + 18180619687944179515289423189223352933130147579/2514999340838881134\ 482563741741047764285069539*c_0101_5^11 - 43082138916734715643427555707872597688234451881/2514999340838881134\ 482563741741047764285069539*c_0101_5^10 + 59914535497135988231393166844108223938531476732/2514999340838881134\ 482563741741047764285069539*c_0101_5^9 - 75990719046461754200966744056672197473425587632/2514999340838881134\ 482563741741047764285069539*c_0101_5^8 + 68153068957163202212236626210070455367741493837/2514999340838881134\ 482563741741047764285069539*c_0101_5^7 + 1253888317138927572603534014880114676466108223/25149993408388811344\ 82563741741047764285069539*c_0101_5^6 + 5598742264678877729704369064571936231725050166/25149993408388811344\ 82563741741047764285069539*c_0101_5^5 - 12058352418245888462110245851678014490858208611/2514999340838881134\ 482563741741047764285069539*c_0101_5^4 - 10820114400317739088902850911374462861188477014/2514999340838881134\ 482563741741047764285069539*c_0101_5^3 + 12950626294172736745410177573081256416625018261/2514999340838881134\ 482563741741047764285069539*c_0101_5^2 - 4111751737028849141742891990307978675373595399/25149993408388811344\ 82563741741047764285069539*c_0101_5 + 1066947174104535941773355580367020940922529687/25149993408388811344\ 82563741741047764285069539, c_0101_5^19 - 7*c_0101_5^18 - 49*c_0101_5^17 + 172*c_0101_5^16 - 399*c_0101_5^15 + 220*c_0101_5^14 + 1439*c_0101_5^13 - 2801*c_0101_5^12 + 7448*c_0101_5^11 - 9828*c_0101_5^10 + 13661*c_0101_5^9 - 12145*c_0101_5^8 + 1356*c_0101_5^7 - 4077*c_0101_5^6 + 407*c_0101_5^5 + 1145*c_0101_5^4 - 1883*c_0101_5^3 + 928*c_0101_5^2 - 346*c_0101_5 + 61 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB