Magma V2.19-8 Tue Aug 20 2013 23:40:14 on localhost [Seed = 3869278810] Type ? for help. Type -D to quit. Loading file "K9a3__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K9a3 geometric_solution 10.03254745 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 11 1 2 2 3 0132 0132 3201 0132 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 1 -1 0 0 0 0 0 0 0 0 1 1 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.894050705630 0.722863322372 0 2 5 4 0132 0213 0132 0132 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 0 0 0 0 0 0 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.874856470986 0.807439865895 0 0 1 3 2310 0132 0213 0213 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 2 0 0 -2 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.323640910147 0.546853971178 6 5 0 2 0132 0132 0132 0213 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 -1 1 0 1 0 0 -1 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.874856470986 0.807439865895 6 7 1 8 2103 0132 0132 0132 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.337642318172 0.787012620660 6 3 7 1 3120 0132 0132 0132 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 -1 0 -1 0 1 0 1 0 0 -1 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.914910067677 0.878387187378 3 9 4 5 0132 0132 2103 3120 0 0 0 0 0 -1 0 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 -2 0 2 -1 0 0 1 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.293396527132 0.486566918858 8 4 10 5 0132 0132 0132 0132 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 -1 1 0 0 1 -1 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.269024603363 0.313808785732 7 9 4 10 0132 1302 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 0 0 0 0 0 0 0 -1 2 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.034878000431 1.069629617232 10 6 10 8 1023 0132 2103 2031 0 0 0 0 0 1 0 -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 2 0 -2 1 0 -1 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.762067532396 0.520175655681 9 9 8 7 2103 1023 0132 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 -1 0 1 1 0 0 -1 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.727189531965 1.589805272913 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_0101_10'], 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_0110_9'], 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : d['c_1001_1'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : d['c_0110_9'], 'c_1010_10' : d['c_0110_9'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_0_8' : 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' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0101_10']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_1100_1'], 'c_1100_4' : d['c_1100_1'], 'c_1100_7' : d['c_1100_1'], 'c_1100_6' : negation(d['c_0101_5']), 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_1001_4'], 'c_1100_10' : d['c_1100_1'], 'c_1010_7' : d['c_1001_4'], 'c_1010_6' : d['c_0011_10'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0110_9'], 'c_1010_3' : d['c_1001_4'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : d['c_0011_4'], 'c_1010_8' : d['c_0101_10'], 'c_1100_8' : d['c_1100_1'], 's_3_1' : d['1'], 's_3_0' : negation(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_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' : 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' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : d['c_0011_4'], 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_4']), 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : d['c_0101_10'], 'c_0101_7' : d['c_0101_10'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : d['c_0101_5'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_5'], 'c_0110_7' : d['c_0101_5'], 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_4, c_0101_0, c_0101_1, c_0101_10, c_0101_5, c_0110_9, c_1001_1, c_1001_4, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 175072118542298/3642470493961*c_1100_1^19 - 62193150352377/214262970233*c_1100_1^18 - 175842096806690/214262970233*c_1100_1^17 - 4685671071409202/3642470493961*c_1100_1^16 - 4144424653121549/3642470493961*c_1100_1^15 - 3596469495509538/3642470493961*c_1100_1^14 - 9128814561454610/3642470493961*c_1100_1^13 - 19843808628913760/3642470493961*c_1100_1^12 - 1428470964003046/214262970233*c_1100_1^11 - 18588482800882031/3642470493961*c_1100_1^10 - 16381009626371048/3642470493961*c_1100_1^9 - 23562216453837782/3642470493961*c_1100_1^8 - 28987103632862131/3642470493961*c_1100_1^7 - 29803088916441141/3642470493961*c_1100_1^6 - 29829979087607663/3642470493961*c_1100_1^5 - 25488060684400848/3642470493961*c_1100_1^4 - 15245725804811751/3642470493961*c_1100_1^3 - 5271612225156354/3642470493961*c_1100_1^2 - 969237422385126/3642470493961*c_1100_1 - 118454633242389/3642470493961, c_0011_0 - 1, c_0011_10 - c_1100_1, c_0011_4 - 5274859111/16481766941*c_1100_1^19 - 26786565781/16481766941*c_1100_1^18 - 64094166876/16481766941*c_1100_1^17 - 78790540226/16481766941*c_1100_1^16 - 49311443523/16481766941*c_1100_1^15 - 66651822410/16481766941*c_1100_1^14 - 224829464701/16481766941*c_1100_1^13 - 394302081578/16481766941*c_1100_1^12 - 355760318018/16481766941*c_1100_1^11 - 228403002878/16481766941*c_1100_1^10 - 317832495429/16481766941*c_1100_1^9 - 468588371102/16481766941*c_1100_1^8 - 465471303500/16481766941*c_1100_1^7 - 480122873686/16481766941*c_1100_1^6 - 482749183292/16481766941*c_1100_1^5 - 350745383497/16481766941*c_1100_1^4 - 177284652871/16481766941*c_1100_1^3 - 56270402267/16481766941*c_1100_1^2 - 19365340598/16481766941*c_1100_1 - 6880079342/16481766941, c_0101_0 - 8154976770/16481766941*c_1100_1^19 - 42049781278/16481766941*c_1100_1^18 - 102628988149/16481766941*c_1100_1^17 - 130009589757/16481766941*c_1100_1^16 - 82206443892/16481766941*c_1100_1^15 - 94353022386/16481766941*c_1100_1^14 - 331438364237/16481766941*c_1100_1^13 - 624794889722/16481766941*c_1100_1^12 - 598507121053/16481766941*c_1100_1^11 - 363308120334/16481766941*c_1100_1^10 - 422098651966/16481766941*c_1100_1^9 - 665276270736/16481766941*c_1100_1^8 - 744792130733/16481766941*c_1100_1^7 - 762540417076/16481766941*c_1100_1^6 - 713812588936/16481766941*c_1100_1^5 - 518984557958/16481766941*c_1100_1^4 - 221899095882/16481766941*c_1100_1^3 - 916189151/16481766941*c_1100_1^2 + 11269163397/16481766941*c_1100_1 + 7430801441/16481766941, c_0101_1 - 10945796459/16481766941*c_1100_1^19 - 55059381359/16481766941*c_1100_1^18 - 127842843294/16481766941*c_1100_1^17 - 145757320767/16481766941*c_1100_1^16 - 68463872417/16481766941*c_1100_1^15 - 103052967493/16481766941*c_1100_1^14 - 437579594446/16481766941*c_1100_1^13 - 760752334900/16481766941*c_1100_1^12 - 601770864591/16481766941*c_1100_1^11 - 288489104219/16481766941*c_1100_1^10 - 502914065630/16481766941*c_1100_1^9 - 838004476362/16481766941*c_1100_1^8 - 776346753287/16481766941*c_1100_1^7 - 772105563736/16481766941*c_1100_1^6 - 785967753607/16481766941*c_1100_1^5 - 498500816669/16481766941*c_1100_1^4 - 141773752267/16481766941*c_1100_1^3 + 35341066836/16481766941*c_1100_1^2 + 12047929440/16481766941*c_1100_1 + 11370020865/16481766941, c_0101_10 + 7478253967/16481766941*c_1100_1^19 + 46935406457/16481766941*c_1100_1^18 + 135524265183/16481766941*c_1100_1^17 + 215823847515/16481766941*c_1100_1^16 + 191714871665/16481766941*c_1100_1^15 + 160980150189/16481766941*c_1100_1^14 + 415738807034/16481766941*c_1100_1^13 + 917367702148/16481766941*c_1100_1^12 + 1123015738669/16481766941*c_1100_1^11 + 849173524807/16481766941*c_1100_1^10 + 759781188181/16481766941*c_1100_1^9 + 1127170576538/16481766941*c_1100_1^8 + 1351244405741/16481766941*c_1100_1^7 + 1356705777452/16481766941*c_1100_1^6 + 1411169252676/16481766941*c_1100_1^5 + 1218804430017/16481766941*c_1100_1^4 + 714591856395/16481766941*c_1100_1^3 + 277735454240/16481766941*c_1100_1^2 + 78945232707/16481766941*c_1100_1 + 28846153567/16481766941, c_0101_5 - 2685773050/16481766941*c_1100_1^19 - 8549101186/16481766941*c_1100_1^18 - 7910180402/16481766941*c_1100_1^17 + 17181171773/16481766941*c_1100_1^16 + 42850272364/16481766941*c_1100_1^15 + 8778422777/16481766941*c_1100_1^14 - 49217918939/16481766941*c_1100_1^13 + 2567550262/16481766941*c_1100_1^12 + 157518145583/16481766941*c_1100_1^11 + 185554433293/16481766941*c_1100_1^10 + 55575107661/16481766941*c_1100_1^9 + 62965280607/16481766941*c_1100_1^8 + 154508416427/16481766941*c_1100_1^7 + 147553999196/16481766941*c_1100_1^6 + 197795996397/16481766941*c_1100_1^5 + 256347213121/16481766941*c_1100_1^4 + 218811528622/16481766941*c_1100_1^3 + 133865999560/16481766941*c_1100_1^2 + 41280678847/16481766941*c_1100_1 + 17639174806/16481766941, c_0110_9 - 330399064/16481766941*c_1100_1^19 + 3176315150/16481766941*c_1100_1^18 + 21936340332/16481766941*c_1100_1^17 + 59423718291/16481766941*c_1100_1^16 + 80236478647/16481766941*c_1100_1^15 + 50440446847/16481766941*c_1100_1^14 + 49488866980/16481766941*c_1100_1^13 + 191779897687/16481766941*c_1100_1^12 + 379452420434/16481766941*c_1100_1^11 + 368851254805/16481766941*c_1100_1^10 + 224330351645/16481766941*c_1100_1^9 + 279271557758/16481766941*c_1100_1^8 + 443682638515/16481766941*c_1100_1^7 + 455953231113/16481766941*c_1100_1^6 + 466858863164/16481766941*c_1100_1^5 + 487142466341/16481766941*c_1100_1^4 + 358700591824/16481766941*c_1100_1^3 + 184148379761/16481766941*c_1100_1^2 + 50719369200/16481766941*c_1100_1 + 22315817324/16481766941, c_1001_1 - 8154976770/16481766941*c_1100_1^19 - 42049781278/16481766941*c_1100_1^18 - 102628988149/16481766941*c_1100_1^17 - 130009589757/16481766941*c_1100_1^16 - 82206443892/16481766941*c_1100_1^15 - 94353022386/16481766941*c_1100_1^14 - 331438364237/16481766941*c_1100_1^13 - 624794889722/16481766941*c_1100_1^12 - 598507121053/16481766941*c_1100_1^11 - 363308120334/16481766941*c_1100_1^10 - 422098651966/16481766941*c_1100_1^9 - 665276270736/16481766941*c_1100_1^8 - 744792130733/16481766941*c_1100_1^7 - 762540417076/16481766941*c_1100_1^6 - 713812588936/16481766941*c_1100_1^5 - 518984557958/16481766941*c_1100_1^4 - 221899095882/16481766941*c_1100_1^3 - 916189151/16481766941*c_1100_1^2 + 11269163397/16481766941*c_1100_1 + 7430801441/16481766941, c_1001_4 - 10945796459/16481766941*c_1100_1^19 - 55059381359/16481766941*c_1100_1^18 - 127842843294/16481766941*c_1100_1^17 - 145757320767/16481766941*c_1100_1^16 - 68463872417/16481766941*c_1100_1^15 - 103052967493/16481766941*c_1100_1^14 - 437579594446/16481766941*c_1100_1^13 - 760752334900/16481766941*c_1100_1^12 - 601770864591/16481766941*c_1100_1^11 - 288489104219/16481766941*c_1100_1^10 - 502914065630/16481766941*c_1100_1^9 - 838004476362/16481766941*c_1100_1^8 - 776346753287/16481766941*c_1100_1^7 - 772105563736/16481766941*c_1100_1^6 - 785967753607/16481766941*c_1100_1^5 - 498500816669/16481766941*c_1100_1^4 - 141773752267/16481766941*c_1100_1^3 + 35341066836/16481766941*c_1100_1^2 + 12047929440/16481766941*c_1100_1 + 11370020865/16481766941, c_1100_1^20 + 6*c_1100_1^19 + 17*c_1100_1^18 + 27*c_1100_1^17 + 25*c_1100_1^16 + 23*c_1100_1^15 + 54*c_1100_1^14 + 114*c_1100_1^13 + 142*c_1100_1^12 + 116*c_1100_1^11 + 106*c_1100_1^10 + 143*c_1100_1^9 + 173*c_1100_1^8 + 182*c_1100_1^7 + 184*c_1100_1^6 + 160*c_1100_1^5 + 103*c_1100_1^4 + 44*c_1100_1^3 + 14*c_1100_1^2 + 4*c_1100_1 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.300 seconds, Total memory usage: 32.09MB