Magma V2.19-8 Tue Aug 20 2013 23:45:45 on localhost [Seed = 1460744892] Type ? for help. Type -D to quit. Loading file "K13n611__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n611 geometric_solution 10.88788905 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 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 -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.669809899260 0.561269409095 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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.550348437737 0.755772453885 8 0 10 9 0132 0132 0132 0132 0 0 0 0 0 0 0 0 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 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.423523218017 0.877572653746 10 5 9 0 2031 1023 2031 0132 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.122905073270 0.734964579935 10 8 0 11 0213 0132 0132 0132 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 -1 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 0 0 0 0.799496775436 0.914281245936 3 1 8 9 1023 0132 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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.669809899260 0.561269409095 7 9 1 11 1302 1023 0132 3201 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 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.200306874189 1.029143366530 10 6 11 1 1230 2031 3201 0132 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 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.200306874189 1.029143366530 2 4 5 11 0132 0132 1023 1023 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 1 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 0 0 0 0.799496775436 0.914281245936 6 5 2 3 1023 1302 0132 1302 0 0 0 0 0 0 0 0 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 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.037007535918 1.043331337582 4 7 3 2 0213 3012 1302 0132 0 0 0 0 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 0 0 0 0 0 0 0 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.180152169701 0.710007571394 7 6 4 8 2310 2310 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.235953527357 0.943986422744 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_5'], 'c_1001_10' : negation(d['c_0011_7']), 'c_1001_5' : d['c_0101_8'], 'c_1001_4' : negation(d['c_0101_7']), 'c_1001_7' : negation(d['c_0101_11']), 'c_1001_6' : d['c_0101_8'], 'c_1001_1' : d['c_0011_6'], 'c_1001_0' : d['c_0110_5'], 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0101_7']), 'c_1001_9' : d['c_0110_5'], 'c_1001_8' : d['c_0101_5'], 'c_1010_11' : negation(d['c_0101_11']), 'c_1010_10' : negation(d['c_0101_7']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0011_0']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : negation(d['1']), 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_1010_9']), 'c_1100_4' : negation(d['c_1010_9']), 'c_1100_7' : negation(d['c_0011_11']), 'c_1100_6' : negation(d['c_0011_11']), 'c_1100_1' : negation(d['c_0011_11']), 'c_1100_0' : negation(d['c_1010_9']), 'c_1100_3' : negation(d['c_1010_9']), 'c_1100_2' : d['c_0101_3'], 's_3_11' : d['1'], 'c_1100_9' : d['c_0101_3'], 'c_1100_11' : negation(d['c_1010_9']), 'c_1100_10' : d['c_0101_3'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : d['c_0011_6'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0110_5'], 'c_1010_1' : d['c_0101_8'], 'c_1010_0' : negation(d['c_0101_7']), 'c_1010_9' : d['c_1010_9'], 'c_1010_8' : negation(d['c_0101_7']), 'c_1100_8' : d['c_1010_9'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : 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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : d['c_0011_6'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_6'], '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_0110_11' : negation(d['c_0101_7']), 'c_0110_10' : negation(d['c_0101_11']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0011_7']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_10'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_11']), 'c_0101_1' : d['c_0011_10'], 'c_0101_0' : negation(d['c_0011_7']), 'c_0101_9' : d['c_0101_8'], 'c_0101_8' : d['c_0101_8'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_5']), 'c_0110_8' : negation(d['c_0101_11']), 'c_0110_1' : negation(d['c_0011_7']), 'c_0110_0' : d['c_0011_10'], 'c_0110_3' : negation(d['c_0011_7']), 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0011_10'], 'c_0110_6' : d['c_0101_11']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_6, c_0011_7, c_0101_11, c_0101_3, c_0101_5, c_0101_7, c_0101_8, c_0110_5, c_1010_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 59740593587294364471302341/1242415428570754412162501*c_1010_9^15 + 8809715337287482705991708/54018062111771930963587*c_1010_9^14 + 318249874256379413454533463/1242415428570754412162501*c_1010_9^13 + 64709176312859518290708235/1242415428570754412162501*c_1010_9^12 + 144559829850826413774303614/1242415428570754412162501*c_1010_9^11 + 176236805887565573360546441/1242415428570754412162501*c_1010_9^10 + 50789619396176748925658672/65390285714250232219079*c_1010_9^9 + 34628810746498462677723569/54018062111771930963587*c_1010_9^8 + 5722968035535417651757136739/4969661714283017648650004*c_1010_9^7 + 1162754079666113298975774237/4969661714283017648650004*c_1010_9^6 + 3020741264293481814574370793/4969661714283017648650004*c_1010_9^5 + 144192697796146111470142255/261561142857000928876316*c_1010_9^4 + 3314723232451823236041900765/2484830857141508824325002*c_1010_9^3 + 320206684756367216436700687/4969661714283017648650004*c_1010_9^2 - 745716960695575057274864587/1242415428570754412162501*c_1010_9 - 2602711110458351960419752949/4969661714283017648650004, c_0011_0 - 1, c_0011_10 - 1990630882046168/26796760517447009*c_1010_9^15 - 10630590278002218/26796760517447009*c_1010_9^14 - 23344615491704188/26796760517447009*c_1010_9^13 - 21208763596196110/26796760517447009*c_1010_9^12 - 6554342822103992/26796760517447009*c_1010_9^11 - 17407976820051292/26796760517447009*c_1010_9^10 - 50609478528926164/26796760517447009*c_1010_9^9 - 94829983405542484/26796760517447009*c_1010_9^8 - 91603377248160124/26796760517447009*c_1010_9^7 - 212944221774300815/53593521034894018*c_1010_9^6 - 90386644754357983/53593521034894018*c_1010_9^5 - 179687539647567115/53593521034894018*c_1010_9^4 - 121725954067515758/26796760517447009*c_1010_9^3 - 266658673522839949/53593521034894018*c_1010_9^2 + 19305391403564930/26796760517447009*c_1010_9 + 54248599435730775/26796760517447009, c_0011_11 - 2966425969307652/26796760517447009*c_1010_9^15 - 13369051352634544/26796760517447009*c_1010_9^14 - 26483908369857684/26796760517447009*c_1010_9^13 - 23059181051270860/26796760517447009*c_1010_9^12 - 20170541774994524/26796760517447009*c_1010_9^11 - 32565933898906036/26796760517447009*c_1010_9^10 - 56085469613141660/26796760517447009*c_1010_9^9 - 105718734981275932/26796760517447009*c_1010_9^8 - 118864708646885763/26796760517447009*c_1010_9^7 - 133712738285021889/26796760517447009*c_1010_9^6 - 93188821167771835/26796760517447009*c_1010_9^5 - 147545793122574071/26796760517447009*c_1010_9^4 - 148940294215958005/26796760517447009*c_1010_9^3 - 131817547034135770/26796760517447009*c_1010_9^2 - 33211023380353174/26796760517447009*c_1010_9 + 22217597219662034/26796760517447009, c_0011_6 + 228280763092086/26796760517447009*c_1010_9^15 - 4610501519237276/26796760517447009*c_1010_9^14 - 13722558202313166/26796760517447009*c_1010_9^13 - 19037883998809300/26796760517447009*c_1010_9^12 + 4527257291586076/26796760517447009*c_1010_9^11 - 20001680881245724/26796760517447009*c_1010_9^10 - 5540496103520860/26796760517447009*c_1010_9^9 - 73684363235841666/26796760517447009*c_1010_9^8 - 68784037164019955/53593521034894018*c_1010_9^7 - 203274172057965827/53593521034894018*c_1010_9^6 + 21835639677965185/53593521034894018*c_1010_9^5 - 72862229680633237/26796760517447009*c_1010_9^4 - 104224660770675315/53593521034894018*c_1010_9^3 - 107668791410369032/26796760517447009*c_1010_9^2 + 7460956112647927/26796760517447009*c_1010_9 + 36090828321451282/26796760517447009, c_0011_7 - 228280763092086/26796760517447009*c_1010_9^15 + 4610501519237276/26796760517447009*c_1010_9^14 + 13722558202313166/26796760517447009*c_1010_9^13 + 19037883998809300/26796760517447009*c_1010_9^12 - 4527257291586076/26796760517447009*c_1010_9^11 + 20001680881245724/26796760517447009*c_1010_9^10 + 5540496103520860/26796760517447009*c_1010_9^9 + 73684363235841666/26796760517447009*c_1010_9^8 + 68784037164019955/53593521034894018*c_1010_9^7 + 203274172057965827/53593521034894018*c_1010_9^6 - 21835639677965185/53593521034894018*c_1010_9^5 + 72862229680633237/26796760517447009*c_1010_9^4 + 104224660770675315/53593521034894018*c_1010_9^3 + 107668791410369032/26796760517447009*c_1010_9^2 - 7460956112647927/26796760517447009*c_1010_9 - 36090828321451282/26796760517447009, c_0101_11 + 1413876588824320/26796760517447009*c_1010_9^15 + 2159281764180852/26796760517447009*c_1010_9^14 - 2830861467984064/26796760517447009*c_1010_9^13 - 14849543083932884/26796760517447009*c_1010_9^12 - 1879631334397368/26796760517447009*c_1010_9^11 - 1288741089060172/26796760517447009*c_1010_9^10 - 308154817816304/26796760517447009*c_1010_9^9 - 21868519574619448/26796760517447009*c_1010_9^8 - 25432100566814144/26796760517447009*c_1010_9^7 - 50676086059101317/26796760517447009*c_1010_9^6 - 35154271238002431/26796760517447009*c_1010_9^5 - 14437578272121515/26796760517447009*c_1010_9^4 - 55486297220433302/26796760517447009*c_1010_9^3 - 79583316510927914/26796760517447009*c_1010_9^2 - 44254146265025544/26796760517447009*c_1010_9 + 16513668570152848/26796760517447009, c_0101_3 - 1149639820750656/26796760517447009*c_1010_9^15 - 4287051926208872/26796760517447009*c_1010_9^14 - 7844433392849956/26796760517447009*c_1010_9^13 - 6999087447904040/26796760517447009*c_1010_9^12 - 11297524026383952/26796760517447009*c_1010_9^11 - 11213078455020800/26796760517447009*c_1010_9^10 - 18015709857105984/26796760517447009*c_1010_9^9 - 33780060074420504/26796760517447009*c_1010_9^8 - 43204631356004200/26796760517447009*c_1010_9^7 - 42821844982507242/26796760517447009*c_1010_9^6 - 45551875081666863/26796760517447009*c_1010_9^5 - 41646057359470711/26796760517447009*c_1010_9^4 - 45696943462334090/26796760517447009*c_1010_9^3 - 41275971970141023/26796760517447009*c_1010_9^2 - 30614200168368643/26796760517447009*c_1010_9 + 8012772785808931/26796760517447009, c_0101_5 - 2537412663018066/26796760517447009*c_1010_9^15 - 9489063677279300/26796760517447009*c_1010_9^14 - 16049087038344986/26796760517447009*c_1010_9^13 - 7705793622753218/26796760517447009*c_1010_9^12 - 8566483140495308/26796760517447009*c_1010_9^11 - 12070025286238766/26796760517447009*c_1010_9^10 - 37978376543170132/26796760517447009*c_1010_9^9 - 58032121875354022/26796760517447009*c_1010_9^8 - 140740130430994359/53593521034894018*c_1010_9^7 - 98208523863265811/53593521034894018*c_1010_9^6 - 74890285893178341/53593521034894018*c_1010_9^5 - 126389227107971081/53593521034894018*c_1010_9^4 - 75394253540137649/26796760517447009*c_1010_9^3 - 100095485895733669/53593521034894018*c_1010_9^2 + 7021465678696858/26796760517447009*c_1010_9 + 34686918938342497/53593521034894018, c_0101_7 - 2537412663018066/26796760517447009*c_1010_9^15 - 9489063677279300/26796760517447009*c_1010_9^14 - 16049087038344986/26796760517447009*c_1010_9^13 - 7705793622753218/26796760517447009*c_1010_9^12 - 8566483140495308/26796760517447009*c_1010_9^11 - 12070025286238766/26796760517447009*c_1010_9^10 - 37978376543170132/26796760517447009*c_1010_9^9 - 58032121875354022/26796760517447009*c_1010_9^8 - 140740130430994359/53593521034894018*c_1010_9^7 - 98208523863265811/53593521034894018*c_1010_9^6 - 74890285893178341/53593521034894018*c_1010_9^5 - 126389227107971081/53593521034894018*c_1010_9^4 - 75394253540137649/26796760517447009*c_1010_9^3 - 100095485895733669/53593521034894018*c_1010_9^2 + 7021465678696858/26796760517447009*c_1010_9 + 34686918938342497/53593521034894018, c_0101_8 - 1990630882046168/26796760517447009*c_1010_9^15 - 10630590278002218/26796760517447009*c_1010_9^14 - 23344615491704188/26796760517447009*c_1010_9^13 - 21208763596196110/26796760517447009*c_1010_9^12 - 6554342822103992/26796760517447009*c_1010_9^11 - 17407976820051292/26796760517447009*c_1010_9^10 - 50609478528926164/26796760517447009*c_1010_9^9 - 94829983405542484/26796760517447009*c_1010_9^8 - 91603377248160124/26796760517447009*c_1010_9^7 - 212944221774300815/53593521034894018*c_1010_9^6 - 90386644754357983/53593521034894018*c_1010_9^5 - 179687539647567115/53593521034894018*c_1010_9^4 - 121725954067515758/26796760517447009*c_1010_9^3 - 266658673522839949/53593521034894018*c_1010_9^2 + 19305391403564930/26796760517447009*c_1010_9 + 54248599435730775/26796760517447009, c_0110_5 - 537201890231262/26796760517447009*c_1010_9^15 - 6051947768493864/26796760517447009*c_1010_9^14 - 14494577637587494/26796760517447009*c_1010_9^13 - 14719576320405914/26796760517447009*c_1010_9^12 + 3284394041107144/26796760517447009*c_1010_9^11 - 17487496432651742/26796760517447009*c_1010_9^10 - 17899552317328700/26796760517447009*c_1010_9^9 - 61738201505136074/26796760517447009*c_1010_9^8 - 89555307451091321/53593521034894018*c_1010_9^7 - 151755482396727159/53593521034894018*c_1010_9^6 - 16177272125073905/53593521034894018*c_1010_9^5 - 121181694749071493/53593521034894018*c_1010_9^4 - 56097832160193652/26796760517447009*c_1010_9^3 - 118520783062484521/53593521034894018*c_1010_9^2 + 19326070173255297/26796760517447009*c_1010_9 + 37964281858214651/53593521034894018, c_1010_9^16 + 3*c_1010_9^15 + 4*c_1010_9^14 - c_1010_9^13 + 2*c_1010_9^12 + 2*c_1010_9^11 + 15*c_1010_9^10 + 7*c_1010_9^9 + 75/4*c_1010_9^8 - 9/2*c_1010_9^7 + 43/4*c_1010_9^6 + 13/2*c_1010_9^5 + 93/4*c_1010_9^4 - 19/2*c_1010_9^3 - 13*c_1010_9^2 - 6*c_1010_9 + 17/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.840 Total time: 1.050 seconds, Total memory usage: 64.12MB