Magma V2.19-8 Tue Aug 20 2013 16:16:40 on localhost [Seed = 37985992] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0956 geometric_solution 4.85342703 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 2310 2031 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 1 -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.815634001472 0.603635199293 0 0 2 2 0132 3201 2310 0132 0 0 0 0 0 -1 1 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 1 -1 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 1.075971888167 1.515086740210 3 1 1 4 0132 3201 0132 0132 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 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.622008865522 0.181758499470 2 4 5 4 0132 0321 0132 3201 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 -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.541047699624 1.298922508250 5 3 2 3 0132 2310 0132 0321 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 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.541047699624 1.298922508250 4 6 6 3 0132 0132 1023 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 -1 1 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.061794763596 0.333959738882 6 5 5 6 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.303170485760 1.110846222207 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(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' : negation(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' : negation(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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), '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_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_2'], 'c_0101_4' : d['c_0101_3'], '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_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : d['c_0011_2'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_2'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_2'], 'c_0110_6' : d['c_0011_4'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_2'], 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0011_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_4, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 44649984606187841783935791278695438013900243130081065/1439608346027\ 15468783121431263565929731713207526496*c_0101_6^20 + 669479889275740515872820193705471764944089885933530887/143960834602\ 715468783121431263565929731713207526496*c_0101_6^19 + 4773673465263042851031843952848122418048786497784535549/14396083460\ 2715468783121431263565929731713207526496*c_0101_6^18 + 16092205835613182285258049060192220794419888240949939543/1439608346\ 02715468783121431263565929731713207526496*c_0101_6^17 + 5321429895834892629385452628730128388545983385162422819/14396083460\ 2715468783121431263565929731713207526496*c_0101_6^16 - 116745874709802053588852001827890786663317933859877921993/143960834\ 602715468783121431263565929731713207526496*c_0101_6^15 - 163348596340227018527785583608563971216621088382113496899/719804173\ 01357734391560715631782964865856603763248*c_0101_6^14 - 323298219255772426261648851778492057320049159513066557085/143960834\ 602715468783121431263565929731713207526496*c_0101_6^13 - 440556678568760660309476895876175492653262892806384703/966180098004\ 801803913566652775610266655793339104*c_0101_6^12 - 4720143457293452878286023128388399472455320636182274463/89975521626\ 69716798945089453972870608232075470406*c_0101_6^11 + 14268793749912057696361089638693507180449212676924444129/4498776081\ 334858399472544726986435304116037735203*c_0101_6^10 + 726517898420006697908302966886300649707907872782903424925/143960834\ 602715468783121431263565929731713207526496*c_0101_6^9 - 128876416889859393708974121594890471362430483962770845931/143960834\ 602715468783121431263565929731713207526496*c_0101_6^8 - 59273843632661314350656332699983747531813690175673183565/3599020865\ 0678867195780357815891482432928301881624*c_0101_6^7 - 188144959680484406577198223803037691650456962241839091451/143960834\ 602715468783121431263565929731713207526496*c_0101_6^6 - 108724389761868984509461662376944875379431479194933779231/719804173\ 01357734391560715631782964865856603763248*c_0101_6^5 + 210641248906238024887230527179626054565212299908442210743/143960834\ 602715468783121431263565929731713207526496*c_0101_6^4 + 150835537607811822563505005479653198643864594328304752639/143960834\ 602715468783121431263565929731713207526496*c_0101_6^3 - 73794636038722556263317681337550573124105950508386973567/1439608346\ 02715468783121431263565929731713207526496*c_0101_6^2 - 28185479437179506160718668274766198640276138299454699019/1439608346\ 02715468783121431263565929731713207526496*c_0101_6 + 409087158594732476161030314365459638973541937467396445/899755216266\ 9716798945089453972870608232075470406, c_0011_0 - 1, c_0011_2 - 84954606003471299092716505350050962433401666365/449877608133\ 4858399472544726986435304116037735203*c_0101_6^20 - 1209971729106138241815387855923675110033581259273/44987760813348583\ 99472544726986435304116037735203*c_0101_6^19 - 8163029272980255991265662062272625993727582095598/44987760813348583\ 99472544726986435304116037735203*c_0101_6^18 - 24320729614749428461699727153842917602001658053449/4498776081334858\ 399472544726986435304116037735203*c_0101_6^17 + 9363077843543914284066973767170301751593921973781/44987760813348583\ 99472544726986435304116037735203*c_0101_6^16 + 219522023498123793626239537776058040932742128648840/449877608133485\ 8399472544726986435304116037735203*c_0101_6^15 + 460188102614998855492537716637360241157337950146774/449877608133485\ 8399472544726986435304116037735203*c_0101_6^14 + 243756952583229293600109903613402000571505182974614/449877608133485\ 8399472544726986435304116037735203*c_0101_6^13 - 991925667193655867961947882292522127435777795793/301931280626500563\ 72298957899237820832993541847*c_0101_6^12 + 132486040603838014746433661495064029365666866809169/449877608133485\ 8399472544726986435304116037735203*c_0101_6^11 - 1052585565065744676340395441674296633648892728482092/44987760813348\ 58399472544726986435304116037735203*c_0101_6^10 - 665480591193600629097363877646039877014853902011355/449877608133485\ 8399472544726986435304116037735203*c_0101_6^9 + 808375732260906257423765686115716894563716153428961/449877608133485\ 8399472544726986435304116037735203*c_0101_6^8 + 47053628099767623452798714486045799739837043883580/4498776081334858\ 399472544726986435304116037735203*c_0101_6^7 + 387958221346443643200806389476964183790111118342978/449877608133485\ 8399472544726986435304116037735203*c_0101_6^6 + 132316455919401223312432779952397670106264032234149/449877608133485\ 8399472544726986435304116037735203*c_0101_6^5 - 533875971808572386622859468784805565999208089415976/449877608133485\ 8399472544726986435304116037735203*c_0101_6^4 + 33748104350573657396668810249327950408530692215116/4498776081334858\ 399472544726986435304116037735203*c_0101_6^3 + 127686982286861863571417911911247372303988976405674/449877608133485\ 8399472544726986435304116037735203*c_0101_6^2 - 16782788606345184420934111714858897440307548945960/4498776081334858\ 399472544726986435304116037735203*c_0101_6 - 1726856541658182553221731118753982088103051414931/44987760813348583\ 99472544726986435304116037735203, c_0011_4 + 240996772788066197810002718370622743051706508897/44987760813\ 34858399472544726986435304116037735203*c_0101_6^20 + 3480004913856980669591982078218406186277122349930/44987760813348583\ 99472544726986435304116037735203*c_0101_6^19 + 23836317615289140755358640654308164152182272775747/4498776081334858\ 399472544726986435304116037735203*c_0101_6^18 + 73624879385552277765155365346443526708898348935836/4498776081334858\ 399472544726986435304116037735203*c_0101_6^17 - 12283692669710940308307569745786911714674094819665/4498776081334858\ 399472544726986435304116037735203*c_0101_6^16 - 624215200341947729600900147616569564316785830803275/449877608133485\ 8399472544726986435304116037735203*c_0101_6^15 - 1418704064395098493671980986584722292734424209517695/44987760813348\ 58399472544726986435304116037735203*c_0101_6^14 - 955433414138711248605372761150636095178144167443333/449877608133485\ 8399472544726986435304116037735203*c_0101_6^13 + 1293852522269203806350467582702797443979818320149/30193128062650056\ 372298957899237820832993541847*c_0101_6^12 - 482212542702252008105344216811428771864653363835612/449877608133485\ 8399472544726986435304116037735203*c_0101_6^11 + 2763084277609885021718506020321342416347957005254278/44987760813348\ 58399472544726986435304116037735203*c_0101_6^10 + 2414278617854014292374180191803903155714847454964608/44987760813348\ 58399472544726986435304116037735203*c_0101_6^9 - 2036213044299060733621806244309612670757894894583947/44987760813348\ 58399472544726986435304116037735203*c_0101_6^8 - 185199006941747242586592837637706145364440190316335/449877608133485\ 8399472544726986435304116037735203*c_0101_6^7 - 959762654721546800436159993660810689960612612166076/449877608133485\ 8399472544726986435304116037735203*c_0101_6^6 - 650107126909365051381405466425461759479098985902254/449877608133485\ 8399472544726986435304116037735203*c_0101_6^5 + 1508851717495768992602360650848218176139586934183029/44987760813348\ 58399472544726986435304116037735203*c_0101_6^4 - 12263169270679851324002895968899911642403767856623/4498776081334858\ 399472544726986435304116037735203*c_0101_6^3 - 380734998175017387176907231119355803043456756467196/449877608133485\ 8399472544726986435304116037735203*c_0101_6^2 + 49262056880240630389366892273499796568713945299642/4498776081334858\ 399472544726986435304116037735203*c_0101_6 + 1318246428944024498779100970057932761980017133069/44987760813348583\ 99472544726986435304116037735203, c_0101_0 - 280949243333278924828808608911970501385292915969/44987760813\ 34858399472544726986435304116037735203*c_0101_6^20 - 4049269821827363112932783928737548075979466764493/44987760813348583\ 99472544726986435304116037735203*c_0101_6^19 - 27674693926325576957949889029173731798331742055941/4498776081334858\ 399472544726986435304116037735203*c_0101_6^18 - 85035959847900859793799142497253182291886609671877/4498776081334858\ 399472544726986435304116037735203*c_0101_6^17 + 16905825109280536815045635947945720436685462841276/4498776081334858\ 399472544726986435304116037735203*c_0101_6^16 + 728014129561529061932021391727496690487268272342781/449877608133485\ 8399472544726986435304116037735203*c_0101_6^15 + 1633696484892694511559968375686200020772068928441883/44987760813348\ 58399472544726986435304116037735203*c_0101_6^14 + 1062631813499438289706456694185511945217663554882703/44987760813348\ 58399472544726986435304116037735203*c_0101_6^13 - 1792043276466986884895147256982545041704214147583/30193128062650056\ 372298957899237820832993541847*c_0101_6^12 + 560353974264628162641331762198976773917525132702436/449877608133485\ 8399472544726986435304116037735203*c_0101_6^11 - 3242493222732944541342501451104017512977457346671163/44987760813348\ 58399472544726986435304116037735203*c_0101_6^10 - 2743331624036502270700347534353688576607497856341476/44987760813348\ 58399472544726986435304116037735203*c_0101_6^9 + 2483567990866220479929115241320253592229948237582182/44987760813348\ 58399472544726986435304116037735203*c_0101_6^8 + 146681975921379133155286552003603329564543919831512/449877608133485\ 8399472544726986435304116037735203*c_0101_6^7 + 1107012059064932769357150742783296139461469782426200/44987760813348\ 58399472544726986435304116037735203*c_0101_6^6 + 744077652153639593460576363206910504453412517338942/449877608133485\ 8399472544726986435304116037735203*c_0101_6^5 - 1802334072019917692735004197220247594432101041000405/44987760813348\ 58399472544726986435304116037735203*c_0101_6^4 + 68591783307052486402420695905126368570665348757475/4498776081334858\ 399472544726986435304116037735203*c_0101_6^3 + 441683727664271075761985649176447831065276717732922/449877608133485\ 8399472544726986435304116037735203*c_0101_6^2 - 72922238879595257498126501826743254645578936751082/4498776081334858\ 399472544726986435304116037735203*c_0101_6 + 2768957152535283663639058587882466176059635926921/44987760813348583\ 99472544726986435304116037735203, c_0101_1 - 165025542048737523053794839290257808193942561656/44987760813\ 34858399472544726986435304116037735203*c_0101_6^20 - 2359978318159234619014904012598245588087169440169/44987760813348583\ 99472544726986435304116037735203*c_0101_6^19 - 16000685695226301540192235333267099138352962792506/4498776081334858\ 399472544726986435304116037735203*c_0101_6^18 - 48282639713678264403065659412196832739629294329781/4498776081334858\ 399472544726986435304116037735203*c_0101_6^17 + 14537958070885182459215474463908694948149715495502/4498776081334858\ 399472544726986435304116037735203*c_0101_6^16 + 423967345689238566177039087395351875481266000844605/449877608133485\ 8399472544726986435304116037735203*c_0101_6^15 + 914848163834437294260231547345013753574460208801342/449877608133485\ 8399472544726986435304116037735203*c_0101_6^14 + 543314018335394931415435676121710632149538551072012/449877608133485\ 8399472544726986435304116037735203*c_0101_6^13 - 1250608691267454166161307545871850130081199721362/30193128062650056\ 372298957899237820832993541847*c_0101_6^12 + 351463819984423167990248922370935133613742711707989/449877608133485\ 8399472544726986435304116037735203*c_0101_6^11 - 1949772885123663301287801923062478801280668154402881/44987760813348\ 58399472544726986435304116037735203*c_0101_6^10 - 1353480676901111486725984886206896879516409368895839/44987760813348\ 58399472544726986435304116037735203*c_0101_6^9 + 1465489916245472744978734337937356607166639418170320/44987760813348\ 58399472544726986435304116037735203*c_0101_6^8 - 22616584444608420148555777871327505669330313128908/4498776081334858\ 399472544726986435304116037735203*c_0101_6^7 + 682407866357940245711383491407015318279334066479369/449877608133485\ 8399472544726986435304116037735203*c_0101_6^6 + 291147937909775747913371907868550003858935765869017/449877608133485\ 8399472544726986435304116037735203*c_0101_6^5 - 1005275145751878507462491931887938886032729530665268/44987760813348\ 58399472544726986435304116037735203*c_0101_6^4 + 97844549254919669880423722445897258271547883408616/4498776081334858\ 399472544726986435304116037735203*c_0101_6^3 + 243893226656537964184800653113432867522111356692714/449877608133485\ 8399472544726986435304116037735203*c_0101_6^2 - 41703828628672076778086655919297356609612434434641/4498776081334858\ 399472544726986435304116037735203*c_0101_6 - 2927070134991695660167298696951710416082757672986/44987760813348583\ 99472544726986435304116037735203, c_0101_3 - 84898416836535322224854115641442260070106230122/449877608133\ 4858399472544726986435304116037735203*c_0101_6^20 - 1194779576068331921215619091798620381010856348726/44987760813348583\ 99472544726986435304116037735203*c_0101_6^19 - 7941049968837007050601691617177243432250552134693/44987760813348583\ 99472544726986435304116037735203*c_0101_6^18 - 22756222895869536515833278454484116430176857718737/4498776081334858\ 399472544726986435304116037735203*c_0101_6^17 + 14603203334919009285157075284336690964370866969892/4498776081334858\ 399472544726986435304116037735203*c_0101_6^16 + 221241224330836697870304148103490174813505976663267/449877608133485\ 8399472544726986435304116037735203*c_0101_6^15 + 422175607999836185274885686771467636220105071130071/449877608133485\ 8399472544726986435304116037735203*c_0101_6^14 + 137622704783858619332302389178056018202499098650264/449877608133485\ 8399472544726986435304116037735203*c_0101_6^13 - 1699942550591281505322071726760925791405301756127/30193128062650056\ 372298957899237820832993541847*c_0101_6^12 + 105465469015764412982437871340221434127588201054643/449877608133485\ 8399472544726986435304116037735203*c_0101_6^11 - 1091356461165029584814451399531009484237497403813649/44987760813348\ 58399472544726986435304116037735203*c_0101_6^10 - 529828503092749275375053740620344626885617994752558/449877608133485\ 8399472544726986435304116037735203*c_0101_6^9 + 1057187543127040010500425394035061671336616641162743/44987760813348\ 58399472544726986435304116037735203*c_0101_6^8 - 21205255760561380184048438823638987296800264797323/4498776081334858\ 399472544726986435304116037735203*c_0101_6^7 + 362183951098960695392064171600398821326167211408857/449877608133485\ 8399472544726986435304116037735203*c_0101_6^6 + 83271389569068257117994566721284483754929456332295/4498776081334858\ 399472544726986435304116037735203*c_0101_6^5 - 624423404369067377894806074251373673302690548231177/449877608133485\ 8399472544726986435304116037735203*c_0101_6^4 + 117392450450508118345919567773249250453183195271802/449877608133485\ 8399472544726986435304116037735203*c_0101_6^3 + 146124065811824880103670842034771315281065239140086/449877608133485\ 8399472544726986435304116037735203*c_0101_6^2 - 36623306447674796366047533076151815110961441970800/4498776081334858\ 399472544726986435304116037735203*c_0101_6 + 618683286038951887231158578378796207085353111536/449877608133485839\ 9472544726986435304116037735203, c_0101_6^21 + 15*c_0101_6^20 + 107*c_0101_6^19 + 361*c_0101_6^18 + 121*c_0101_6^17 - 2615*c_0101_6^16 - 7332*c_0101_6^15 - 7275*c_0101_6^14 - 1495*c_0101_6^13 - 1694*c_0101_6^12 + 10206*c_0101_6^11 + 16341*c_0101_6^10 - 2835*c_0101_6^9 - 5350*c_0101_6^8 - 4197*c_0101_6^7 - 4902*c_0101_6^6 + 4701*c_0101_6^5 + 3411*c_0101_6^4 - 1661*c_0101_6^3 - 633*c_0101_6^2 + 150*c_0101_6 - 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB