Magma V2.19-8 Tue Aug 20 2013 16:17:21 on localhost [Seed = 1848636070] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1583 geometric_solution 5.35975626 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 3201 0132 0132 0 0 0 0 0 0 -1 1 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.187117816568 0.433703599769 0 1 0 1 0132 2310 2310 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 0 0 0 0 0 0 0 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.215680722935 0.799504267825 4 3 5 0 0132 3012 0132 0132 0 0 0 0 0 0 -1 1 0 0 -1 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 -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.885332989505 1.265735826129 2 4 0 5 1230 0132 0132 2310 0 0 0 0 0 0 -1 1 0 0 -1 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 -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.885332989505 1.265735826129 2 3 4 4 0132 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0.540045128811 0.805649445222 3 6 6 2 3201 0132 3201 0132 0 0 0 0 0 -1 0 1 -1 0 0 1 -1 0 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 -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.081119361809 0.623794109624 5 5 6 6 2310 0132 1230 3012 0 0 0 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 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.131491761730 0.696617595137 ==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' : d['c_0011_2'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0101_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0011_5'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_2']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_2']), '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_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0011_2']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0011_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0011_2'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0011_2']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 2526869178053940587372038804/4701507588607634826576941*c_0101_6^19 - 40477426985842225422346407605/14104522765822904479730823*c_0101_6^1\ 8 + 213896455613054101423388913617/14104522765822904479730823*c_010\ 1_6^17 + 157127717149277196950376309904/14104522765822904479730823*\ c_0101_6^16 - 840379473023779846426560125908/1410452276582290447973\ 0823*c_0101_6^15 + 119083431661434384963084790455/47015075886076348\ 26576941*c_0101_6^14 + 472911023924945477849432948843/1410452276582\ 2904479730823*c_0101_6^13 - 3666536124196190630417687619479/1410452\ 2765822904479730823*c_0101_6^12 + 781806355080523162276794878399/14\ 104522765822904479730823*c_0101_6^11 + 2665462243973182207815937717552/14104522765822904479730823*c_0101_6\ ^10 + 735618290797422880270942623895/14104522765822904479730823*c_0\ 101_6^9 + 1058214833277996856881177638338/1410452276582290447973082\ 3*c_0101_6^8 + 837195672843944520150698654786/470150758860763482657\ 6941*c_0101_6^7 + 63703039314549838434979822049/1410452276582290447\ 9730823*c_0101_6^6 - 3230798113198052465969622330683/14104522765822\ 904479730823*c_0101_6^5 - 1906494220908339751635664523951/141045227\ 65822904479730823*c_0101_6^4 + 377451047465009524510839651424/14104\ 522765822904479730823*c_0101_6^3 + 428236856740554828407425126132/14104522765822904479730823*c_0101_6^\ 2 - 1005703652519753852112780643/4701507588607634826576941*c_0101_6 - 9284172828091444808757894891/4701507588607634826576941, c_0011_0 - 1, c_0011_2 + 27499177795772237254663910/14104522765822904479730823*c_0101\ _6^19 + 47100842806523811902860038/4701507588607634826576941*c_0101\ _6^18 - 266924497831436440191373302/4701507588607634826576941*c_010\ 1_6^17 - 391484847149086372141414444/14104522765822904479730823*c_0\ 101_6^16 + 3018521750149708983826621373/14104522765822904479730823*\ c_0101_6^15 - 641313255691306971382984898/4701507588607634826576941\ *c_0101_6^14 - 932994240543307942327261958/141045227658229044797308\ 23*c_0101_6^13 + 4375287241803550418672509425/470150758860763482657\ 6941*c_0101_6^12 - 5488041511116542794779173783/1410452276582290447\ 9730823*c_0101_6^11 - 2283635926909281533994281790/4701507588607634\ 826576941*c_0101_6^10 - 2482735795155198197552622421/14104522765822\ 904479730823*c_0101_6^9 - 3852208605769289364793942391/141045227658\ 22904479730823*c_0101_6^8 - 2830679686078666910385351672/4701507588\ 607634826576941*c_0101_6^7 + 961042540859199036662688761/1410452276\ 5822904479730823*c_0101_6^6 + 10543431641902317209526877978/1410452\ 2765822904479730823*c_0101_6^5 + 5159698737823627532531187131/14104\ 522765822904479730823*c_0101_6^4 - 391753789524465754551917513/4701507588607634826576941*c_0101_6^3 - 1002395041738400263624496138/14104522765822904479730823*c_0101_6^2 + 19662008233288259569249934/14104522765822904479730823*c_0101_6 + 55930417459489940364227615/14104522765822904479730823, c_0011_5 - 9364651154589088923141801/4701507588607634826576941*c_0101_6\ ^19 - 47309097807216299368883065/4701507588607634826576941*c_0101_6\ ^18 + 276671910496423854412230578/4701507588607634826576941*c_0101_\ 6^17 + 108668448392903216903674495/4701507588607634826576941*c_0101\ _6^16 - 1034196744872465138623022361/4701507588607634826576941*c_01\ 01_6^15 + 749287329123789258072542874/4701507588607634826576941*c_0\ 101_6^14 + 238456394138385665919074357/4701507588607634826576941*c_\ 0101_6^13 - 4491778654951538168004478224/4701507588607634826576941*\ c_0101_6^12 + 2275831733919393339345779767/470150758860763482657694\ 1*c_0101_6^11 + 2072592028484537209999151769/4701507588607634826576\ 941*c_0101_6^10 + 651793548159008772714880822/470150758860763482657\ 6941*c_0101_6^9 + 1339181932505291552073374409/47015075886076348265\ 76941*c_0101_6^8 + 2781153417572392737381377712/4701507588607634826\ 576941*c_0101_6^7 - 540556454808963068499992447/4701507588607634826\ 576941*c_0101_6^6 - 3500774652351292710122873347/470150758860763482\ 6576941*c_0101_6^5 - 1438338174747466533599383554/47015075886076348\ 26576941*c_0101_6^4 + 452142764989718654451325859/47015075886076348\ 26576941*c_0101_6^3 + 248515397001295940465461840/47015075886076348\ 26576941*c_0101_6^2 - 21358651633813197175478182/470150758860763482\ 6576941*c_0101_6 - 9324515701344731092790055/4701507588607634826576\ 941, c_0101_0 + 18442193674144654169606135/4701507588607634826576941*c_0101_\ 6^19 + 97262459507707726389685588/4701507588607634826576941*c_0101_\ 6^18 - 526449686841344206284025944/4701507588607634826576941*c_0101\ _6^17 - 346050388341655761901278674/4701507588607634826576941*c_010\ 1_6^16 + 2058268065096601167532601766/4701507588607634826576941*c_0\ 101_6^15 - 1010401284310467393740484724/4701507588607634826576941*c\ _0101_6^14 - 1046753606022953930263960191/4701507588607634826576941\ *c_0101_6^13 + 8970866017634750249603474882/47015075886076348265769\ 41*c_0101_6^12 - 2517720421364083510818851698/470150758860763482657\ 6941*c_0101_6^11 - 6156466088843819176303359770/4701507588607634826\ 576941*c_0101_6^10 - 1434025971325899279304021579/47015075886076348\ 26576941*c_0101_6^9 - 2622367642822551354008088523/4701507588607634\ 826576941*c_0101_6^8 - 5919797625094501753029991569/470150758860763\ 4826576941*c_0101_6^7 + 183428841086564280053906428/470150758860763\ 4826576941*c_0101_6^6 + 7753608159656942566104834716/47015075886076\ 34826576941*c_0101_6^5 + 4143622665988716525407460591/4701507588607\ 634826576941*c_0101_6^4 - 1044247549048978883480946430/470150758860\ 7634826576941*c_0101_6^3 - 915368472050748017799031195/470150758860\ 7634826576941*c_0101_6^2 + 31756875596254192965968632/4701507588607\ 634826576941*c_0101_6 + 52935013627891631771046639/4701507588607634\ 826576941, c_0101_1 + 193272211757583273744401/52825927961883537377269*c_0101_6^19 + 1025372632310749852468267/52825927961883537377269*c_0101_6^18 - 5490334752410806590064196/52825927961883537377269*c_0101_6^17 - 3825943802297336005689271/52825927961883537377269*c_0101_6^16 + 21612460652135219566344840/52825927961883537377269*c_0101_6^15 - 9862149399302857063952765/52825927961883537377269*c_0101_6^14 - 11876607021465254531936960/52825927961883537377269*c_0101_6^13 + 94122287869966923707181367/52825927961883537377269*c_0101_6^12 - 23345976855855684787185663/52825927961883537377269*c_0101_6^11 - 67824173350430555833716046/52825927961883537377269*c_0101_6^10 - 15652901454656614100149020/52825927961883537377269*c_0101_6^9 - 26963993956939007500816004/52825927961883537377269*c_0101_6^8 - 62461347896650038006832392/52825927961883537377269*c_0101_6^7 + 594251628432991177427666/52825927961883537377269*c_0101_6^6 + 82904493734760076201549795/52825927961883537377269*c_0101_6^5 + 45636046383580917392320818/52825927961883537377269*c_0101_6^4 - 11399436258345045359891583/52825927961883537377269*c_0101_6^3 - 10713782901532222347681269/52825927961883537377269*c_0101_6^2 + 272003001023336033645364/52825927961883537377269*c_0101_6 + 672180958006696762128470/52825927961883537377269, c_0101_2 - 17844801586818011874580757/14104522765822904479730823*c_0101\ _6^19 - 29403776966339814173203757/4701507588607634826576941*c_0101\ _6^18 + 179443583465537896196828506/4701507588607634826576941*c_010\ 1_6^17 + 155880549048286090118018905/14104522765822904479730823*c_0\ 101_6^16 - 2035137923750158218832727840/14104522765822904479730823*\ c_0101_6^15 + 548864116538135513063627209/4701507588607634826576941\ *c_0101_6^14 + 441174733133239340826977273/141045227658229044797308\ 23*c_0101_6^13 - 2927992148173119289210000687/470150758860763482657\ 6941*c_0101_6^12 + 5325536265714717033984603377/1410452276582290447\ 9730823*c_0101_6^11 + 1361953665415909614990846395/4701507588607634\ 826576941*c_0101_6^10 + 194852210330108777876078974/141045227658229\ 04479730823*c_0101_6^9 + 2460393541261717692996435023/1410452276582\ 2904479730823*c_0101_6^8 + 1636130094891908079714545947/47015075886\ 07634826576941*c_0101_6^7 - 1805495025562218865360308062/1410452276\ 5822904479730823*c_0101_6^6 - 6857973549406045764311399218/14104522\ 765822904479730823*c_0101_6^5 - 1838975371236125591931650408/141045\ 22765822904479730823*c_0101_6^4 + 509629827842175102284163291/47015\ 07588607634826576941*c_0101_6^3 + 414531123840466678920253799/14104\ 522765822904479730823*c_0101_6^2 - 108986296463202995216402195/14104522765822904479730823*c_0101_6 - 7892081452022261759591882/14104522765822904479730823, c_0101_6^20 + 5*c_0101_6^19 - 30*c_0101_6^18 - 11*c_0101_6^17 + 117*c_0101_6^16 - 85*c_0101_6^15 - 43*c_0101_6^14 + 502*c_0101_6^13 - 268*c_0101_6^12 - 302*c_0101_6^11 + 13*c_0101_6^10 - 113*c_0101_6^9 - 284*c_0101_6^8 + 100*c_0101_6^7 + 421*c_0101_6^6 + 110*c_0101_6^5 - 124*c_0101_6^4 - 37*c_0101_6^3 + 17*c_0101_6^2 + 3*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB