Magma V2.19-8 Tue Aug 20 2013 16:17:25 on localhost [Seed = 105355983] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1649 geometric_solution 5.39159442 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 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.253957765986 0.685124713121 3 2 4 0 0132 3012 0132 0132 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 -1 0 1 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.741376195077 1.156397230210 1 3 0 4 1230 0132 0132 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 1 0 -1 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.741376195077 1.156397230210 1 2 3 3 0132 0132 2031 1302 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 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.661079387687 0.797944062331 2 5 5 1 3201 0132 3201 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 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 0.150059563433 0.457074880936 4 4 6 6 2310 0132 2310 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 2.657265159653 1.661567531299 6 5 5 6 3201 3201 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.542967963616 0.155782921508 ==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_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : d['c_0101_0'], 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0011_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_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_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0011_1']), 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_0']), '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_0011_1'], 'c_0110_5' : d['c_0011_1'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_1']), 'c_1010_6' : d['c_0011_1'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : negation(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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 3010014805985839277101169362441435215617/69515137524188617992017361\ 1330238189833*c_0101_5^21 - 133178037293734678159802787069056302326\ 123/7646665127660747979121909724632620088163*c_0101_5^20 + 363693862526222810105480291906499838173109/764666512766074797912190\ 9724632620088163*c_0101_5^19 - 336092880580252517606059967974221240\ 4106361/7646665127660747979121909724632620088163*c_0101_5^18 + 4793873430207112278358165766658249694809269/76466651276607479791219\ 09724632620088163*c_0101_5^17 - 12765498536341347501184573508323004\ 324499537/7646665127660747979121909724632620088163*c_0101_5^16 + 2877796365107292269442469727569753606028158/76466651276607479791219\ 09724632620088163*c_0101_5^15 + 17984956680791068619352954744369729\ 960893254/7646665127660747979121909724632620088163*c_0101_5^14 - 38131723492917437662918478463727723544286706/7646665127660747979121\ 909724632620088163*c_0101_5^13 + 1466904665399068008520931967557869\ 8149627878/7646665127660747979121909724632620088163*c_0101_5^12 + 30305769368092859482866742657792482059495823/7646665127660747979121\ 909724632620088163*c_0101_5^11 - 3634212800268653115007254388060576\ 1226705234/7646665127660747979121909724632620088163*c_0101_5^10 + 9949997584852449796952646749962857524372898/76466651276607479791219\ 09724632620088163*c_0101_5^9 + 389273022727787069474879998109149641\ 75400304/7646665127660747979121909724632620088163*c_0101_5^8 - 1236761192248858077583102357925399230669064/69515137524188617992017\ 3611330238189833*c_0101_5^7 - 3638565161988503626945242844826219591\ 725820/7646665127660747979121909724632620088163*c_0101_5^6 + 21707925962357098074027557270952789153973217/7646665127660747979121\ 909724632620088163*c_0101_5^5 - 85098162877476992474009809232618306\ 56287019/7646665127660747979121909724632620088163*c_0101_5^4 - 5210667743994194277340163124985394645076693/76466651276607479791219\ 09724632620088163*c_0101_5^3 + 404253914333115067033012875445977977\ 9907725/7646665127660747979121909724632620088163*c_0101_5^2 - 285792197282867700886631378836039846612563/695151375241886179920173\ 611330238189833*c_0101_5 - 3587795734042207324574656831995484748428\ 0/695151375241886179920173611330238189833, c_0011_0 - 1, c_0011_1 + 7897908075036508381244465129487727110/2242423791102858644903\ 7858430007683543*c_0101_5^21 + 313356448357200850968164904054957945\ 51/22424237911028586449037858430007683543*c_0101_5^20 - 88191945961514202769869103459918224741/2242423791102858644903785843\ 0007683543*c_0101_5^19 + 807757808537789129511043026371342412260/22\ 424237911028586449037858430007683543*c_0101_5^18 - 1190181298766190582706517110652255100064/22424237911028586449037858\ 430007683543*c_0101_5^17 + 3136445467416448710992943074535298456276\ /22424237911028586449037858430007683543*c_0101_5^16 - 884207772996795389111506281996113654796/224242379110285864490378584\ 30007683543*c_0101_5^15 - 4156209927066230721557324103081264617698/\ 22424237911028586449037858430007683543*c_0101_5^14 + 9349835728572372002176248640289742829893/22424237911028586449037858\ 430007683543*c_0101_5^13 - 4171042986184646056431918455652511354084\ /22424237911028586449037858430007683543*c_0101_5^12 - 6763878757842277369106128229051351233164/22424237911028586449037858\ 430007683543*c_0101_5^11 + 9089610898609816142589446235691023058364\ /22424237911028586449037858430007683543*c_0101_5^10 - 3165327954414896419902774246878419345527/22424237911028586449037858\ 430007683543*c_0101_5^9 - 8973316834492975660111342993804604103118/\ 22424237911028586449037858430007683543*c_0101_5^8 + 3822858700413132269748037042517425333296/22424237911028586449037858\ 430007683543*c_0101_5^7 + 367135437364852547856562131021791825464/2\ 2424237911028586449037858430007683543*c_0101_5^6 - 5297182791980904647412197742360514517722/22424237911028586449037858\ 430007683543*c_0101_5^5 + 2400535550158942225925414204107540867150/\ 22424237911028586449037858430007683543*c_0101_5^4 + 1000899496059453915911523218018312270736/22424237911028586449037858\ 430007683543*c_0101_5^3 - 1068596926346261006912549553279125028465/\ 22424237911028586449037858430007683543*c_0101_5^2 + 829856060821031807953015737326470156934/224242379110285864490378584\ 30007683543*c_0101_5 + 34240428068606063029040189631657934013/22424\ 237911028586449037858430007683543, c_0011_4 + 10209614609696087028179285859431576527/224242379110285864490\ 37858430007683543*c_0101_5^21 + 42461694013166346453531920430481754\ 774/22424237911028586449037858430007683543*c_0101_5^20 - 106150684503774957708934604518280873869/224242379110285864490378584\ 30007683543*c_0101_5^19 + 1022631018049511381077196205172011564425/\ 22424237911028586449037858430007683543*c_0101_5^18 - 1340552311009209316950778712208832431005/22424237911028586449037858\ 430007683543*c_0101_5^17 + 3771299775835503065115321517908052581744\ /22424237911028586449037858430007683543*c_0101_5^16 - 394111544717302552673143574953856844150/224242379110285864490378584\ 30007683543*c_0101_5^15 - 5549543699157115444565826013259626311174/\ 22424237911028586449037858430007683543*c_0101_5^14 + 11027131610820133318056508488005345740226/2242423791102858644903785\ 8430007683543*c_0101_5^13 - 319903102420886443019970362806344013602\ 6/22424237911028586449037858430007683543*c_0101_5^12 - 9526593535187515179239375638347731696195/22424237911028586449037858\ 430007683543*c_0101_5^11 + 9938899059076748598719067965194054262958\ /22424237911028586449037858430007683543*c_0101_5^10 - 2075718713837579460868399063545794782315/22424237911028586449037858\ 430007683543*c_0101_5^9 - 12012210598712819810361516583199837677387\ /22424237911028586449037858430007683543*c_0101_5^8 + 2664897299200011979288721806283723430433/22424237911028586449037858\ 430007683543*c_0101_5^7 + 1132042538253499929551599473330987759382/\ 22424237911028586449037858430007683543*c_0101_5^6 - 6499659988675470948801187047836701970553/22424237911028586449037858\ 430007683543*c_0101_5^5 + 1938698176694726143644706042890028548129/\ 22424237911028586449037858430007683543*c_0101_5^4 + 1698840026614917400059449769123833306177/22424237911028586449037858\ 430007683543*c_0101_5^3 - 1080199865954367273946454859207458823861/\ 22424237911028586449037858430007683543*c_0101_5^2 + 874771014629131946231818135553016946188/224242379110285864490378584\ 30007683543*c_0101_5 + 178047358569219256666979957750595688780/2242\ 4237911028586449037858430007683543, c_0011_6 + 1000446385207175045417887290339034921/2242423791102858644903\ 7858430007683543*c_0101_5^21 + 327793140814514473406066219864260822\ 6/22424237911028586449037858430007683543*c_0101_5^20 - 13978457015418900956787577066486809923/2242423791102858644903785843\ 0007683543*c_0101_5^19 + 109813454969114480103578847660777976955/22\ 424237911028586449037858430007683543*c_0101_5^18 - 220531279517346932814614306305512981310/224242379110285864490378584\ 30007683543*c_0101_5^17 + 495270411911900554819032814631717282846/2\ 2424237911028586449037858430007683543*c_0101_5^16 - 375960027215979475181689564077888063420/224242379110285864490378584\ 30007683543*c_0101_5^15 - 464229432200516825977410694638889034654/2\ 2424237911028586449037858430007683543*c_0101_5^14 + 1545573611536851804639854490774066528055/22424237911028586449037858\ 430007683543*c_0101_5^13 - 1263343320826239876086946335065639767190\ /22424237911028586449037858430007683543*c_0101_5^12 - 597627843130645831913188524722017664004/224242379110285864490378584\ 30007683543*c_0101_5^11 + 1743700766674330831557407705539592255558/\ 22424237911028586449037858430007683543*c_0101_5^10 - 1036377239789605996680895186461677957905/22424237911028586449037858\ 430007683543*c_0101_5^9 - 981316413328261275872344736251782935859/2\ 2424237911028586449037858430007683543*c_0101_5^8 + 1221431126069078891022684666578463216112/22424237911028586449037858\ 430007683543*c_0101_5^7 - 158035959394912454837821021969468440367/2\ 2424237911028586449037858430007683543*c_0101_5^6 - 761879814758310985467008141333272320914/224242379110285864490378584\ 30007683543*c_0101_5^5 + 663715885173437991897195853023913083597/22\ 424237911028586449037858430007683543*c_0101_5^4 - 37470424481033673187433455505540474121/2242423791102858644903785843\ 0007683543*c_0101_5^3 - 242006722619536910139743941388296468784/224\ 24237911028586449037858430007683543*c_0101_5^2 + 171807213557883234624906845623261472049/224242379110285864490378584\ 30007683543*c_0101_5 - 49363206591711423293825199857715054579/22424\ 237911028586449037858430007683543, c_0101_0 + 5509458128966402229842754879474708365/2242423791102858644903\ 7858430007683543*c_0101_5^21 + 225238455838454986656456719025944480\ 15/22424237911028586449037858430007683543*c_0101_5^20 - 59206192981053584327748668817228395501/2242423791102858644903785843\ 0007683543*c_0101_5^19 + 554707306212953388252119273515884046780/22\ 424237911028586449037858430007683543*c_0101_5^18 - 758896229692014425670247777894456535002/224242379110285864490378584\ 30007683543*c_0101_5^17 + 2056203501690785322107918361865555583721/\ 22424237911028586449037858430007683543*c_0101_5^16 - 312615222396910441028181275270628564856/224242379110285864490378584\ 30007683543*c_0101_5^15 - 3082705598343916175705213945251173397304/\ 22424237911028586449037858430007683543*c_0101_5^14 + 6178687452727019937296057803156798726913/22424237911028586449037858\ 430007683543*c_0101_5^13 - 1934376617888440854324139364596041608541\ /22424237911028586449037858430007683543*c_0101_5^12 - 5365450782049712773001038832039100841647/22424237911028586449037858\ 430007683543*c_0101_5^11 + 5766856192612559368186912889957635200095\ /22424237911028586449037858430007683543*c_0101_5^10 - 1079355269373623540575675519860271758647/22424237911028586449037858\ 430007683543*c_0101_5^9 - 6736762701016129602700715105635211980015/\ 22424237911028586449037858430007683543*c_0101_5^8 + 1817914587120660922132785811086142120731/22424237911028586449037858\ 430007683543*c_0101_5^7 + 950703936322281886428435542595332536591/2\ 2424237911028586449037858430007683543*c_0101_5^6 - 3652837478295450317515255170179356512658/22424237911028586449037858\ 430007683543*c_0101_5^5 + 1086767086140231327553399599840924642345/\ 22424237911028586449037858430007683543*c_0101_5^4 + 1006489954091846457428458099508536346256/22424237911028586449037858\ 430007683543*c_0101_5^3 - 642326062954383303895974446927590531001/2\ 2424237911028586449037858430007683543*c_0101_5^2 + 430085928823992923897731617359224033325/224242379110285864490378584\ 30007683543*c_0101_5 + 100577185498584136445182221806506158244/2242\ 4237911028586449037858430007683543, c_0101_1 - 7093833419247240136682589093569414209/2242423791102858644903\ 7858430007683543*c_0101_5^21 - 295566240655023342902567094985771649\ 96/22424237911028586449037858430007683543*c_0101_5^20 + 73908972559384530692696557581194870136/2242423791102858644903785843\ 0007683543*c_0101_5^19 - 708215611767073166656197199775026473119/22\ 424237911028586449037858430007683543*c_0101_5^18 + 922893843452118318526527175715330680459/224242379110285864490378584\ 30007683543*c_0101_5^17 - 2578684057703681781061425497127132141269/\ 22424237911028586449037858430007683543*c_0101_5^16 + 226889449992685472829898732423302358128/224242379110285864490378584\ 30007683543*c_0101_5^15 + 3954235737740232849696680948823732448917/\ 22424237911028586449037858430007683543*c_0101_5^14 - 7558865453401202898552477882732319025769/22424237911028586449037858\ 430007683543*c_0101_5^13 + 1900243696601504599436485137370763302399\ /22424237911028586449037858430007683543*c_0101_5^12 + 6916230944692392976374459133338942174246/22424237911028586449037858\ 430007683543*c_0101_5^11 - 6698423928710559423396643936025019668565\ /22424237911028586449037858430007683543*c_0101_5^10 + 924638001337797981361327390083713676577/224242379110285864490378584\ 30007683543*c_0101_5^9 + 8478577650093947761935186393025023772128/2\ 2424237911028586449037858430007683543*c_0101_5^8 - 1603188946211404504085248032447338590049/22424237911028586449037858\ 430007683543*c_0101_5^7 - 1226782073024366070322345738032594264402/\ 22424237911028586449037858430007683543*c_0101_5^6 + 4338014817245458279695814982884599551076/22424237911028586449037858\ 430007683543*c_0101_5^5 - 1138789366247333319841589321725944004832/\ 22424237911028586449037858430007683543*c_0101_5^4 - 1300073653756523779303704997528720618924/22424237911028586449037858\ 430007683543*c_0101_5^3 + 705558986772825556771233128811103183742/2\ 2424237911028586449037858430007683543*c_0101_5^2 - 508213425421813871645046068828324496184/224242379110285864490378584\ 30007683543*c_0101_5 - 136994345285759105021689408658109812278/2242\ 4237911028586449037858430007683543, c_0101_5^22 + 5*c_0101_5^21 - 7*c_0101_5^20 + 91*c_0101_5^19 - 46*c_0101_5^18 + 249*c_0101_5^17 + 285*c_0101_5^16 - 611*c_0101_5^15 + 625*c_0101_5^14 + 656*c_0101_5^13 - 1301*c_0101_5^12 + 207*c_0101_5^11 + 722*c_0101_5^10 - 1436*c_0101_5^9 - 729*c_0101_5^8 + 450*c_0101_5^7 - 560*c_0101_5^6 - 377*c_0101_5^5 + 376*c_0101_5^4 + 21*c_0101_5^3 - 22*c_0101_5^2 + 99*c_0101_5 + 11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB