Magma V2.19-8 Tue Aug 20 2013 16:17:24 on localhost [Seed = 1461111708] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1628 geometric_solution 5.37781448 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 0 2 0 0132 2310 0132 3201 0 0 0 0 0 -1 1 0 -1 0 0 1 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 1 0 -1 1 0 0 -1 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.181890804339 1.385834951344 0 3 4 2 0132 0132 0132 1230 0 0 0 0 0 -1 1 0 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 0 0 0 -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.605203091941 0.866873129546 1 4 3 0 3012 3201 3201 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 0 0 0 0 0 0 0 -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.605203091941 0.866873129546 2 1 5 5 2310 0132 0132 3201 0 0 0 0 0 1 0 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.263411641029 0.374610466574 6 6 2 1 0132 2310 2310 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.297154446718 1.985276338442 5 3 5 3 2031 2310 1302 0132 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 -2.021431913474 1.936615984591 4 6 6 4 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.534743529046 0.460660554976 ==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' : 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_4']), 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_5']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_2'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0011_2'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0011_2'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_4, c_0011_5, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 581628250935969450481757800/965051971790923570617073*c_0101_3^23 + 856829781570050828767500715/965051971790923570617073*c_0101_3^22 - 8828292379203596374781605687/965051971790923570617073*c_0101_3^21 - 28053244447687902723987465790/965051971790923570617073*c_0101_3^20 + 219843843703591891447628038/965051971790923570617073*c_0101_3^19 + 116554467334327771574336015824/965051971790923570617073*c_0101_3^18 + 161675040293469152699132779939/965051971790923570617073*c_0101_3^\ 17 - 80244864479153097159779957154/965051971790923570617073*c_0101_\ 3^16 - 407940977002751174565137732665/965051971790923570617073*c_01\ 01_3^15 - 303509847242082682469145105934/965051971790923570617073*c\ _0101_3^14 + 244914992050973514369864819185/96505197179092357061707\ 3*c_0101_3^13 + 563747498846398892280582985838/96505197179092357061\ 7073*c_0101_3^12 + 252123146540589035838748150406/96505197179092357\ 0617073*c_0101_3^11 - 244698770398141710546026364883/96505197179092\ 3570617073*c_0101_3^10 - 348185979941341721171083112719/96505197179\ 0923570617073*c_0101_3^9 - 104971971256091509634387217146/965051971\ 790923570617073*c_0101_3^8 + 89488873683629390276506471524/96505197\ 1790923570617073*c_0101_3^7 + 89964773109266201092003178587/9650519\ 71790923570617073*c_0101_3^6 + 23017228537854713201641293929/965051\ 971790923570617073*c_0101_3^5 - 7852486399456188322226766417/965051\ 971790923570617073*c_0101_3^4 - 7040308062819892519628258719/965051\ 971790923570617073*c_0101_3^3 - 2032290524888659127532335818/965051\ 971790923570617073*c_0101_3^2 - 236361568514923244155930900/9650519\ 71790923570617073*c_0101_3 + 911080998580128733395859/9650519717909\ 23570617073, c_0011_0 - 1, c_0011_2 + 573086948025071166045683600/6755363802536464994319511*c_0101\ _3^23 + 258115589219095154353978530/6755363802536464994319511*c_010\ 1_3^22 - 9633830426936088707004575234/6755363802536464994319511*c_0\ 101_3^21 - 18602937530044853167478555643/6755363802536464994319511*\ c_0101_3^20 + 29726357182157592027233056627/67553638025364649943195\ 11*c_0101_3^19 + 114133658194449757719177641478/6755363802536464994\ 319511*c_0101_3^18 + 4755161651715487477246452730/96505197179092357\ 0617073*c_0101_3^17 - 247895134502553038464613285177/67553638025364\ 64994319511*c_0101_3^16 - 297067965233410104865011874369/6755363802\ 536464994319511*c_0101_3^15 + 21385289698861652532207967393/9650519\ 71790923570617073*c_0101_3^14 + 529355332544449248978940003136/6755\ 363802536464994319511*c_0101_3^13 + 229068787996087317149168933281/6755363802536464994319511*c_0101_3^1\ 2 - 358488317171106003927065167900/6755363802536464994319511*c_0101\ _3^11 - 431101017815678732099668463904/6755363802536464994319511*c_\ 0101_3^10 - 11520624444130627044947054562/6755363802536464994319511\ *c_0101_3^9 + 252318845738287641578215805539/6755363802536464994319\ 511*c_0101_3^8 + 138101546473838169240460001185/6755363802536464994\ 319511*c_0101_3^7 - 37261402039544663678921804681/67553638025364649\ 94319511*c_0101_3^6 - 61391630539836222251114358484/675536380253646\ 4994319511*c_0101_3^5 - 14526720157175287106864715223/6755363802536\ 464994319511*c_0101_3^4 + 6594175563248198656831117469/675536380253\ 6464994319511*c_0101_3^3 + 3951855137228850039332239296/67553638025\ 36464994319511*c_0101_3^2 + 472579877707692079399735737/67553638025\ 36464994319511*c_0101_3 - 67232924868652637353909625/67553638025364\ 64994319511, c_0011_4 + 653860564024944729909109450/6755363802536464994319511*c_0101\ _3^23 + 352030050836513421633879685/6755363802536464994319511*c_010\ 1_3^22 - 10936312889681960631658881698/6755363802536464994319511*c_\ 0101_3^21 - 22115610569437982874274865929/6755363802536464994319511\ *c_0101_3^20 + 31616133381433410908364376330/6755363802536464994319\ 511*c_0101_3^19 + 131268759270071498322239319820/675536380253646499\ 4319511*c_0101_3^18 + 6916339501305780298710893348/9650519717909235\ 70617073*c_0101_3^17 - 272501983008892896784906086362/6755363802536\ 464994319511*c_0101_3^16 - 350631062061746795422372153318/675536380\ 2536464994319511*c_0101_3^15 + 19949948893844128291675055114/965051\ 971790923570617073*c_0101_3^14 + 591050348672732998823382002258/675\ 5363802536464994319511*c_0101_3^13 + 288235841252133892451010002064/6755363802536464994319511*c_0101_3^1\ 2 - 373144426121203992904803639976/6755363802536464994319511*c_0101\ _3^11 - 487416225752596671791253586528/6755363802536464994319511*c_\ 0101_3^10 - 36098588320499877031483571655/6755363802536464994319511\ *c_0101_3^9 + 270072026800383223337803981559/6755363802536464994319\ 511*c_0101_3^8 + 158304448148238495054408418730/6755363802536464994\ 319511*c_0101_3^7 - 34927587115708229374737864969/67553638025364649\ 94319511*c_0101_3^6 - 66545936077080685299029565335/675536380253646\ 4994319511*c_0101_3^5 - 16873439535427925776863511733/6755363802536\ 464994319511*c_0101_3^4 + 6809362609686922713077616268/675536380253\ 6464994319511*c_0101_3^3 + 4308079316797561709827149296/67553638025\ 36464994319511*c_0101_3^2 + 526190616542841876060462179/67553638025\ 36464994319511*c_0101_3 - 74075260883990331845645940/67553638025364\ 64994319511, c_0011_5 - 23793411498970626742258150/6755363802536464994319511*c_0101_\ 3^23 - 7060749818939002636156370/6755363802536464994319511*c_0101_3\ ^22 + 419036369494015006712037461/6755363802536464994319511*c_0101_\ 3^21 + 728586598193764894984691267/6755363802536464994319511*c_0101\ _3^20 - 1628994728439475943614018525/6755363802536464994319511*c_01\ 01_3^19 - 5255623459628638002782530229/6755363802536464994319511*c_\ 0101_3^18 - 36331642135933107280816063/965051971790923570617073*c_0\ 101_3^17 + 13802852217562283755980473571/6755363802536464994319511*\ c_0101_3^16 + 13585592321023888779501049723/67553638025364649943195\ 11*c_0101_3^15 - 1768700121578089549613169549/965051971790923570617\ 073*c_0101_3^14 - 30261378998858202832784545068/6755363802536464994\ 319511*c_0101_3^13 - 8417759706818567966559986524/67553638025364649\ 94319511*c_0101_3^12 + 25390582029046956726268941563/67553638025364\ 64994319511*c_0101_3^11 + 25013213235824768580642496841/67553638025\ 36464994319511*c_0101_3^10 - 2891690761980132228806173346/675536380\ 2536464994319511*c_0101_3^9 - 17465524383825173877778254877/6755363\ 802536464994319511*c_0101_3^8 - 8040090363758660733386590326/675536\ 3802536464994319511*c_0101_3^7 + 3428103956052223523725596372/67553\ 63802536464994319511*c_0101_3^6 + 4252838848569838343957082562/6755\ 363802536464994319511*c_0101_3^5 + 812237267609548375578189249/6755363802536464994319511*c_0101_3^4 - 532881908098030017934939775/6755363802536464994319511*c_0101_3^3 - 272173612986377814341879187/6755363802536464994319511*c_0101_3^2 - 13486766419190634261574110/6755363802536464994319511*c_0101_3 + 9758055154800284415374069/6755363802536464994319511, c_0101_1 - 738967701469910615348861850/6755363802536464994319511*c_0101\ _3^23 - 306616629914592789095707705/6755363802536464994319511*c_010\ 1_3^22 + 12412053317713761885828040579/6755363802536464994319511*c_\ 0101_3^21 + 23503793429081485366261818511/6755363802536464994319511\ *c_0101_3^20 - 38813549240155914904420429849/6755363802536464994319\ 511*c_0101_3^19 - 144567583972755199806092679506/675536380253646499\ 4319511*c_0101_3^18 - 5424734249935196953574952978/9650519717909235\ 70617073*c_0101_3^17 + 315301024608218133226878016109/6755363802536\ 464994319511*c_0101_3^16 + 365572534528112251697129532591/675536380\ 2536464994319511*c_0101_3^15 - 28346978697446477765127408450/965051\ 971790923570617073*c_0101_3^14 - 655761378201520579830399600694/675\ 5363802536464994319511*c_0101_3^13 - 266919366606867498467545968206/6755363802536464994319511*c_0101_3^1\ 2 + 449811785578410673915118202737/6755363802536464994319511*c_0101\ _3^11 + 517917145852782701678439232078/6755363802536464994319511*c_\ 0101_3^10 + 1457222691155462000726545059/6755363802536464994319511*\ c_0101_3^9 - 305390454803089016820639682225/67553638025364649943195\ 11*c_0101_3^8 - 159033860260484367707442404082/67553638025364649943\ 19511*c_0101_3^7 + 47319784835585852336486166855/675536380253646499\ 4319511*c_0101_3^6 + 71188406738613772948919907212/6755363802536464\ 994319511*c_0101_3^5 + 15960607837473000899524829207/67553638025364\ 64994319511*c_0101_3^4 - 7589901827692444836534454547/6755363802536\ 464994319511*c_0101_3^3 - 4421890175952865581714024779/675536380253\ 6464994319511*c_0101_3^2 - 543744265939756497631223778/675536380253\ 6464994319511*c_0101_3 + 66540186281125479103849841/675536380253646\ 4994319511, c_0101_2 + 169692385769175020303647850/6755363802536464994319511*c_0101\ _3^23 + 60289551076485451021096730/6755363802536464994319511*c_0101\ _3^22 - 2838376879606445003672300639/6755363802536464994319511*c_01\ 01_3^21 - 5224307174981197749775265935/6755363802536464994319511*c_\ 0101_3^20 + 8981243372414184089053786590/6755363802536464994319511*\ c_0101_3^19 + 32227292855644855653594608933/67553638025364649943195\ 11*c_0101_3^18 + 1060417304314018595866866234/965051971790923570617\ 073*c_0101_3^17 - 70566699911329032678341712581/6755363802536464994\ 319511*c_0101_3^16 - 78966225217162712799934977150/6755363802536464\ 994319511*c_0101_3^15 + 6630879820885613189570171440/96505197179092\ 3570617073*c_0101_3^14 + 143306931551746264231909337299/67553638025\ 36464994319511*c_0101_3^13 + 54286732401950200640172241029/67553638\ 02536464994319511*c_0101_3^12 - 100648964855205946987164524399/6755\ 363802536464994319511*c_0101_3^11 - 110649674871271769857979233534/6755363802536464994319511*c_0101_3^1\ 0 + 3119751002315972189650826067/6755363802536464994319511*c_0101_3\ ^9 + 67009094768315320591558328410/6755363802536464994319511*c_0101\ _3^8 + 33049881521784743947333863846/6755363802536464994319511*c_01\ 01_3^7 - 11279935087322301921677957574/6755363802536464994319511*c_\ 0101_3^6 - 15431828290143389438240434611/6755363802536464994319511*\ c_0101_3^5 - 3228320393175652897094294073/6755363802536464994319511\ *c_0101_3^4 + 1721612829336495203102591325/675536380253646499431951\ 1*c_0101_3^3 + 953209394308617669153282985/675536380253646499431951\ 1*c_0101_3^2 + 120341273527166866630679900/675536380253646499431951\ 1*c_0101_3 - 8843985424864760653843429/6755363802536464994319511, c_0101_3^24 + 4/5*c_0101_3^23 - 416/25*c_0101_3^22 - 958/25*c_0101_3^21 + 1008/25*c_0101_3^20 + 5417/25*c_0101_3^19 + 3196/25*c_0101_3^18 - 10238/25*c_0101_3^17 - 16663/25*c_0101_3^16 + 1921/25*c_0101_3^15 + 25149/25*c_0101_3^14 + 17984/25*c_0101_3^13 - 11921/25*c_0101_3^12 - 24017/25*c_0101_3^11 - 7103/25*c_0101_3^10 + 10621/25*c_0101_3^9 + 9771/25*c_0101_3^8 + 542/25*c_0101_3^7 - 127*c_0101_3^6 - 313/5*c_0101_3^5 + 48/25*c_0101_3^4 + 267/25*c_0101_3^3 + 82/25*c_0101_3^2 + 1/5*c_0101_3 - 1/25 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB