Magma V2.19-8 Tue Aug 20 2013 17:59:09 on localhost [Seed = 1848629988] Type ? for help. Type -D to quit. Loading file "10^2_24__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation 10^2_24 geometric_solution 13.49171226 oriented_manifold CS_known -0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 14 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 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.054197266234 1.481142545538 0 5 5 6 0132 0132 0321 0132 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 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.458817562047 0.797660407365 7 0 8 3 0132 0132 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.074936133671 0.861009549318 2 8 9 0 3120 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.583121086642 0.681073668486 10 11 0 12 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 1 -1 -1 0 0 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.081866021594 0.756552357599 7 1 1 10 1023 0132 0321 0321 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 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.458817562047 0.797660407365 7 10 1 10 2103 0321 0132 0132 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 -1 1 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.582454865514 0.858492723923 2 5 6 11 0132 1023 2103 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.558093406051 0.733815624163 13 3 13 2 0132 0132 3012 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.273429267355 0.740488289229 13 11 12 3 2031 0321 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 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.206382096035 0.668764748834 4 5 6 6 0132 0321 0132 0321 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 1 -1 0 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.458159259301 0.941997302859 7 4 12 9 3120 0132 2103 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.235056717492 0.998594312327 11 13 4 9 2103 1302 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 -1 1 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.918592922837 1.073569657536 8 8 9 12 0132 1230 1302 2031 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 -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.675108597655 0.688040390371 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_12'], 'c_1001_10' : d['c_1001_1'], 'c_1001_13' : d['c_0101_3'], 'c_1001_12' : d['c_0011_12'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0011_6'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_13']), 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0101_9']), 'c_1001_8' : negation(d['c_0011_13']), 'c_1010_13' : d['c_0011_12'], 'c_1010_12' : negation(d['c_0101_9']), 'c_1010_11' : d['c_1001_2'], 'c_1010_10' : d['c_1001_1'], 's_0_10' : negation(d['1']), 's_3_10' : negation(d['1']), 's_0_12' : d['1'], 's_0_13' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_10'], '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' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_13' : d['1'], 's_2_10' : d['1'], 's_2_11' : 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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_10'], 'c_1100_8' : negation(d['c_0101_3']), 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1001_1'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_0101_10']), 'c_1100_6' : d['c_1001_5'], 'c_1100_1' : d['c_1001_5'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_0101_3']), 's_3_11' : d['1'], 'c_1100_9' : d['c_1100_0'], 'c_1100_11' : negation(d['c_0101_9']), 'c_1100_10' : d['c_1001_5'], 'c_1100_13' : d['c_0101_9'], 's_0_11' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : negation(d['c_0011_10']), 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0011_12'], 'c_1010_3' : negation(d['c_0011_13']), 'c_1010_2' : negation(d['c_0011_13']), 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : d['c_1001_2'], 's_3_1' : negation(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'], 'c_1100_12' : d['c_1100_0'], 's_1_7' : d['1'], 's_1_6' : negation(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_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_13']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0101_13' : negation(d['c_0011_9']), '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_13'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_9']), 'c_0110_10' : negation(d['c_0011_6']), 'c_0110_13' : d['c_0011_12'], 'c_0110_12' : d['c_0101_9'], 'c_0101_12' : d['c_0101_10'], 'c_0011_7' : d['c_0011_0'], 's_3_12' : d['1'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : negation(d['c_0011_6']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_9']), 'c_0101_1' : negation(d['c_0011_6']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0011_12'], 'c_0011_10' : d['c_0011_10'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : negation(d['c_0011_9']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_6']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0011_10']), 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0011_9']), 'c_0110_6' : d['c_0101_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 15 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_13, c_0011_6, c_0011_9, c_0101_0, c_0101_10, c_0101_3, c_0101_9, c_1001_1, c_1001_2, c_1001_5, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 3544527953526444127665400/81981725300824418822493*c_1100_0^13 + 5470547587166625427619290/27327241766941472940831*c_1100_0^12 - 15365908620879828009891748/81981725300824418822493*c_1100_0^11 - 75407129131968360713066537/163963450601648837644986*c_1100_0^10 + 61180610498918455960127854/81981725300824418822493*c_1100_0^9 + 170191028056811129829634559/163963450601648837644986*c_1100_0^8 - 80344350474211207706100964/27327241766941472940831*c_1100_0^7 + 200717495360191098431169433/163963450601648837644986*c_1100_0^6 + 50866943786647558619294216/27327241766941472940831*c_1100_0^5 - 35278560241507178851988774/27327241766941472940831*c_1100_0^4 - 37267631021525864815110848/27327241766941472940831*c_1100_0^3 + 296568409213702062850056509/163963450601648837644986*c_1100_0^2 - 51838621650117097841684980/81981725300824418822493*c_1100_0 + 2062831115028518084334275/54654483533882945881662, c_0011_0 - 1, c_0011_10 + 2475201699319424/555667009479999*c_1100_0^13 - 3082100696022056/308703894155555*c_1100_0^12 - 34856514478690712/2778335047399995*c_1100_0^11 + 99166297620843574/2778335047399995*c_1100_0^10 + 87647832188936264/2778335047399995*c_1100_0^9 - 55652367786917144/555667009479999*c_1100_0^8 + 6276198892077908/926111682466665*c_1100_0^7 + 236455602134338237/2778335047399995*c_1100_0^6 - 841145766996684/308703894155555*c_1100_0^5 - 57085480185483418/926111682466665*c_1100_0^4 + 17260010476197896/926111682466665*c_1100_0^3 - 2308562447630749/2778335047399995*c_1100_0^2 + 24683468700614908/2778335047399995*c_1100_0 - 109037940329488/926111682466665, c_0011_12 + 520006797200/869588434241*c_1100_0^13 - 2207711462260/869588434241*c_1100_0^12 + 2277692040152/2608765302723*c_1100_0^11 + 21199351876189/2608765302723*c_1100_0^10 - 12598589738792/2608765302723*c_1100_0^9 - 18572034683478/869588434241*c_1100_0^8 + 69888934886612/2608765302723*c_1100_0^7 + 7232230999625/869588434241*c_1100_0^6 - 19982145652924/869588434241*c_1100_0^5 - 14563918021841/2608765302723*c_1100_0^4 + 50382585607604/2608765302723*c_1100_0^3 - 15706125840809/2608765302723*c_1100_0^2 + 402443350152/869588434241*c_1100_0 - 1819867931926/869588434241, c_0011_13 - 3771044829146704/555667009479999*c_1100_0^13 + 20282185564299928/926111682466665*c_1100_0^12 + 9378272137359172/2778335047399995*c_1100_0^11 - 203198061634674734/2778335047399995*c_1100_0^10 + 25401162360477236/2778335047399995*c_1100_0^9 + 111524062353463621/555667009479999*c_1100_0^8 - 157247583154182128/926111682466665*c_1100_0^7 - 333835252320652052/2778335047399995*c_1100_0^6 + 131722429825461152/926111682466665*c_1100_0^5 + 84221735599717438/926111682466665*c_1100_0^4 - 39380425563167472/308703894155555*c_1100_0^3 + 79249732197445409/2778335047399995*c_1100_0^2 - 42289149825685688/2778335047399995*c_1100_0 + 13983403281026018/926111682466665, c_0011_6 - 4960557542113168/555667009479999*c_1100_0^13 + 8616965032655792/308703894155555*c_1100_0^12 + 15833963134732204/2778335047399995*c_1100_0^11 - 257227061668593608/2778335047399995*c_1100_0^10 + 22452132414156392/2778335047399995*c_1100_0^9 + 141037314199525408/555667009479999*c_1100_0^8 - 196971531138511666/926111682466665*c_1100_0^7 - 413931274822637924/2778335047399995*c_1100_0^6 + 55581220545055828/308703894155555*c_1100_0^5 + 103059283612523936/926111682466665*c_1100_0^4 - 152513126488234732/926111682466665*c_1100_0^3 + 105895925394686588/2778335047399995*c_1100_0^2 - 46919664207584636/2778335047399995*c_1100_0 + 17302330259057576/926111682466665, c_0011_9 + 3615475087032488/555667009479999*c_1100_0^13 - 19632334102529416/926111682466665*c_1100_0^12 - 4892078535868034/2778335047399995*c_1100_0^11 + 192860987973231568/2778335047399995*c_1100_0^10 - 41434381912480417/2778335047399995*c_1100_0^9 - 105580545832972376/555667009479999*c_1100_0^8 + 166805526816272186/926111682466665*c_1100_0^7 + 289736336117533264/2778335047399995*c_1100_0^6 - 141833805202301489/926111682466665*c_1100_0^5 - 72888709518384956/926111682466665*c_1100_0^4 + 126000982465401742/926111682466665*c_1100_0^3 - 93999722177903848/2778335047399995*c_1100_0^2 + 34271607003605671/2778335047399995*c_1100_0 - 14708725700026456/926111682466665, c_0101_0 + 2475201699319424/555667009479999*c_1100_0^13 - 3082100696022056/308703894155555*c_1100_0^12 - 34856514478690712/2778335047399995*c_1100_0^11 + 99166297620843574/2778335047399995*c_1100_0^10 + 87647832188936264/2778335047399995*c_1100_0^9 - 55652367786917144/555667009479999*c_1100_0^8 + 6276198892077908/926111682466665*c_1100_0^7 + 236455602134338237/2778335047399995*c_1100_0^6 - 841145766996684/308703894155555*c_1100_0^5 - 57085480185483418/926111682466665*c_1100_0^4 + 17260010476197896/926111682466665*c_1100_0^3 - 2308562447630749/2778335047399995*c_1100_0^2 + 24683468700614908/2778335047399995*c_1100_0 - 109037940329488/926111682466665, c_0101_10 - 1, c_0101_3 - 5671926852439828/555667009479999*c_1100_0^13 + 31767254696004796/926111682466665*c_1100_0^12 + 3483920532218479/2778335047399995*c_1100_0^11 - 313970275167578228/2778335047399995*c_1100_0^10 + 78631325950478642/2778335047399995*c_1100_0^9 + 171819808488267232/555667009479999*c_1100_0^8 - 274549442562279151/926111682466665*c_1100_0^7 - 479251780894019504/2778335047399995*c_1100_0^6 + 233222643822773624/926111682466665*c_1100_0^5 + 40695122559591132/308703894155555*c_1100_0^4 - 68177179743715479/308703894155555*c_1100_0^3 + 140886369097736288/2778335047399995*c_1100_0^2 - 55933330020457526/2778335047399995*c_1100_0 + 24534003120484676/926111682466665, c_0101_9 - 1753900834820/2608765302723*c_1100_0^13 + 1278124346884/2608765302723*c_1100_0^12 + 3386024689373/869588434241*c_1100_0^11 - 4037801715224/2608765302723*c_1100_0^10 - 31918288724474/2608765302723*c_1100_0^9 + 10911269295296/2608765302723*c_1100_0^8 + 17029138652492/869588434241*c_1100_0^7 - 11759670378160/2608765302723*c_1100_0^6 - 49868784217288/2608765302723*c_1100_0^5 + 4597640769820/2608765302723*c_1100_0^4 + 25766842490278/2608765302723*c_1100_0^3 + 1233036072412/869588434241*c_1100_0^2 - 1440740386842/869588434241*c_1100_0 - 1087706323300/869588434241, c_1001_1 - 1, c_1001_2 - 2820257373398768/555667009479999*c_1100_0^13 + 5642584203465792/308703894155555*c_1100_0^12 - 4474944187615276/2778335047399995*c_1100_0^11 - 166308143264628508/2778335047399995*c_1100_0^10 + 59684165161351192/2778335047399995*c_1100_0^9 + 90309319293417536/555667009479999*c_1100_0^8 - 156325300723335701/926111682466665*c_1100_0^7 - 235686352935045184/2778335047399995*c_1100_0^6 + 43935421969777158/308703894155555*c_1100_0^5 + 60548170376863936/926111682466665*c_1100_0^4 - 37883703896512989/308703894155555*c_1100_0^3 + 81830643774739828/2778335047399995*c_1100_0^2 - 29376478452115966/2778335047399995*c_1100_0 + 14743314508486336/926111682466665, c_1001_5 - 708454240/120917331*c_1100_0^13 + 780101176/40305777*c_1100_0^12 + 308404040/120917331*c_1100_0^11 - 7875804070/120917331*c_1100_0^10 + 1101641002/120917331*c_1100_0^9 + 21574542952/120917331*c_1100_0^8 - 6080434892/40305777*c_1100_0^7 - 13219628485/120917331*c_1100_0^6 + 5168837498/40305777*c_1100_0^5 + 3330447698/40305777*c_1100_0^4 - 1534794372/13435259*c_1100_0^3 + 2799192661/120917331*c_1100_0^2 - 1345103950/120917331*c_1100_0 + 533657536/40305777, c_1100_0^14 - 21/5*c_1100_0^13 + 53/20*c_1100_0^12 + 56/5*c_1100_0^11 - 59/5*c_1100_0^10 - 28*c_1100_0^9 + 537/10*c_1100_0^8 - 37/5*c_1100_0^7 - 189/5*c_1100_0^6 + 39/5*c_1100_0^5 + 633/20*c_1100_0^4 - 116/5*c_1100_0^3 + 32/5*c_1100_0^2 - 21/5*c_1100_0 + 9/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.460 Total time: 0.680 seconds, Total memory usage: 32.09MB