Magma V2.19-8 Tue Aug 20 2013 16:18:19 on localhost [Seed = 2530675647] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2529 geometric_solution 5.84293288 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 1 0 -1 0 0 1 -1 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.494837733265 0.306349718142 2 0 3 0 0132 2310 0132 0132 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 1 -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 1.044233707683 0.598098391219 1 4 3 5 0132 0132 3012 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 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.041178052770 0.842550451851 5 2 4 1 1023 1230 1023 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 1 0 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 1.041178052770 0.842550451851 4 2 3 4 3012 0132 1023 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.404253404844 0.639627963899 6 3 2 6 0132 1023 0132 3201 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 -1 0 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.696970140069 0.386074217525 5 5 6 6 0132 2310 2031 1302 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 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.409416316948 0.935009346871 ==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' : d['c_0101_6'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_1'], '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_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_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' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), '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' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), '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_6'], 'c_0110_4' : d['c_0011_1'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 765488437460314821445145917706489256628280919369/349779233373237055\ 551518132981457208720573159*c_0101_6^23 - 639910023519771513009223911524259475016401182049/104933770011971116\ 6654554398944371626161719477*c_0101_6^22 + 59486946484032384444698066637885992227716358699574/1049337700119711\ 166654554398944371626161719477*c_0101_6^21 + 13179987346999281908556602013769383502464994168858/3497792333732370\ 55551518132981457208720573159*c_0101_6^20 - 199580149039827762465171615437628803830037298399720/349779233373237\ 055551518132981457208720573159*c_0101_6^19 - 908152560005852821739267715401870025858171810419978/104933770011971\ 1166654554398944371626161719477*c_0101_6^18 + 33218829261921407932667994768175384583584089683854/1038948217940308\ 0857965885138063085407541777*c_0101_6^17 + 8131958166891444397987719424669193888863976521931251/10493377001197\ 11166654554398944371626161719477*c_0101_6^16 - 14135573498605042369116503075037677873415651346289728/1049337700119\ 711166654554398944371626161719477*c_0101_6^15 - 11079006339270026162648449626895234822884658525117366/3497792333732\ 37055551518132981457208720573159*c_0101_6^14 + 12302188222813601791726373340348640140717359201217825/3497792333732\ 37055551518132981457208720573159*c_0101_6^13 + 27865984664350501394684561082370158945427093114307222/3497792333732\ 37055551518132981457208720573159*c_0101_6^12 - 21169562212239331901095455159913337467371767362430923/3497792333732\ 37055551518132981457208720573159*c_0101_6^11 - 44647483635377841182764666028897253006011503830072379/3497792333732\ 37055551518132981457208720573159*c_0101_6^10 + 83010936783026908582844705908378485778411400289330308/1049337700119\ 711166654554398944371626161719477*c_0101_6^9 + 104794912283553718249354126853440496007473988033201475/104933770011\ 9711166654554398944371626161719477*c_0101_6^8 - 56469238565503170704689362408198238949661220040306212/1049337700119\ 711166654554398944371626161719477*c_0101_6^7 - 11388351801480992283100323147305894328528805674477025/3497792333732\ 37055551518132981457208720573159*c_0101_6^6 + 15036190753905392855038243744674019980297995720206276/1049337700119\ 711166654554398944371626161719477*c_0101_6^5 + 5161738206079593359880454376121336745755404535308635/10493377001197\ 11166654554398944371626161719477*c_0101_6^4 - 1529782365357197744966886125615889112673116752073520/10493377001197\ 11166654554398944371626161719477*c_0101_6^3 - 4867923341804588300107219226520232745084703899203/14374489042735769\ 406226772588279063372078349*c_0101_6^2 + 49488858245865402756961734562409259421189422252734/1049337700119711\ 166654554398944371626161719477*c_0101_6 + 9048463614170852586423752391503110505157016424470/10493377001197111\ 66654554398944371626161719477, c_0011_0 - 1, c_0011_1 + 21624375702573529311025799164538601015197874/853120081398139\ 1598817515438572127041965199*c_0101_6^23 + 6534343270217750126318833121104105743710570/85312008139813915988175\ 15438572127041965199*c_0101_6^22 - 560442460723458629198071053413000556214438563/853120081398139159881\ 7515438572127041965199*c_0101_6^21 - 385752931438370614994761710634848606627717271/853120081398139159881\ 7515438572127041965199*c_0101_6^20 + 5640180470181992427994335709165570189065893309/85312008139813915988\ 17515438572127041965199*c_0101_6^19 + 8694851928841157076195835906210322375498314012/85312008139813915988\ 17515438572127041965199*c_0101_6^18 - 311853431163324048020533382796665274733815599/844673347918949663249\ 25895431407198435299*c_0101_6^17 - 77516457843589086244034041617136087635573466816/8531200813981391598\ 817515438572127041965199*c_0101_6^16 + 131835712175805300764397502629733930651664950533/853120081398139159\ 8817515438572127041965199*c_0101_6^15 + 317726751179624254856207997320983073674413271571/853120081398139159\ 8817515438572127041965199*c_0101_6^14 - 342121584775763134110444872446874828567166525448/853120081398139159\ 8817515438572127041965199*c_0101_6^13 - 801626621823133072606485997608156565173216112652/853120081398139159\ 8817515438572127041965199*c_0101_6^12 + 583730179163643649034567684654912932833285919184/853120081398139159\ 8817515438572127041965199*c_0101_6^11 + 1289987983253990224598161289615617350538800429205/85312008139813915\ 98817515438572127041965199*c_0101_6^10 - 757570688117617274132517767571222358527208044461/853120081398139159\ 8817515438572127041965199*c_0101_6^9 - 1026357052229288207461022976185806277275900390122/85312008139813915\ 98817515438572127041965199*c_0101_6^8 + 514856935914747683147827304620221416457190718513/853120081398139159\ 8817515438572127041965199*c_0101_6^7 + 347124622338714687947223305678158511941710552687/853120081398139159\ 8817515438572127041965199*c_0101_6^6 - 137312734386002396353363161896734166364337570550/853120081398139159\ 8817515438572127041965199*c_0101_6^5 - 53173708357393186062093662348071599296618719786/8531200813981391598\ 817515438572127041965199*c_0101_6^4 + 13735999708673337870406161109351118811014343472/8531200813981391598\ 817515438572127041965199*c_0101_6^3 + 45495678077899077091477199373727989898562853/1168657645750875561481\ 85142994138726602263*c_0101_6^2 - 437603242887982785938952887496458\ 876065360660/8531200813981391598817515438572127041965199*c_0101_6 - 67449891285101359144632729561236303514095736/8531200813981391598817\ 515438572127041965199, c_0011_3 - 25231774162925471808449166934089541977872038/853120081398139\ 1598817515438572127041965199*c_0101_6^23 - 8642194507366052398184994603798558614254918/85312008139813915988175\ 15438572127041965199*c_0101_6^22 + 652989825604281158268314873195541072238115308/853120081398139159881\ 7515438572127041965199*c_0101_6^21 + 475662203563690579890937152823541715606701362/853120081398139159881\ 7515438572127041965199*c_0101_6^20 - 6546910179088967758218199951447967467665069569/85312008139813915988\ 17515438572127041965199*c_0101_6^19 - 10383494583553043649127985777122907965217569627/8531200813981391598\ 817515438572127041965199*c_0101_6^18 + 358373847976704512432619153184709782934444222/844673347918949663249\ 25895431407198435299*c_0101_6^17 + 91522281003029440961539922429603005489636942250/8531200813981391598\ 817515438572127041965199*c_0101_6^16 - 149584909644712376959753654507625921562071307604/853120081398139159\ 8817515438572127041965199*c_0101_6^15 - 373930977120059412675226793870974483517280629538/853120081398139159\ 8817515438572127041965199*c_0101_6^14 + 382968790786270085227632954840702765421437439912/853120081398139159\ 8817515438572127041965199*c_0101_6^13 + 939771817793593116039038003893240327408181026208/853120081398139159\ 8817515438572127041965199*c_0101_6^12 - 643571207482118571758559099127892213257811104832/853120081398139159\ 8817515438572127041965199*c_0101_6^11 - 1505043342697436669501143594905195145377178083517/85312008139813915\ 98817515438572127041965199*c_0101_6^10 + 830655363728817923892625079637063356649347781763/853120081398139159\ 8817515438572127041965199*c_0101_6^9 + 1192533744852959491061208920152170087411377024424/85312008139813915\ 98817515438572127041965199*c_0101_6^8 - 567040105971897735912957690343222144736392030091/853120081398139159\ 8817515438572127041965199*c_0101_6^7 - 398499057669094497689501339895791411398511817450/853120081398139159\ 8817515438572127041965199*c_0101_6^6 + 155824530897484557221339769011741550001672743699/853120081398139159\ 8817515438572127041965199*c_0101_6^5 + 59646823743442588585807752072052204009725364088/8531200813981391598\ 817515438572127041965199*c_0101_6^4 - 16769307873328513506581340233538667862181516196/8531200813981391598\ 817515438572127041965199*c_0101_6^3 - 51668716906124201369077413889619355554227373/1168657645750875561481\ 85142994138726602263*c_0101_6^2 + 579431678278740354513256323670064\ 264720717564/8531200813981391598817515438572127041965199*c_0101_6 + 87123532683157449001285322987488843208211299/8531200813981391598817\ 515438572127041965199, c_0101_0 + 48607035243748311797587654030027510320678497/853120081398139\ 1598817515438572127041965199*c_0101_6^23 + 10432036793439066356389644240199363467701847/8531200813981391598817\ 515438572127041965199*c_0101_6^22 - 1262064380398831657448559854690659529650716669/85312008139813915988\ 17515438572127041965199*c_0101_6^21 - 757401931720260334505939166362912008374787457/853120081398139159881\ 7515438572127041965199*c_0101_6^20 + 12780161797145956470668174983379954033488593672/8531200813981391598\ 817515438572127041965199*c_0101_6^19 + 18460137382992338035526054696954955181832979751/8531200813981391598\ 817515438572127041965199*c_0101_6^18 - 720486970768085207257348483154312774778922166/844673347918949663249\ 25895431407198435299*c_0101_6^17 - 168529016409153752022777764483928738531093282622/853120081398139159\ 8817515438572127041965199*c_0101_6^16 + 312940057978240935462265515200774229164595803741/853120081398139159\ 8817515438572127041965199*c_0101_6^15 + 692297927897629290027895076711071106328466764245/853120081398139159\ 8817515438572127041965199*c_0101_6^14 - 836583218378677087391001856933051034860450824373/853120081398139159\ 8817515438572127041965199*c_0101_6^13 - 1751067306118637815972641821310091172925671292318/85312008139813915\ 98817515438572127041965199*c_0101_6^12 + 1481158665562635273235855558285138466381297306651/85312008139813915\ 98817515438572127041965199*c_0101_6^11 + 2826019356404088137546992328683251456201888705385/85312008139813915\ 98817515438572127041965199*c_0101_6^10 - 1972084626114877997136142607005932222715006025036/85312008139813915\ 98817515438572127041965199*c_0101_6^9 - 2223631783627852626999436170760953147407917778449/85312008139813915\ 98817515438572127041965199*c_0101_6^8 + 1375506182367027353115190371231473103995949796239/85312008139813915\ 98817515438572127041965199*c_0101_6^7 + 732606054031305247927168884544690991032492356993/853120081398139159\ 8817515438572127041965199*c_0101_6^6 - 385105063804881312893005552712957763619697836516/853120081398139159\ 8817515438572127041965199*c_0101_6^5 - 111822199754288260459917423980873966570792498567/853120081398139159\ 8817515438572127041965199*c_0101_6^4 + 41944310983880172102681898780059342743281967199/8531200813981391598\ 817515438572127041965199*c_0101_6^3 + 106235957334691450575595738221526799366621195/116865764575087556148\ 185142994138726602263*c_0101_6^2 - 1423554562452353329924708191879576236340386401/85312008139813915988\ 17515438572127041965199*c_0101_6 - 209123185345630070192906613896710491791583987/853120081398139159881\ 7515438572127041965199, c_0101_1 + 11009771770587550834804147097414334667986216/853120081398139\ 1598817515438572127041965199*c_0101_6^23 + 5042828135104405855168839887771469383125579/85312008139813915988175\ 15438572127041965199*c_0101_6^22 - 283703819779290386236277875724911539795402941/853120081398139159881\ 7515438572127041965199*c_0101_6^21 - 239879773046936581804449599351653520977669154/853120081398139159881\ 7515438572127041965199*c_0101_6^20 + 2812575511462388721256326035067815360652984942/85312008139813915988\ 17515438572127041965199*c_0101_6^19 + 4837829352769501377683464336918898154096102748/85312008139813915988\ 17515438572127041965199*c_0101_6^18 - 149265085664349642186890638702152941609701418/844673347918949663249\ 25895431407198435299*c_0101_6^17 - 41357699137468286547884678597598590001996769772/8531200813981391598\ 817515438572127041965199*c_0101_6^16 + 59695746052989680404475592244264313153913283230/8531200813981391598\ 817515438572127041965199*c_0101_6^15 + 167471965957449152442018585947978270373342992266/853120081398139159\ 8817515438572127041965199*c_0101_6^14 - 144922173738523673203004405289954990719187069954/853120081398139159\ 8817515438572127041965199*c_0101_6^13 - 416484729676270923569914992305795827322003552102/853120081398139159\ 8817515438572127041965199*c_0101_6^12 + 226799701868851042976168945952472815733160898863/853120081398139159\ 8817515438572127041965199*c_0101_6^11 + 657711745820690185671083503996284134882608396391/853120081398139159\ 8817515438572127041965199*c_0101_6^10 - 279384536527709676080530069423779359841295047661/853120081398139159\ 8817515438572127041965199*c_0101_6^9 - 513782815103808092285034358760989410916919072141/853120081398139159\ 8817515438572127041965199*c_0101_6^8 + 181065613619975248015451119335390991389468463052/853120081398139159\ 8817515438572127041965199*c_0101_6^7 + 165014325311982987325134949293722757172347438251/853120081398139159\ 8817515438572127041965199*c_0101_6^6 - 45397626290306639879210905036679042118531652465/8531200813981391598\ 817515438572127041965199*c_0101_6^5 - 22233118546226838332957871502635752695263164887/8531200813981391598\ 817515438572127041965199*c_0101_6^4 + 4164645978371234223466641171104320748879140622/85312008139813915988\ 17515438572127041965199*c_0101_6^3 + 15305812225551373291174153420035974300748172/1168657645750875561481\ 85142994138726602263*c_0101_6^2 - 103339436364493691392555191807770\ 544838812110/8531200813981391598817515438572127041965199*c_0101_6 - 16692031552099851117057383329103628246722566/8531200813981391598817\ 515438572127041965199, c_0101_3 - 54908376456882109358083747498821562397017915/853120081398139\ 1598817515438572127041965199*c_0101_6^23 - 15140545340347087730800257383206901552211162/8531200813981391598817\ 515438572127041965199*c_0101_6^22 + 1423311453710299862532529466652855227005566003/85312008139813915988\ 17515438572127041965199*c_0101_6^21 + 941538595531872157309694090174129870456548773/853120081398139159881\ 7515438572127041965199*c_0101_6^20 - 14342614818922599297800961516563811794231847976/8531200813981391598\ 817515438572127041965199*c_0101_6^19 - 21688639638019569695339098935606762486495767899/8531200813981391598\ 817515438572127041965199*c_0101_6^18 + 797237261189569167257323532325745980716970217/844673347918949663249\ 25895431407198435299*c_0101_6^17 + 194569873406459922365022220312421150106899879715/853120081398139159\ 8817515438572127041965199*c_0101_6^16 - 339845592227927844437824307078946849194083841302/853120081398139159\ 8817515438572127041965199*c_0101_6^15 - 796936742479532811893255062271357370434790579267/853120081398139159\ 8817515438572127041965199*c_0101_6^14 + 890129171577134899379941759202168377054042846881/853120081398139159\ 8817515438572127041965199*c_0101_6^13 + 2008948302295361709676675451432735053760015339454/85312008139813915\ 98817515438572127041965199*c_0101_6^12 - 1537885270033214060856744826989175518820396156330/85312008139813915\ 98817515438572127041965199*c_0101_6^11 - 3228689226226965046179612150602033990212315885580/85312008139813915\ 98817515438572127041965199*c_0101_6^10 + 2016593488836212370392963016723835947430379027532/85312008139813915\ 98817515438572127041965199*c_0101_6^9 + 2545742858999463572020911491039510109500919998445/85312008139813915\ 98817515438572127041965199*c_0101_6^8 - 1386336528335588932779581604087259390180809348174/85312008139813915\ 98817515438572127041965199*c_0101_6^7 - 842320687040683249137830309101298601302775640192/853120081398139159\ 8817515438572127041965199*c_0101_6^6 + 379435126363277134140442163738168108967647843726/853120081398139159\ 8817515438572127041965199*c_0101_6^5 + 126823247875872025681397183034131899444157395016/853120081398139159\ 8817515438572127041965199*c_0101_6^4 - 40125109343789555715862168832188983837643985251/8531200813981391598\ 817515438572127041965199*c_0101_6^3 - 112769698612564680973405979332100487206491401/116865764575087556148\ 185142994138726602263*c_0101_6^2 + 1342051393459269333964790555539708781175071452/85312008139813915988\ 17515438572127041965199*c_0101_6 + 197747879071022455765351312294135317703426952/853120081398139159881\ 7515438572127041965199, c_0101_6^24 - 26*c_0101_6^22 - 10*c_0101_6^21 + 266*c_0101_6^20 + 323*c_0101_6^19 - 1576*c_0101_6^18 - 3140*c_0101_6^17 + 7170*c_0101_6^16 + 12815*c_0101_6^15 - 20229*c_0101_6^14 - 32148*c_0101_6^13 + 38139*c_0101_6^12 + 51154*c_0101_6^11 - 53015*c_0101_6^10 - 36353*c_0101_6^9 + 38130*c_0101_6^8 + 8455*c_0101_6^7 - 11199*c_0101_6^6 - 419*c_0101_6^5 + 1377*c_0101_6^4 - 50*c_0101_6^3 - 66*c_0101_6^2 + 3*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB