Magma V2.19-8 Tue Aug 20 2013 23:47:23 on localhost [Seed = 1916016701] Type ? for help. Type -D to quit. Loading file "L10a35__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L10a35 geometric_solution 11.00260872 oriented_manifold CS_known 0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 1 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 0 0 0 1 0 -1 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.284031793444 0.649935978942 0 5 4 5 0132 0132 1230 1230 1 1 1 1 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 -1 8 0 -7 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.765719081366 0.695098436194 3 0 7 6 0321 0132 0132 0132 1 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 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.960743378683 0.751266364726 2 8 5 0 0321 0132 2031 0132 1 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 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.173426128047 1.608598226954 4 4 0 1 1302 2031 0132 3012 1 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 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.390475889001 1.687514321580 1 1 7 3 3012 0132 2103 1302 1 1 1 1 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 7 -8 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.435426422253 1.291885941672 9 10 2 9 0132 0132 0132 2031 1 1 0 1 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 -1 1 0 0 0 0 2 -1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.605992602853 1.079963742424 5 8 11 2 2103 0321 0132 0132 1 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 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.500574831239 0.187869242321 9 3 10 7 3012 0132 0132 0321 1 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 0 0 0 0 0 0 0 0 0 0 -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.200905349763 1.308900078516 6 6 11 8 0132 1302 2103 1230 1 1 1 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 -1 1 0 -1 0 1 -2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.604842940375 0.704225257781 11 6 11 8 2103 0132 0213 0132 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 0 0 0 0 0 0 0 1 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.298137314617 0.817186409142 9 10 10 7 2103 0213 2103 0132 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 0 0 0 0 0 0 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.605992602853 1.079963742424 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0011_11'], 'c_1001_11' : d['c_0011_10'], 'c_1001_10' : d['c_0011_10'], 'c_1001_5' : d['c_0011_7'], 'c_1001_4' : negation(d['c_0110_4']), 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0110_4']), 'c_1001_2' : negation(d['c_0110_4']), 'c_1001_9' : d['c_0011_11'], 'c_1001_8' : d['c_1001_0'], 'c_1010_11' : d['c_1001_7'], 'c_1010_10' : d['c_1001_0'], 's_0_10' : negation(d['1']), 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_11'], 'c_0101_10' : d['c_0011_11'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_2_7' : negation(d['1']), 's_2_10' : d['1'], 's_2_11' : negation(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_0011_7']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0101_2']), 'c_1100_4' : negation(d['c_1001_1']), 'c_1100_7' : negation(d['c_0101_8']), 'c_1100_6' : negation(d['c_0101_8']), 'c_1100_1' : d['c_0110_4'], 'c_1100_0' : negation(d['c_1001_1']), 'c_1100_3' : negation(d['c_1001_1']), 'c_1100_2' : negation(d['c_0101_8']), 's_3_11' : negation(d['1']), 'c_1100_11' : negation(d['c_0101_8']), 'c_1100_10' : d['c_1001_7'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0110_4']), 'c_1010_6' : d['c_0011_10'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_7'], 'c_1010_0' : negation(d['c_0110_4']), 'c_1010_9' : d['c_0101_8'], 'c_1010_8' : negation(d['c_0110_4']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : negation(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' : 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_10'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_7'], 'c_0110_10' : d['c_0101_8'], 'c_0110_0' : negation(d['c_0011_4']), 'c_0101_7' : d['c_0011_7'], 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0011_7'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0101_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : d['c_0011_11'], 'c_0101_8' : d['c_0101_8'], 's_1_11' : d['1'], 's_1_10' : negation(d['1']), 'c_0110_9' : negation(d['c_0011_3']), 'c_0110_8' : negation(d['c_0011_7']), 'c_0110_1' : d['c_0011_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0110_4'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_2'], 'c_1100_8' : d['c_1001_7']})} 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_3, c_0011_4, c_0011_7, c_0101_2, c_0101_8, c_0110_4, c_1001_0, c_1001_1, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 115966763371859122186270323/95497143121794957440221345216*c_1001_7^\ 13 + 449579216105580420227252467/95497143121794957440221345216*c_10\ 01_7^12 - 1765330849637330827877821/208509046117456238952448352*c_1\ 001_7^11 + 524589038983958679990945837/4774857156089747872011067260\ 8*c_1001_7^10 - 3748840988000586813428267679/9549714312179495744022\ 1345216*c_1001_7^9 - 1625339318350634094468164445/95497143121794957\ 440221345216*c_1001_7^8 + 2615968952255059275350815567/477485715608\ 97478720110672608*c_1001_7^7 - 2171774245095891478452824601/4774857\ 1560897478720110672608*c_1001_7^6 - 14026118584569029745931071933/47748571560897478720110672608*c_1001_\ 7^5 - 29173722928949232489497060235/47748571560897478720110672608*c\ _1001_7^4 - 1571224155242409121045842813/23874285780448739360055336\ 304*c_1001_7^3 - 889451376363384806600848572/1492142861278046210003\ 458519*c_1001_7^2 - 63263583561574412052086151871/95497143121794957\ 440221345216*c_1001_7 - 98875306802370076392934323641/9549714312179\ 4957440221345216, c_0011_0 - 1, c_0011_10 + 1, c_0011_11 - 129584323/30768468956*c_1001_7^13 + 691518209/30768468956*c_1001_7^12 - 467634409/7692117239*c_1001_7^11 + 909924958/7692117239*c_1001_7^10 - 8741910129/30768468956*c_1001_7^9 + 9662580113/30768468956*c_1001_7^8 - 1527036571/7692117239*c_1001_7^7 + 1288898691/15384234478*c_1001_7^6 - 19705023313/15384234478*c_1001_7^5 + 3895700529/15384234478*c_1001_7^4 - 6506503395/7692117239*c_1001_7^3 - 16977539037/15384234478*c_1001_7^2 - 40717756853/30768468956*c_1001_7 + 5957245883/30768468956, c_0011_3 + c_1001_7, c_0011_4 + 233163579766355/77720675671587182*c_1001_7^13 - 3358275417195759/155441351343174364*c_1001_7^12 + 2909784172498465/38860337835793591*c_1001_7^11 - 1058138009005587/5978513513199014*c_1001_7^10 + 31378551921589287/77720675671587182*c_1001_7^9 - 110782433033934277/155441351343174364*c_1001_7^8 + 125821576495801951/155441351343174364*c_1001_7^7 - 57353107050227569/77720675671587182*c_1001_7^6 + 237677955211281229/155441351343174364*c_1001_7^5 - 167424427914295399/77720675671587182*c_1001_7^4 + 48492403335411803/38860337835793591*c_1001_7^3 - 35526731805313261/38860337835793591*c_1001_7^2 + 86678011572535541/155441351343174364*c_1001_7 - 271587874171362607/155441351343174364, c_0011_7 + 56708107352295/77720675671587182*c_1001_7^13 - 61779254736429/77720675671587182*c_1001_7^12 - 331896320320086/38860337835793591*c_1001_7^11 + 118726374117718/2989256756599507*c_1001_7^10 - 6754871129231471/77720675671587182*c_1001_7^9 + 20637547736578145/77720675671587182*c_1001_7^8 - 17502146962261591/38860337835793591*c_1001_7^7 + 19803520441558241/38860337835793591*c_1001_7^6 - 9965500839774040/38860337835793591*c_1001_7^5 + 49335691876963240/38860337835793591*c_1001_7^4 - 40473474611744695/38860337835793591*c_1001_7^3 + 71313773748837977/38860337835793591*c_1001_7^2 - 3363926780970523/77720675671587182*c_1001_7 + 76163248740837005/77720675671587182, c_0101_2 - 256346505430679/77720675671587182*c_1001_7^13 + 2571504534766195/155441351343174364*c_1001_7^12 - 1596401001379100/38860337835793591*c_1001_7^11 + 211048117964264/2989256756599507*c_1001_7^10 - 26376249571388333/155441351343174364*c_1001_7^9 + 18821447916384111/155441351343174364*c_1001_7^8 + 7507074695291295/155441351343174364*c_1001_7^7 - 18484535330972439/77720675671587182*c_1001_7^6 - 25059944522696922/38860337835793591*c_1001_7^5 - 50663075894819683/77720675671587182*c_1001_7^4 + 56145229328811817/155441351343174364*c_1001_7^3 - 93653045017727902/38860337835793591*c_1001_7^2 - 60896110415193037/77720675671587182*c_1001_7 - 130136110213425345/155441351343174364, c_0101_8 - 75909346737745/155441351343174364*c_1001_7^13 + 79995782237385/155441351343174364*c_1001_7^12 + 182239397553723/38860337835793591*c_1001_7^11 - 110397909205181/5978513513199014*c_1001_7^10 + 3646423698836175/155441351343174364*c_1001_7^9 - 11945159302564671/155441351343174364*c_1001_7^8 + 2022060465132340/38860337835793591*c_1001_7^7 + 10970241030361385/77720675671587182*c_1001_7^6 - 23601184636913660/38860337835793591*c_1001_7^5 + 6619655202828033/77720675671587182*c_1001_7^4 - 44805561789931511/77720675671587182*c_1001_7^3 + 13604530543279186/38860337835793591*c_1001_7^2 - 464080186904734137/155441351343174364*c_1001_7 + 166497563853141721/155441351343174364, c_0110_4 + 17307506333033/38860337835793591*c_1001_7^13 - 233706392045101/77720675671587182*c_1001_7^12 + 1615507102408383/155441351343174364*c_1001_7^11 - 340282605920161/11957027026398028*c_1001_7^10 + 6189072572050709/77720675671587182*c_1001_7^9 - 6523806313301608/38860337835793591*c_1001_7^8 + 42614712837985073/155441351343174364*c_1001_7^7 - 69467312884390627/155441351343174364*c_1001_7^6 + 112902612611732335/155441351343174364*c_1001_7^5 - 116167081176403785/155441351343174364*c_1001_7^4 + 65507783234425533/155441351343174364*c_1001_7^3 - 134382501191918531/155441351343174364*c_1001_7^2 + 119458764260557381/77720675671587182*c_1001_7 - 69725569058872615/77720675671587182, c_1001_0 + 56708107352295/77720675671587182*c_1001_7^13 - 61779254736429/77720675671587182*c_1001_7^12 - 331896320320086/38860337835793591*c_1001_7^11 + 118726374117718/2989256756599507*c_1001_7^10 - 6754871129231471/77720675671587182*c_1001_7^9 + 20637547736578145/77720675671587182*c_1001_7^8 - 17502146962261591/38860337835793591*c_1001_7^7 + 19803520441558241/38860337835793591*c_1001_7^6 - 9965500839774040/38860337835793591*c_1001_7^5 + 49335691876963240/38860337835793591*c_1001_7^4 - 40473474611744695/38860337835793591*c_1001_7^3 + 71313773748837977/38860337835793591*c_1001_7^2 - 3363926780970523/77720675671587182*c_1001_7 + 76163248740837005/77720675671587182, c_1001_1 - 46849055077295/155441351343174364*c_1001_7^13 + 222382376960747/155441351343174364*c_1001_7^12 - 977412427223547/155441351343174364*c_1001_7^11 + 116471936679845/5978513513199014*c_1001_7^10 - 3668167988002035/77720675671587182*c_1001_7^9 + 9662787259333751/155441351343174364*c_1001_7^8 - 20846990327450543/155441351343174364*c_1001_7^7 + 5011626877830851/77720675671587182*c_1001_7^6 - 278567942245029/77720675671587182*c_1001_7^5 - 18886200810530879/77720675671587182*c_1001_7^4 - 29378638254706704/38860337835793591*c_1001_7^3 - 33237110961820520/38860337835793591*c_1001_7^2 + 19395428533826162/38860337835793591*c_1001_7 - 317485689855137243/155441351343174364, c_1001_7^14 - 6*c_1001_7^13 + 19*c_1001_7^12 - 44*c_1001_7^11 + 107*c_1001_7^10 - 170*c_1001_7^9 + 219*c_1001_7^8 - 248*c_1001_7^7 + 568*c_1001_7^6 - 516*c_1001_7^5 + 690*c_1001_7^4 - 220*c_1001_7^3 + 701*c_1001_7^2 - 406*c_1001_7 + 233 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.090 Total time: 0.300 seconds, Total memory usage: 32.09MB