Magma V2.19-8 Tue Aug 20 2013 16:18:35 on localhost [Seed = 1747580250] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2765 geometric_solution 5.99917657 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 0 0 0 0 0 -1 -1 2 1 0 -2 1 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 0 1 -1 0 0 1 -1 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.447898225651 0.441240497021 0 3 5 4 0132 0132 0132 0132 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 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.498733738500 0.714112990141 3 0 4 5 3201 0132 3201 2310 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 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.498733738500 0.714112990141 3 1 3 2 2310 0132 3201 2310 0 0 0 0 0 0 0 0 -1 0 0 1 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 1 0 0 -1 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.316950940437 1.412766600844 2 6 1 6 2310 0132 0132 2310 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 0 0 0 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.179501021117 1.250081872224 2 5 5 1 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.955972470519 0.719410561508 4 4 6 6 3201 0132 2031 1302 0 0 0 0 0 0 1 -1 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.464804576933 0.227377939015 ==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_2'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], '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' : 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' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0101_5']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 38187086778442583706900001288626559895/4584289204977538975268072680\ 01589026*c_0110_6^23 + 98104822572611713064677739104824590154/22921\ 4460248876948763403634000794513*c_0110_6^22 + 179118118956813049562251646094470054948/208376782044433589784912394\ 54617683*c_0110_6^21 + 3573746295051224839352687343031633855695/229\ 214460248876948763403634000794513*c_0110_6^20 - 2877713478416396587691951950658255334735/45842892049775389752680726\ 8001589026*c_0110_6^19 - 6190454396047177529128302828329070417480/2\ 29214460248876948763403634000794513*c_0110_6^18 - 30142787981551873117637423498597549316709/4584289204977538975268072\ 68001589026*c_0110_6^17 - 23412014020747421377185465214786478232219\ /458428920497753897526807268001589026*c_0110_6^16 + 4604776187408080951773996495304200559305/41675356408886717956982478\ 909235366*c_0110_6^15 + 86151108789847374655276370354912310910781/4\ 58428920497753897526807268001589026*c_0110_6^14 + 8682815370727258131815426521359598052718/22921446024887694876340363\ 4000794513*c_0110_6^13 - 103241537111703887863142403017671974939667\ /458428920497753897526807268001589026*c_0110_6^12 - 50993331030588972734953974319882710709002/2292144602488769487634036\ 34000794513*c_0110_6^11 + 30401873899557222396520033414718757647572\ /229214460248876948763403634000794513*c_0110_6^10 + 92509552983482206025366529372022446907417/4584289204977538975268072\ 68001589026*c_0110_6^9 - 10733817582629141398708043513133655604717/\ 458428920497753897526807268001589026*c_0110_6^8 - 16734400367152137352387288064971155830468/2292144602488769487634036\ 34000794513*c_0110_6^7 - 711573441844973313780433323403208762773/35\ 263763115211838271292866769353002*c_0110_6^6 + 119695550819115190355775728822350124931/176318815576059191356464333\ 84676501*c_0110_6^5 + 4778775600441172133904190377291368455051/4584\ 28920497753897526807268001589026*c_0110_6^4 + 1846807738681424923481857159353045600629/45842892049775389752680726\ 8001589026*c_0110_6^3 + 152722732067358009764482904906821035633/458\ 428920497753897526807268001589026*c_0110_6^2 - 950127984248153916352587218301394794545/458428920497753897526807268\ 001589026*c_0110_6 - 94690860170996069373577448882716560227/2292144\ 60248876948763403634000794513, c_0011_0 - 1, c_0011_4 + 22560645440470521343275915553673077/416753564088867179569824\ 78909235366*c_0110_6^23 - 56567643686367452354612577819635739/20837\ 678204443358978491239454617683*c_0110_6^22 - 2342048556492876761347969735097223173/41675356408886717956982478909\ 235366*c_0110_6^21 - 4510741144032254606797820058641037071/41675356\ 408886717956982478909235366*c_0110_6^20 + 569233484393573921948267453112607178/208376782044433589784912394546\ 17683*c_0110_6^19 + 7373717185850765113003761576630630879/416753564\ 08886717956982478909235366*c_0110_6^18 + 18734138800030620831360761661928577957/4167535640888671795698247890\ 9235366*c_0110_6^17 + 16676274601288789371534245640822947733/416753\ 56408886717956982478909235366*c_0110_6^16 - 13565773642101237642314070203211861122/2083767820444335897849123945\ 4617683*c_0110_6^15 - 53306410060482336477027318944373592735/416753\ 56408886717956982478909235366*c_0110_6^14 - 17360702654539347335125327570848476161/4167535640888671795698247890\ 9235366*c_0110_6^13 + 55572109185291351183388894751266776189/416753\ 56408886717956982478909235366*c_0110_6^12 + 32001661415210580713298212762976435047/2083767820444335897849123945\ 4617683*c_0110_6^11 - 27282870566702967164476062841199300627/416753\ 56408886717956982478909235366*c_0110_6^10 - 26465578512883953147511596913195544061/2083767820444335897849123945\ 4617683*c_0110_6^9 + 1536052603614467149289797771574986207/20837678\ 204443358978491239454617683*c_0110_6^8 + 8784247179813133462788915188681038880/20837678204443358978491239454\ 617683*c_0110_6^7 + 189585945123048557260340677992720446/1602898323\ 418719921422403034970591*c_0110_6^6 - 84611657125234487562214767315098411/3205796646837439842844806069941\ 182*c_0110_6^5 - 2245096291917724728439289561428872441/416753564088\ 86717956982478909235366*c_0110_6^4 - 1090199513362759273345075316526512497/41675356408886717956982478909\ 235366*c_0110_6^3 - 125708220326088542303551040125694105/2083767820\ 4443358978491239454617683*c_0110_6^2 + 461866139265054723537072685573290801/416753564088867179569824789092\ 35366*c_0110_6 + 93426011180094943202797715225720349/41675356408886\ 717956982478909235366, c_0101_0 + 4768202805118471257827273096846233/2083767820444335897849123\ 9454617683*c_0110_6^23 - 19026672417047588112439022635142141/208376\ 78204443358978491239454617683*c_0110_6^22 - 1032559331846339959214782861435016845/41675356408886717956982478909\ 235366*c_0110_6^21 - 2946942870572588624906353437913164147/41675356\ 408886717956982478909235366*c_0110_6^20 - 2164289894476784156313714644783584303/41675356408886717956982478909\ 235366*c_0110_6^19 + 1681931696883332152494023110666703383/41675356\ 408886717956982478909235366*c_0110_6^18 + 4888382108382025344162477755055856953/20837678204443358978491239454\ 617683*c_0110_6^17 + 8119092291324438181537266962782653471/20837678\ 204443358978491239454617683*c_0110_6^16 + 1928167165793974937033469016353707105/41675356408886717956982478909\ 235366*c_0110_6^15 - 12063959291786918822063057259666294018/2083767\ 8204443358978491239454617683*c_0110_6^14 - 29811837670461024748377582179319943495/4167535640888671795698247890\ 9235366*c_0110_6^13 + 334248037907960022072845775424013326/20837678\ 204443358978491239454617683*c_0110_6^12 + 16874795049610778443588269220143632353/2083767820444335897849123945\ 4617683*c_0110_6^11 + 18484332399761616445897443635892798741/416753\ 56408886717956982478909235366*c_0110_6^10 - 13038798853372033256566229854985639063/4167535640888671795698247890\ 9235366*c_0110_6^9 - 12954405124481222751412195107710097921/4167535\ 6408886717956982478909235366*c_0110_6^8 - 622632488836762566591010393420939807/208376782044433589784912394546\ 17683*c_0110_6^7 + 232914150335206702785924991788910019/32057966468\ 37439842844806069941182*c_0110_6^6 + 175219703469224291997958232865762977/320579664683743984284480606994\ 1182*c_0110_6^5 + 221864020220676160414233577965050572/208376782044\ 43358978491239454617683*c_0110_6^4 - 201402752488724310671837386189633898/208376782044433589784912394546\ 17683*c_0110_6^3 - 410150933206389289913052580464869789/41675356408\ 886717956982478909235366*c_0110_6^2 - 18044044646952602757556988981033681/2083767820444335897849123945461\ 7683*c_0110_6 - 9591391417477380156828439700043925/4167535640888671\ 7956982478909235366, c_0101_1 + 315726661619264261154529315460249/32057966468374398428448060\ 69941182*c_0110_6^23 - 200700318580277078070155678850733/1602898323\ 418719921422403034970591*c_0110_6^22 - 19021805804849358587494310981329098/1602898323418719921422403034970\ 591*c_0110_6^21 - 94214626793276861456572018071090887/1602898323418\ 719921422403034970591*c_0110_6^20 - 291764507908470598606199113416088049/320579664683743984284480606994\ 1182*c_0110_6^19 - 21545979096228579632221235958269308/160289832341\ 8719921422403034970591*c_0110_6^18 + 486798085006720808367275069982764467/320579664683743984284480606994\ 1182*c_0110_6^17 + 1301595416717688241395617655885200801/3205796646\ 837439842844806069941182*c_0110_6^16 + 1130764781285981403976039277805197715/32057966468374398428448060699\ 41182*c_0110_6^15 - 1057118037163447566084885657674416939/320579664\ 6837439842844806069941182*c_0110_6^14 - 1417376828374296775373500063633540397/16028983234187199214224030349\ 70591*c_0110_6^13 - 1645442759343942861187284577751637811/320579664\ 6837439842844806069941182*c_0110_6^12 + 940084667339657450554606593629699787/160289832341871992142240303497\ 0591*c_0110_6^11 + 1486474058318591674434040525060306489/1602898323\ 418719921422403034970591*c_0110_6^10 - 67950021230111321777388717164694249/3205796646837439842844806069941\ 182*c_0110_6^9 - 1652267141091283237023899988029371565/320579664683\ 7439842844806069941182*c_0110_6^8 - 234581548229506005274474267578027663/160289832341871992142240303497\ 0591*c_0110_6^7 + 269425847068570407376464575142862057/320579664683\ 7439842844806069941182*c_0110_6^6 + 127188154257759984514193092682278114/160289832341871992142240303497\ 0591*c_0110_6^5 + 85270318001152703874314188084630561/3205796646837\ 439842844806069941182*c_0110_6^4 - 30471731446427652202283787613866385/3205796646837439842844806069941\ 182*c_0110_6^3 - 38997770543173463128166138941669289/32057966468374\ 39842844806069941182*c_0110_6^2 - 179670400503940796069806821967148\ 41/3205796646837439842844806069941182*c_0110_6 + 18210185596337146102408361583334/1602898323418719921422403034970591\ , c_0101_2 + 7086590608445635052224796495109906/2083767820444335897849123\ 9454617683*c_0110_6^23 - 81235052638465896623247605993913781/416753\ 56408886717956982478909235366*c_0110_6^22 - 711980228510978553447646472043837743/208376782044433589784912394546\ 17683*c_0110_6^21 - 882210209182997086763151145051104718/2083767820\ 4443358978491239454617683*c_0110_6^20 + 1568134998342498353561376565757469714/20837678204443358978491239454\ 617683*c_0110_6^19 + 5178440119765222143078497601191355239/41675356\ 408886717956982478909235366*c_0110_6^18 + 4404844552414739710971361399122206421/20837678204443358978491239454\ 617683*c_0110_6^17 + 422059544800213411885651010147469385/416753564\ 08886717956982478909235366*c_0110_6^16 - 28902747840398641734920949263619059431/4167535640888671795698247890\ 9235366*c_0110_6^15 - 27084615593801124406955086924151671131/416753\ 56408886717956982478909235366*c_0110_6^14 + 15471041357282196525959236677880712713/4167535640888671795698247890\ 9235366*c_0110_6^13 + 28151332054355161222699522618606645214/208376\ 78204443358978491239454617683*c_0110_6^12 + 26805777403455917814097091796733966153/4167535640888671795698247890\ 9235366*c_0110_6^11 - 25783616556422430864659986436802254075/208376\ 78204443358978491239454617683*c_0110_6^10 - 20042352579518072765970659999737197251/2083767820444335897849123945\ 4617683*c_0110_6^9 + 19446746501641872566459879487983923201/4167535\ 6408886717956982478909235366*c_0110_6^8 + 20473685314362141142368038235472744355/4167535640888671795698247890\ 9235366*c_0110_6^7 + 66059157551734587471810503343144298/1602898323\ 418719921422403034970591*c_0110_6^6 - 325582114713543287565765016325169325/320579664683743984284480606994\ 1182*c_0110_6^5 - 1504091052330412766455362284324783940/20837678204\ 443358978491239454617683*c_0110_6^4 - 672730274670842191647896992176353799/416753564088867179569824789092\ 35366*c_0110_6^3 + 337798065646347546385636324196083231/41675356408\ 886717956982478909235366*c_0110_6^2 + 677614917493542139832055682089023383/416753564088867179569824789092\ 35366*c_0110_6 + 114623362768593522347160280395223123/4167535640888\ 6717956982478909235366, c_0101_5 - 124958001080987853405985667637620/16028983234187199214224030\ 34970591*c_0110_6^23 + 2082518859616727229703158532275281/320579664\ 6837439842844806069941182*c_0110_6^22 + 22333656210677884238020266838711449/3205796646837439842844806069941\ 182*c_0110_6^21 - 38385021543055969210149025174420869/3205796646837\ 439842844806069941182*c_0110_6^20 - 237523932828765739455931729191733981/320579664683743984284480606994\ 1182*c_0110_6^19 - 100109069895385422907659847055467590/16028983234\ 18719921422403034970591*c_0110_6^18 - 13780487875741878794795945110044081/1602898323418719921422403034970\ 591*c_0110_6^17 + 639061292333746789598008774027428981/320579664683\ 7439842844806069941182*c_0110_6^16 + 738782923076632544927132442062143420/160289832341871992142240303497\ 0591*c_0110_6^15 + 452415104540653519497574119967599865/32057966468\ 37439842844806069941182*c_0110_6^14 - 922238306768954399144098298802522281/160289832341871992142240303497\ 0591*c_0110_6^13 - 1372733717716563228043081173050037753/1602898323\ 418719921422403034970591*c_0110_6^12 - 207773765942901061073624393830090989/320579664683743984284480606994\ 1182*c_0110_6^11 + 3000794199040551477557460462368670937/3205796646\ 837439842844806069941182*c_0110_6^10 + 1616162849101617521925092913911813503/32057966468374398428448060699\ 41182*c_0110_6^9 - 594975993746136037099778588562586424/16028983234\ 18719921422403034970591*c_0110_6^8 - 1035447908617597256585677337052224091/32057966468374398428448060699\ 41182*c_0110_6^7 - 27114973509536706491199981928540539/320579664683\ 7439842844806069941182*c_0110_6^6 + 116593570726991682852983052572012957/160289832341871992142240303497\ 0591*c_0110_6^5 + 71305468857728090168424284559051576/1602898323418\ 719921422403034970591*c_0110_6^4 + 36125160315704549111029087336874499/3205796646837439842844806069941\ 182*c_0110_6^3 - 13209402868210668111044081062263943/16028983234187\ 19921422403034970591*c_0110_6^2 - 357399192211750505775857210548240\ 59/3205796646837439842844806069941182*c_0110_6 - 3611755089824460345032549550478872/16028983234187199214224030349705\ 91, c_0110_6^24 - 5*c_0110_6^23 - 104*c_0110_6^22 - 201*c_0110_6^21 + 60*c_0110_6^20 + 362*c_0110_6^19 + 852*c_0110_6^18 + 710*c_0110_6^17 - 1328*c_0110_6^16 - 2575*c_0110_6^15 - 767*c_0110_6^14 + 2842*c_0110_6^13 + 3267*c_0110_6^12 - 1266*c_0110_6^11 - 2912*c_0110_6^10 - 145*c_0110_6^9 + 1034*c_0110_6^8 + 437*c_0110_6^7 - 52*c_0110_6^6 - 158*c_0110_6^5 - 78*c_0110_6^4 - 12*c_0110_6^3 + 27*c_0110_6^2 + 11*c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB