Magma V2.19-8 Tue Aug 20 2013 16:16:18 on localhost [Seed = 2160139361] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0572 geometric_solution 4.59319814 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 1023 2031 0 0 0 0 0 -1 -1 2 0 0 -1 1 1 -2 0 1 1 -1 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.292140310541 0.081425584532 0 2 0 2 0132 0132 1023 2310 0 0 0 0 0 -1 1 0 0 0 1 -1 -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 -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 -2.952384088660 3.853252600209 1 1 3 4 3201 0132 0132 0132 0 0 0 0 0 1 -1 0 -1 0 1 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 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.126496314897 0.303446894932 4 4 5 2 1023 3012 0132 0132 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 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.482538422034 1.079591147847 3 3 2 5 1230 1023 0132 3201 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.482538422034 1.079591147847 6 4 6 3 0132 2310 1023 0132 0 0 0 0 0 0 -1 1 1 0 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.897750561839 1.117293877847 5 6 5 6 0132 1302 1023 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.437534932276 0.311282240432 ==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' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(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' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_5']), 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_4']), '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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 16769167449254502446166345632541060997821/3552560274459206396094489\ 9081627329523968*c_0101_5^24 - 523841223375569274404504415701959811\ 424895/17762801372296031980472449540813664761984*c_0101_5^22 + 15301761210213702873549929753129029772609719/3552560274459206396094\ 4899081627329523968*c_0101_5^20 - 100166730274332847171264364129292\ 998485876003/8881400686148015990236224770406832380992*c_0101_5^18 + 1567332775239408471815173684054257975622062661/17762801372296031980\ 472449540813664761984*c_0101_5^16 - 14838187520040990510642395037498824331679153225/3552560274459206396\ 0944899081627329523968*c_0101_5^14 + 18250974922263222902196303064654232324042655149/1776280137229603198\ 0472449540813664761984*c_0101_5^12 - 11360936395574667169140131338641333802061128695/8881400686148015990\ 236224770406832380992*c_0101_5^10 + 31848297231025506474930625468906861300878211769/3552560274459206396\ 0944899081627329523968*c_0101_5^8 - 13480921926382941399530984155673960595016318105/3552560274459206396\ 0944899081627329523968*c_0101_5^6 + 26915145217459333868912984824138779081663295/2775437714421254996948\ 82024075213511906*c_0101_5^4 - 458263384436543118407155296369643817\ 427809185/35525602744592063960944899081627329523968*c_0101_5^2 + 17128999222214883143860368597697261424662609/3552560274459206396094\ 4899081627329523968, c_0011_0 - 1, c_0011_3 + 117527107055346268207780182610568758420/13877188572106274984\ 7441012037606755953*c_0101_5^25 - 727747942105499759831324792447350\ 7023180/138771885721062749847441012037606755953*c_0101_5^23 + 103206603528538962660822345948585962539056/138771885721062749847441\ 012037606755953*c_0101_5^21 - 2750981562241663387090673146811577314\ 301382/138771885721062749847441012037606755953*c_0101_5^19 + 20445119350052636429035185297997351099961244/1387718857210627498474\ 41012037606755953*c_0101_5^17 - 92714128541283104158261063239614468\ 243515280/138771885721062749847441012037606755953*c_0101_5^15 + 204876503689523971173241500405135423688842026/138771885721062749847\ 441012037606755953*c_0101_5^13 - 2071141819731515123008107688966679\ 64673920439/138771885721062749847441012037606755953*c_0101_5^11 + 113539956187715138067410637255905586987516988/138771885721062749847\ 441012037606755953*c_0101_5^9 - 37023369187741290265237998448470344\ 223993090/138771885721062749847441012037606755953*c_0101_5^7 + 6647631861071288411551434922684600696929547/13877188572106274984744\ 1012037606755953*c_0101_5^5 - 4823050311187390626928304326549914794\ 49566/138771885721062749847441012037606755953*c_0101_5^3 + 11389835844652804052969306406376843046006/1387718857210627498474410\ 12037606755953*c_0101_5, c_0011_5 + 120901796202248084469136571109399122384/13877188572106274984\ 7441012037606755953*c_0101_5^24 - 748883278241607884757356819850466\ 7515071/138771885721062749847441012037606755953*c_0101_5^22 + 106317805554586310105360182368208657348929/138771885721062749847441\ 012037606755953*c_0101_5^20 - 2832064446780545370896359916726624130\ 980768/138771885721062749847441012037606755953*c_0101_5^18 + 21087978600694652370001589330393546904848065/1387718857210627498474\ 41012037606755953*c_0101_5^16 - 95789589643436952610726266360504996\ 031115031/138771885721062749847441012037606755953*c_0101_5^14 + 212627519977468902915634859583541718439462720/138771885721062749847\ 441012037606755953*c_0101_5^12 - 2171546030282212609706338668437124\ 58370048150/138771885721062749847441012037606755953*c_0101_5^10 + 120853725294841219982441903750899753955226739/138771885721062749847\ 441012037606755953*c_0101_5^8 - 40231400085917719444953801879646745\ 500445332/138771885721062749847441012037606755953*c_0101_5^6 + 7499889393256911302786083382378609171651818/13877188572106274984744\ 1012037606755953*c_0101_5^4 - 6016718708017395959725689762716851854\ 47088/138771885721062749847441012037606755953*c_0101_5^2 + 16429658470326163987822280919991485990017/1387718857210627498474410\ 12037606755953, c_0101_0 + 129138149505267332964329840856204114651/13877188572106274984\ 7441012037606755953*c_0101_5^24 - 799856018370585654788966417992144\ 4614197/138771885721062749847441012037606755953*c_0101_5^22 + 113533204572603769393115363352186474548313/138771885721062749847441\ 012037606755953*c_0101_5^20 - 3024611757658856370963284241130914766\ 628515/138771885721062749847441012037606755953*c_0101_5^18 + 22514252819831237531852160029909759118486217/1387718857210627498474\ 41012037606755953*c_0101_5^16 - 10223977128584591046716307555440003\ 4315639427/138771885721062749847441012037606755953*c_0101_5^14 + 226775562660069652465452348841990558328252433/138771885721062749847\ 441012037606755953*c_0101_5^12 - 2312327993453106435215351574743966\ 54099037248/138771885721062749847441012037606755953*c_0101_5^10 + 128424598338464234802549121180971931616985712/138771885721062749847\ 441012037606755953*c_0101_5^8 - 42644650344806660239139111559067075\ 090680574/138771885721062749847441012037606755953*c_0101_5^6 + 7915556208527429144036228789605142490555685/13877188572106274984744\ 1012037606755953*c_0101_5^4 - 6288170426579410910194498504567219935\ 54109/138771885721062749847441012037606755953*c_0101_5^2 + 16997183257790683150269013976387777033633/1387718857210627498474410\ 12037606755953, c_0101_1 + 1212611606634343267933921546234402458071/2775437714421254996\ 94882024075213511906*c_0101_5^25 - 37552676418497054232851631172616567690261/1387718857210627498474410\ 12037606755953*c_0101_5^23 + 10659938180929215800794012141144994982\ 35833/277543771442125499694882024075213511906*c_0101_5^21 - 14199982843405005757348529926029038195777401/1387718857210627498474\ 41012037606755953*c_0101_5^19 + 10568833937917270500599618882314228\ 2351578530/138771885721062749847441012037606755953*c_0101_5^17 - 959786726348797816967746947242661475947525935/277543771442125499694\ 882024075213511906*c_0101_5^15 + 1064146476627038086995692388581331\ 173012878339/138771885721062749847441012037606755953*c_0101_5^13 - 1084350280828892147824089099944110829886749872/13877188572106274984\ 7441012037606755953*c_0101_5^11 + 120317675341896294943780605977729\ 9462739879971/277543771442125499694882024075213511906*c_0101_5^9 - 398913986032415907944551453967106900233913915/277543771442125499694\ 882024075213511906*c_0101_5^7 + 36924044565373436754326622677686060\ 330750549/138771885721062749847441012037606755953*c_0101_5^5 - 5825040046149612859253454330680387862427901/27754377144212549969488\ 2024075213511906*c_0101_5^3 + 1561890974898106469301491512612157072\ 24757/277543771442125499694882024075213511906*c_0101_5, c_0101_4 + 160095181481740924897822806313468176813/13877188572106274984\ 7441012037606755953*c_0101_5^25 - 991346859191034677479920938263316\ 8684430/138771885721062749847441012037606755953*c_0101_5^23 + 140594134478606694479433419567783478002900/138771885721062749847441\ 012037606755953*c_0101_5^21 - 3747473061309032649735914321390770235\ 776584/138771885721062749847441012037606755953*c_0101_5^19 + 27852706833991351624166190215240920762994226/1387718857210627498474\ 41012037606755953*c_0101_5^17 - 12631364682150182310278809639187735\ 3892552183/138771885721062749847441012037606755953*c_0101_5^15 + 279169522773104008245182369053450482478477697/138771885721062749847\ 441012037606755953*c_0101_5^13 - 2823386306425987151805261965161857\ 28708080114/138771885721062749847441012037606755953*c_0101_5^11 + 154902984220011227587566030037053251048334167/138771885721062749847\ 441012037606755953*c_0101_5^9 - 50574246425340001857177445427916990\ 032764213/138771885721062749847441012037606755953*c_0101_5^7 + 9102217430259384261526151601421469342711710/13877188572106274984744\ 1012037606755953*c_0101_5^5 - 6646541848004045221985385836672449996\ 10589/138771885721062749847441012037606755953*c_0101_5^3 + 15640934482362324027898414069758243266372/1387718857210627498474410\ 12037606755953*c_0101_5, c_0101_5^26 - 62*c_0101_5^24 + 883*c_0101_5^22 - 23476*c_0101_5^20 + 175794*c_0101_5^18 - 802509*c_0101_5^16 + 1805098*c_0101_5^14 - 1899228*c_0101_5^12 + 1105037*c_0101_5^10 - 391509*c_0101_5^8 + 81608*c_0101_5^6 - 8629*c_0101_5^4 + 429*c_0101_5^2 - 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB