Magma V2.19-8 Tue Aug 20 2013 16:18:30 on localhost [Seed = 391547435] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2699 geometric_solution 5.95295301 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 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.453850873826 0.213468454021 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -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 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.741927450122 0.635146000881 1 4 5 3 0132 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 -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 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.206747238954 1.096883875733 2 5 4 1 3201 1023 3201 0132 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 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.206747238954 1.096883875733 3 2 6 6 2310 0132 3201 0132 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 1 0 0 -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.146994574354 1.671262009365 3 5 5 2 1023 1230 3012 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 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.300688390149 0.732997237604 4 6 4 6 2310 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.450965411588 0.902915634099 ==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' : negation(d['c_0011_6']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : 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' : d['c_0011_3'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], '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_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : negation(d['c_0101_4']), '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' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_4']), 'c_1010_6' : d['c_0011_6'], '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' : negation(d['c_0101_1']), '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_0011_6, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 40 Groebner basis: [ t + 195881793778860593012354386549599023805347330042429144350528036/270\ 321383202807976487890729355978828848797663477090532889733*c_0101_4^\ 39 - 27377314685444431313291749174525658399861597100862112180647704\ 08/90107127734269325495963576451992942949599221159030177629911*c_01\ 01_4^37 + 983401903953695690083053651799045812377264924869583670876\ 49044344/2703213832028079764878907293559788288487976634770905328897\ 33*c_0101_4^35 - 24751127010100748829407804391350765152111305020263\ 4832124807342196/27032138320280797648789072935597882884879766347709\ 0532889733*c_0101_4^33 - 137463918988504308589092088339110243575162\ 2620900028965532572901613/27032138320280797648789072935597882884879\ 7663477090532889733*c_0101_4^31 + 278790463985334506463465850392520\ 0364502834780621994015139255205394/27032138320280797648789072935597\ 8828848797663477090532889733*c_0101_4^29 + 5945362118731996916024587260559459483662725776776474887798905692136\ /270321383202807976487890729355978828848797663477090532889733*c_010\ 1_4^27 - 6696729608743354200530994841689236289233077629340570974866\ 353489211/270321383202807976487890729355978828848797663477090532889\ 733*c_0101_4^25 + 7979456450491437276899786223226837099710135647999\ 340266259799913494/270321383202807976487890729355978828848797663477\ 090532889733*c_0101_4^23 + 1823633935602541552068394480045542973673\ 4044509657246923375113395372/27032138320280797648789072935597882884\ 8797663477090532889733*c_0101_4^21 - 6562434898494975890943615712671751989287431075339164779813696247921\ 7/270321383202807976487890729355978828848797663477090532889733*c_01\ 01_4^19 - 531869306202670129311081910211511341467826108037474755353\ 59738383989/2703213832028079764878907293559788288487976634770905328\ 89733*c_0101_4^17 + 21832130196582042174391031544734999059820158080\ 458114065508665972545/901071277342693254959635764519929429495992211\ 59030177629911*c_0101_4^15 + 35283855454183460718465518864733060254\ 009675200348538307574747417571/270321383202807976487890729355978828\ 848797663477090532889733*c_0101_4^13 - 3218155826090741771869914526937055956228438650299018860999578935765\ /90107127734269325495963576451992942949599221159030177629911*c_0101\ _4^11 - 18306520000344532755395918131573429927478318645858870998432\ 7827088/24574671200255270589808248123270802622617969407008230262703\ *c_0101_4^9 + 29390016509152084213023348495203628975294912197021863\ 9884871944123/90107127734269325495963576451992942949599221159030177\ 629911*c_0101_4^7 - 10015924861279085864732214484654546863443838361\ 9381630244235724084/90107127734269325495963576451992942949599221159\ 030177629911*c_0101_4^5 + 31144396728685455091964358265145143829338\ 029534043131890332465892/270321383202807976487890729355978828848797\ 663477090532889733*c_0101_4^3 - 32110987075743993344078260619684523\ 01432439168475587889736485512/2703213832028079764878907293559788288\ 48797663477090532889733*c_0101_4, c_0011_0 - 1, c_0011_1 - 3560290387526184786325209293929147645722848903982715219/5424\ 8722296369250750128583053577930734256003105978433251*c_0101_4^38 + 149550094111938532695926666882079465818328796237032344407/542487222\ 96369250750128583053577930734256003105978433251*c_0101_4^36 - 1798658589665184073690703402386566658279067004219451044668/54248722\ 296369250750128583053577930734256003105978433251*c_0101_4^34 + 4632191592552240813815525199034885975602678762749427951792/54248722\ 296369250750128583053577930734256003105978433251*c_0101_4^32 + 24665826959623734938059840590686016878736568488267034870867/5424872\ 2296369250750128583053577930734256003105978433251*c_0101_4^30 - 52615632891844491847054120750957597689602551403151055357644/5424872\ 2296369250750128583053577930734256003105978433251*c_0101_4^28 - 104528922044545062699991140591744517488511245374194250834645/542487\ 22296369250750128583053577930734256003105978433251*c_0101_4^26 + 130485865315019127627280455110226417041361790686672302489261/542487\ 22296369250750128583053577930734256003105978433251*c_0101_4^24 - 152903253145619428304203956356032104327842364179710449102100/542487\ 22296369250750128583053577930734256003105978433251*c_0101_4^22 - 321873999367540835066734139073699290672123010330179406364430/542487\ 22296369250750128583053577930734256003105978433251*c_0101_4^20 + 1219443782429922676203421408025989779429725783302490941208235/54248\ 722296369250750128583053577930734256003105978433251*c_0101_4^18 + 880549215479393365376085964058530663957962013334431469804297/542487\ 22296369250750128583053577930734256003105978433251*c_0101_4^16 - 1277650973245071939983187423336463293215432888914899210981795/54248\ 722296369250750128583053577930734256003105978433251*c_0101_4^14 - 563854801174377112082474032899290499251473214247801202253312/542487\ 22296369250750128583053577930734256003105978433251*c_0101_4^12 + 238015009196621432948313580828764849479879014489541489096771/542487\ 22296369250750128583053577930734256003105978433251*c_0101_4^10 + 32519949560123933439302616336503917864452651339294549889278/5424872\ 2296369250750128583053577930734256003105978433251*c_0101_4^8 - 21019139881356618814480828542598549126368880247268291785282/5424872\ 2296369250750128583053577930734256003105978433251*c_0101_4^6 + 5591679730067049795964510194514279104129443432242159697602/54248722\ 296369250750128583053577930734256003105978433251*c_0101_4^4 - 630662163223841956437298003135786150670461926420080459639/542487222\ 96369250750128583053577930734256003105978433251*c_0101_4^2 + 64531291669066386167195390373033914555905959401792942977/5424872229\ 6369250750128583053577930734256003105978433251, c_0011_3 - 4265661421765841333212895568660482105499337846165406571228/8\ 191557066751756863269416041090267540872656469002743420901*c_0101_4^\ 39 + 178783900858080437823663358710876382283155899380014873519666/8\ 191557066751756863269416041090267540872656469002743420901*c_0101_4^\ 37 - 2138418210215013119608515617631722423858053452834515328248336/\ 8191557066751756863269416041090267540872656469002743420901*c_0101_4\ ^35 + 5350707996383648008165220887670628027147272399410805824849844\ /8191557066751756863269416041090267540872656469002743420901*c_0101_\ 4^33 + 300609756709505373723438219655525314699281044171734995184412\ 14/8191557066751756863269416041090267540872656469002743420901*c_010\ 1_4^31 - 6028463077708649699346224339345184760359582884155797625742\ 1942/8191557066751756863269416041090267540872656469002743420901*c_0\ 101_4^29 - 13100235985375028066732265936401062363112329178515883252\ 8951294/8191557066751756863269416041090267540872656469002743420901*\ c_0101_4^27 + 14454098495944211648870227251916621835412083070620229\ 3389500686/81915570667517568632694160410902675408726564690027434209\ 01*c_0101_4^25 - 16902155492872211038859531733927905194645030141933\ 5185733636274/81915570667517568632694160410902675408726564690027434\ 20901*c_0101_4^23 - 40212011830277004368831333197896710684927369171\ 3960837272110146/81915570667517568632694160410902675408726564690027\ 43420901*c_0101_4^21 + 14247482455011092443509504970871495519990902\ 00297779634445072076/8191557066751756863269416041090267540872656469\ 002743420901*c_0101_4^19 + 1189453774376263299828354131360045255059\ 189758805953669503265470/819155706675175686326941604109026754087265\ 6469002743420901*c_0101_4^17 - 142881627552641916189840494507595937\ 0316350838779504011532870397/81915570667517568632694160410902675408\ 72656469002743420901*c_0101_4^15 - 815226813547214760713990579051934712925392145552374978256990991/819\ 1557066751756863269416041090267540872656469002743420901*c_0101_4^13 + 217609325121497293042757703678122685865355551841840475735396689/8\ 191557066751756863269416041090267540872656469002743420901*c_0101_4^\ 11 + 63809752059630992399437604315721812065912944984975249801914561\ /8191557066751756863269416041090267540872656469002743420901*c_0101_\ 4^9 - 2015563479967148104199684968272908792321035723534581414681523\ 8/8191557066751756863269416041090267540872656469002743420901*c_0101\ _4^7 + 487594003592704345624923598594509740287656425679647307148038\ 7/8191557066751756863269416041090267540872656469002743420901*c_0101\ _4^5 - 350391104519827012361734177900876243836591560214502285413464\ /8191557066751756863269416041090267540872656469002743420901*c_0101_\ 4^3 + 10199880055947038816548651012198305176910009794100586356425/8\ 191557066751756863269416041090267540872656469002743420901*c_0101_4, c_0011_6 - 7825548191301307352337096720513816429976194273118209382/5424\ 8722296369250750128583053577930734256003105978433251*c_0101_4^38 + 328884611319988475963394609663870340288640446485511273588/542487222\ 96369250750128583053577930734256003105978433251*c_0101_4^36 - 3960580745671562129146290010052645836166490202919495234997/54248722\ 296369250750128583053577930734256003105978433251*c_0101_4^34 + 10263535615020355984003524947179158275316704851605278898288/5424872\ 2296369250750128583053577930734256003105978433251*c_0101_4^32 + 54052331928591744616946559320309563298457003288885209115007/5424872\ 2296369250750128583053577930734256003105978433251*c_0101_4^30 - 116994714729429200453453585197777831046692535139342631482315/542487\ 22296369250750128583053577930734256003105978433251*c_0101_4^28 - 228064678530040130074387963971589772164959711367048139743309/542487\ 22296369250750128583053577930734256003105978433251*c_0101_4^26 + 293574905637967796330762637427683750950411530800305989017718/542487\ 22296369250750128583053577930734256003105978433251*c_0101_4^24 - 338669033628891052728583155831437501107677949207992039564142/542487\ 22296369250750128583053577930734256003105978433251*c_0101_4^22 - 704175811087596765593041605040233855000979042041131145568760/542487\ 22296369250750128583053577930734256003105978433251*c_0101_4^20 + 2700743530012022569795807450665390888356382682492282753463051/54248\ 722296369250750128583053577930734256003105978433251*c_0101_4^18 + 1887927212027670010517424626996307255277518552301610945813556/54248\ 722296369250750128583053577930734256003105978433251*c_0101_4^16 - 2891403348277304808846956067609018187267060695205346155209512/54248\ 722296369250750128583053577930734256003105978433251*c_0101_4^14 - 1211401260753199009695126085248681411248491349261370452180825/54248\ 722296369250750128583053577930734256003105978433251*c_0101_4^12 + 590828757213250457106142059797415337352066789657101100426144/542487\ 22296369250750128583053577930734256003105978433251*c_0101_4^10 + 82539498904510815122870947830391930439754819319508184725332/5424872\ 2296369250750128583053577930734256003105978433251*c_0101_4^8 - 53570426552109198225711242784163886290502839621448276668591/5424872\ 2296369250750128583053577930734256003105978433251*c_0101_4^6 + 12336590194869321810668411764179947731653611317408979358085/5424872\ 2296369250750128583053577930734256003105978433251*c_0101_4^4 - 1406310759715397574158819193096371627571985272783121359991/54248722\ 296369250750128583053577930734256003105978433251*c_0101_4^2 + 44534894371574270223380132572933940642921102489709935971/5424872229\ 6369250750128583053577930734256003105978433251, c_0101_0 - 634791863777593906865670690783934133301428436480249702768/81\ 91557066751756863269416041090267540872656469002743420901*c_0101_4^3\ 9 + 26590484219613898289546053772210717844302437489546091180629/819\ 1557066751756863269416041090267540872656469002743420901*c_0101_4^37 - 317583421412505802164134171494606474001397404087412702424360/8191\ 557066751756863269416041090267540872656469002743420901*c_0101_4^35 + 788272586455152053853016867993088820032003401797005873408063/819155\ 7066751756863269416041090267540872656469002743420901*c_0101_4^33 + 4497241468884663922044636555761372916397338829509478485348961/81915\ 57066751756863269416041090267540872656469002743420901*c_0101_4^31 - 8875617582990333516932526975518666267360242726266105451023122/81915\ 57066751756863269416041090267540872656469002743420901*c_0101_4^29 - 19779696209991253193771246298612641688068254119035724134991646/8191\ 557066751756863269416041090267540872656469002743420901*c_0101_4^27 + 21167637291685889595036500850309048886716905100844040592445312/8191\ 557066751756863269416041090267540872656469002743420901*c_0101_4^25 - 24313038762554581835415495867503297983029262702588219158481132/8191\ 557066751756863269416041090267540872656469002743420901*c_0101_4^23 - 60714300098577903605532415437871902166031569758683019369895193/8191\ 557066751756863269416041090267540872656469002743420901*c_0101_4^21 + 210907069367419240501632544641400575032211803666996553367310423/819\ 1557066751756863269416041090267540872656469002743420901*c_0101_4^19 + 183082280817050778888026016473419315672469085404414285609837776/8\ 191557066751756863269416041090267540872656469002743420901*c_0101_4^\ 17 - 21147492086812348931007428197819280125248709630452374276226817\ 1/8191557066751756863269416041090267540872656469002743420901*c_0101\ _4^15 - 12976410823826159493275950211428885056824799653281631830705\ 9180/8191557066751756863269416041090267540872656469002743420901*c_0\ 101_4^13 + 32325087685314781605952179664739813169387569207671071075\ 488925/8191557066751756863269416041090267540872656469002743420901*c\ _0101_4^11 + 126884304210667352492014171537419615378736606301050239\ 01726491/8191557066751756863269416041090267540872656469002743420901\ *c_0101_4^9 - 31128922663225652609656513908633353582150543759981014\ 86408575/8191557066751756863269416041090267540872656469002743420901\ *c_0101_4^7 + 54493352251068045506080268165874094587849840655677726\ 7794879/8191557066751756863269416041090267540872656469002743420901*\ c_0101_4^5 + 390379364483736611299685754686286028028985667111719164\ 02263/8191557066751756863269416041090267540872656469002743420901*c_\ 0101_4^3 - 19273193895353957218740100976783724064993292925659289138\ 716/8191557066751756863269416041090267540872656469002743420901*c_01\ 01_4, c_0101_1 + 7082453605741155982125722958593369431321822327038142162/5424\ 8722296369250750128583053577930734256003105978433251*c_0101_4^38 - 297409205642389536707142153568258970832991965442275644488/542487222\ 96369250750128583053577930734256003105978433251*c_0101_4^36 + 3574287399064935813159586546719595753095286732425251534660/54248722\ 296369250750128583053577930734256003105978433251*c_0101_4^34 - 9169136306213262007831609820586432596329823976473843938395/54248722\ 296369250750128583053577930734256003105978433251*c_0101_4^32 - 49189475721419929229804100177043453456414831886915762285192/5424872\ 2296369250750128583053577930734256003105978433251*c_0101_4^30 + 104064629127923350499598802347711930438433985271333721825384/542487\ 22296369250750128583053577930734256003105978433251*c_0101_4^28 + 209327870864816132386327943161434471415330743606135316291668/542487\ 22296369250750128583053577930734256003105978433251*c_0101_4^26 - 257149788615490349494394051798220098935562923586689427269070/542487\ 22296369250750128583053577930734256003105978433251*c_0101_4^24 + 300655266760747125771810399150013119513892088860078701464526/542487\ 22296369250750128583053577930734256003105978433251*c_0101_4^22 + 644752011800020413740099829630004433930484417174856160658930/542487\ 22296369250750128583053577930734256003105978433251*c_0101_4^20 - 2418421496899567590848780547657582647201599107853984563398067/54248\ 722296369250750128583053577930734256003105978433251*c_0101_4^18 - 1783116412607130153889321872202975704615139082786795538051808/54248\ 722296369250750128583053577930734256003105978433251*c_0101_4^16 + 2523922720737931680114095449541107427086510230753664889096210/54248\ 722296369250750128583053577930734256003105978433251*c_0101_4^14 + 1154272143305493791602485328263684022058963191584401547867267/54248\ 722296369250750128583053577930734256003105978433251*c_0101_4^12 - 465221175618624978440159514397700922265587989832881304457215/542487\ 22296369250750128583053577930734256003105978433251*c_0101_4^10 - 69658397886213678739167913431229368917958018438213492442117/5424872\ 2296369250750128583053577930734256003105978433251*c_0101_4^8 + 42877773173943845757098226867121163149562058692087664117806/5424872\ 2296369250750128583053577930734256003105978433251*c_0101_4^6 - 11458779348637483436409162446652260079029391002778526155078/5424872\ 2296369250750128583053577930734256003105978433251*c_0101_4^4 + 1276019751291544817474645768329204083695942574795066483453/54248722\ 296369250750128583053577930734256003105978433251*c_0101_4^2 - 65591375153929153739019967067846308072657014277709615020/5424872229\ 6369250750128583053577930734256003105978433251, c_0101_4^40 - 42*c_0101_4^38 + 505*c_0101_4^36 - 1299*c_0101_4^34 - 6929*c_0101_4^32 + 14730*c_0101_4^30 + 29354*c_0101_4^28 - 36350*c_0101_4^26 + 43119*c_0101_4^24 + 90266*c_0101_4^22 - 341650*c_0101_4^20 - 247955*c_0101_4^18 + 353958*c_0101_4^16 + 156759*c_0101_4^14 - 62468*c_0101_4^12 - 6959*c_0101_4^10 + 5336*c_0101_4^8 - 1839*c_0101_4^6 + 257*c_0101_4^4 - 26*c_0101_4^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.250 seconds, Total memory usage: 32.09MB