Magma V2.19-8 Tue Aug 20 2013 16:17:18 on localhost [Seed = 3313785104] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1543 geometric_solution 5.33391553 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 3201 0132 0132 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 0.275482132087 0.478228936913 0 1 0 1 0132 2310 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 -1.165407514837 0.673608664631 4 3 5 0 0132 3012 0132 0132 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 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.906123388822 1.040300726979 2 4 0 5 1230 2310 0132 3201 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 0 0 -1 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 0.906123388822 1.040300726979 2 6 6 3 0132 0132 1023 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 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.761072523569 0.628357815151 5 3 5 2 2310 2310 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.186649601175 0.957684561648 6 4 4 6 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 0 -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 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.670747368137 0.480872720512 ==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' : 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' : 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' : d['c_0011_2'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_5']), 'c_1100_3' : negation(d['c_0011_5']), 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : 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' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : d['c_0011_2'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0011_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0011_2'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0011_2']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 4828556881051252824099589986/13798492291487044943501591*c_0101_6^21 - 3258556689736884067534972256/13798492291487044943501591*c_0101_6^\ 20 - 84659387615298012260629443035/13798492291487044943501591*c_010\ 1_6^19 + 1292485851090334716317758702/155039239230191516219119*c_01\ 01_6^18 + 211118536283140745371990577459/13798492291487044943501591\ *c_0101_6^17 - 763930431067592610063079215174/137984922914870449435\ 01591*c_0101_6^16 - 438308559901958639468299640131/1379849229148704\ 4943501591*c_0101_6^15 + 2247331972739525787705341761589/1379849229\ 1487044943501591*c_0101_6^14 + 888789410484828113918289606409/13798\ 492291487044943501591*c_0101_6^13 - 4625405852536485025322062160910/13798492291487044943501591*c_0101_6\ ^12 - 2220581328291529206050047062017/13798492291487044943501591*c_\ 0101_6^11 + 7061845091934557953415296924703/13798492291487044943501\ 591*c_0101_6^10 + 6767412588034857105351921867016/13798492291487044\ 943501591*c_0101_6^9 - 2593838661865826723921528459376/137984922914\ 87044943501591*c_0101_6^8 - 238173128060963433272919264544/59993444\ 7455958475804417*c_0101_6^7 - 879311998662234347435959779886/137984\ 92291487044943501591*c_0101_6^6 + 1636878401945886236437710989503/1\ 3798492291487044943501591*c_0101_6^5 + 672617426996013706108328090272/13798492291487044943501591*c_0101_6^\ 4 - 115788285466891488901949812440/13798492291487044943501591*c_010\ 1_6^3 - 3183219766282156249955607653/599934447455958475804417*c_010\ 1_6^2 - 5519535751530544646693878418/13798492291487044943501591*c_0\ 101_6 - 7159430288014036407387178057/13798492291487044943501591, c_0011_0 - 1, c_0011_2 + 48321595892406130247474/155039239230191516219119*c_0101_6^21 - 144533738977482659284759/155039239230191516219119*c_0101_6^20 - 715873620362777816490601/155039239230191516219119*c_0101_6^19 + 3025525802690648235464749/155039239230191516219119*c_0101_6^18 - 1473323597488219843317481/155039239230191516219119*c_0101_6^17 - 10358185880646717417839224/155039239230191516219119*c_0101_6^16 + 14138912034820560507032839/155039239230191516219119*c_0101_6^15 + 22475303765745084074483817/155039239230191516219119*c_0101_6^14 - 39652899812657221780820781/155039239230191516219119*c_0101_6^13 - 40837760614586934476788780/155039239230191516219119*c_0101_6^12 + 72215959443180298874625535/155039239230191516219119*c_0101_6^11 + 71513699817232994965381195/155039239230191516219119*c_0101_6^10 - 76223837578070744536104180/155039239230191516219119*c_0101_6^9 - 102004074971749551637105309/155039239230191516219119*c_0101_6^8 + 574675604607298702809992/6740836488269196357353*c_0101_6^7 + 55486575629370717225805087/155039239230191516219119*c_0101_6^6 + 12541823644494243258054097/155039239230191516219119*c_0101_6^5 - 9925838299577234993459047/155039239230191516219119*c_0101_6^4 - 4308109929810769826502240/155039239230191516219119*c_0101_6^3 - 24434345890806174745789/6740836488269196357353*c_0101_6^2 - 236638561210856182963926/155039239230191516219119*c_0101_6 + 76984173701940407201356/155039239230191516219119, c_0011_5 - 586419424882172124408490/155039239230191516219119*c_0101_6^2\ 1 + 506477210944771892233775/155039239230191516219119*c_0101_6^20 + 10130110222052882780182526/155039239230191516219119*c_0101_6^19 - 15822767357375390939544313/155039239230191516219119*c_0101_6^18 - 21696983097795765423008774/155039239230191516219119*c_0101_6^17 + 95148945528318829028011492/155039239230191516219119*c_0101_6^16 + 33563487623359352573879488/155039239230191516219119*c_0101_6^15 - 269658862020315252181574185/155039239230191516219119*c_0101_6^14 - 56244128790855973646641866/155039239230191516219119*c_0101_6^13 + 546408772817839450579913361/155039239230191516219119*c_0101_6^12 + 167966820376486773264513813/155039239230191516219119*c_0101_6^11 - 838078452039428492411365497/155039239230191516219119*c_0101_6^10 - 661336932716593772977796311/155039239230191516219119*c_0101_6^9 + 360919921599893371305762726/155039239230191516219119*c_0101_6^8 + 24167017498647899466441367/6740836488269196357353*c_0101_6^7 + 43043491647644067645990655/155039239230191516219119*c_0101_6^6 - 169630293397097466475497397/155039239230191516219119*c_0101_6^5 - 54218343505670514430029928/155039239230191516219119*c_0101_6^4 + 13494982668158628939071045/155039239230191516219119*c_0101_6^3 + 222609827995301048759388/6740836488269196357353*c_0101_6^2 + 281559798786608530399346/155039239230191516219119*c_0101_6 + 596758270727917858648748/155039239230191516219119, c_0101_0 - 245914668471957008495140/155039239230191516219119*c_0101_6^2\ 1 + 274916987774222764944183/155039239230191516219119*c_0101_6^20 + 4184291964729045614671905/155039239230191516219119*c_0101_6^19 - 7671852349885553760747098/155039239230191516219119*c_0101_6^18 - 7292488491257372025644277/155039239230191516219119*c_0101_6^17 + 41384053673172867580693875/155039239230191516219119*c_0101_6^16 + 4808810604586433447054042/155039239230191516219119*c_0101_6^15 - 114656755703626369755106282/155039239230191516219119*c_0101_6^14 + 240916094876105821452852/155039239230191516219119*c_0101_6^13 + 231764245918260484876417814/155039239230191516219119*c_0101_6^12 + 24867483919157294031605180/155039239230191516219119*c_0101_6^11 - 363904380361015816333514050/155039239230191516219119*c_0101_6^10 - 211305787701030895983648904/155039239230191516219119*c_0101_6^9 + 210848719548965652580959465/155039239230191516219119*c_0101_6^8 + 9719068396097401824420131/6740836488269196357353*c_0101_6^7 - 16506805756252721109546290/155039239230191516219119*c_0101_6^6 - 85372854482065098646879951/155039239230191516219119*c_0101_6^5 - 20291748912446048191231075/155039239230191516219119*c_0101_6^4 + 9826195573279287849366273/155039239230191516219119*c_0101_6^3 + 172873661087634357405172/6740836488269196357353*c_0101_6^2 + 400414661783477858468407/155039239230191516219119*c_0101_6 + 237510629348332238897032/155039239230191516219119, c_0101_1 - 241053956900363456338530/155039239230191516219119*c_0101_6^2\ 1 + 49900196829326303315800/155039239230191516219119*c_0101_6^20 + 4390768782521390481927332/155039239230191516219119*c_0101_6^19 - 3916397221066704277468310/155039239230191516219119*c_0101_6^18 - 14637511362664655848931499/155039239230191516219119*c_0101_6^17 + 36802103337500987752466175/155039239230191516219119*c_0101_6^16 + 40182167316769325778413286/155039239230191516219119*c_0101_6^15 - 117135330563259609418880948/155039239230191516219119*c_0101_6^14 - 89277772207624202562716054/155039239230191516219119*c_0101_6^13 + 246494500433981311136197426/155039239230191516219119*c_0101_6^12 + 196480764863631460303960611/155039239230191516219119*c_0101_6^11 - 369248302870841610583068927/155039239230191516219119*c_0101_6^10 - 469731086451012787056646448/155039239230191516219119*c_0101_6^9 + 79669242845146658495884030/155039239230191516219119*c_0101_6^8 + 14931211862596698163541891/6740836488269196357353*c_0101_6^7 + 94646549634375166413732094/155039239230191516219119*c_0101_6^6 - 91504421210925766624276403/155039239230191516219119*c_0101_6^5 - 49614812986497607594337554/155039239230191516219119*c_0101_6^4 + 4449283824820310210037734/155039239230191516219119*c_0101_6^3 + 209508083065736168361697/6740836488269196357353*c_0101_6^2 + 95861193212458432058040/155039239230191516219119*c_0101_6 + 343023030274919316862433/155039239230191516219119, c_0101_2 - 583449160973621563665233/155039239230191516219119*c_0101_6^2\ 1 + 461314529094972685980237/155039239230191516219119*c_0101_6^20 + 10147612314275536299640872/155039239230191516219119*c_0101_6^19 - 15028537686997640903502910/155039239230191516219119*c_0101_6^18 - 23295255571207186398955447/155039239230191516219119*c_0101_6^17 + 93858584512214887142489488/155039239230191516219119*c_0101_6^16 + 41652531031591650625007337/155039239230191516219119*c_0101_6^15 - 270929267301862284614597666/155039239230191516219119*c_0101_6^14 - 78199729985903900684947475/155039239230191516219119*c_0101_6^13 + 554136026790231366003522795/155039239230191516219119*c_0101_6^12 + 211883070615679365881808151/155039239230191516219119*c_0101_6^11 - 851297645512558628904395472/155039239230191516219119*c_0101_6^10 - 731436285087228446925608674/155039239230191516219119*c_0101_6^9 + 355730147728518557394317815/155039239230191516219119*c_0101_6^8 + 26933800863372529586873379/6740836488269196357353*c_0101_6^7 + 68946397092268786601513096/155039239230191516219119*c_0101_6^6 - 193297253698226125877279017/155039239230191516219119*c_0101_6^5 - 70302851801738197967406660/155039239230191516219119*c_0101_6^4 + 15222919768599808786905689/155039239230191516219119*c_0101_6^3 + 345230437849877303466184/6740836488269196357353*c_0101_6^2 + 858975296348795924593055/155039239230191516219119*c_0101_6 + 780496036070277529028398/155039239230191516219119, c_0101_6^22 - 18*c_0101_6^20 + 12*c_0101_6^19 + 60*c_0101_6^18 - 129*c_0101_6^17 - 198*c_0101_6^16 + 406*c_0101_6^15 + 499*c_0101_6^14 - 839*c_0101_6^13 - 1108*c_0101_6^12 + 1163*c_0101_6^11 + 2393*c_0101_6^10 + 392*c_0101_6^9 - 1512*c_0101_6^8 - 941*c_0101_6^7 + 229*c_0101_6^6 + 370*c_0101_6^5 + 66*c_0101_6^4 - 33*c_0101_6^3 - 11*c_0101_6^2 - 2*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB