Magma V2.19-8 Tue Aug 20 2013 23:43:42 on localhost [Seed = 1107568458] Type ? for help. Type -D to quit. Loading file "K13n1435__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1435 geometric_solution 10.57486962 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 12 1 2 1 3 0132 0132 0213 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.124056200194 0.578012425500 0 0 5 4 0132 0213 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.882695786572 1.058988551463 4 0 7 6 0213 0132 0132 0132 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 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.371238503018 1.832105639152 8 9 0 4 0132 0132 0132 0321 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.549864492801 1.664284048431 2 3 1 10 0213 0321 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 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.476485313193 0.770540168119 11 7 11 1 0132 3120 3012 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 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.384699249526 0.701936693538 8 7 2 9 2031 3012 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 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 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.196653277783 1.337322874721 6 5 9 2 1230 3120 0132 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 -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.229570932533 0.919862501566 3 10 6 11 0132 1302 1302 0132 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 -1 0 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.888239881259 1.323888096604 10 3 6 7 1302 0132 0132 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.042234989190 0.415290669427 11 9 4 8 3120 2031 0132 2031 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 -1 0 0 1 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.197917225480 1.149543375412 5 5 8 10 0132 1230 0132 3120 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 -1 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.706178805420 0.805610614550 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : negation(d['c_0101_7']), 'c_1001_5' : negation(d['c_0011_11']), 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_0011_11'], 'c_1001_6' : negation(d['c_0011_7']), 'c_1001_1' : negation(d['c_0011_7']), 'c_1001_0' : negation(d['c_0011_7']), 'c_1001_3' : d['c_0011_11'], 'c_1001_2' : d['c_0011_11'], 'c_1001_9' : negation(d['c_0101_7']), 'c_1001_8' : negation(d['c_0011_10']), 'c_1010_11' : negation(d['c_0011_10']), 'c_1010_10' : negation(d['c_0011_3']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_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' : 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_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' : 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_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_1001_11']), 'c_1100_4' : negation(d['c_1001_11']), 'c_1100_7' : d['c_1100_2'], 'c_1100_6' : d['c_1100_2'], 'c_1100_1' : negation(d['c_1001_11']), 'c_1100_0' : d['c_1001_4'], 'c_1100_3' : d['c_1001_4'], 'c_1100_2' : d['c_1100_2'], 's_3_11' : d['1'], 'c_1100_9' : d['c_1100_2'], 'c_1100_11' : negation(d['c_0101_10']), 'c_1100_10' : negation(d['c_1001_11']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_11'], 'c_1010_6' : negation(d['c_0101_7']), 'c_1010_5' : negation(d['c_0011_7']), 'c_1010_4' : negation(d['c_0101_7']), 'c_1010_3' : negation(d['c_0101_7']), 'c_1010_2' : negation(d['c_0011_7']), 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : d['c_0011_11'], 'c_1010_9' : d['c_0011_11'], 'c_1010_8' : d['c_1001_11'], 'c_1100_8' : negation(d['c_0101_10']), '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_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' : 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' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_4'], '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' : negation(d['c_0011_10']), 'c_0110_10' : negation(d['c_0011_10']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0101_10']), 'c_0101_5' : negation(d['c_0011_10']), 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0101_9' : negation(d['c_0011_10']), 'c_0101_8' : negation(d['c_0011_4']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_7'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : negation(d['c_0101_10']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0011_4'], 'c_0110_6' : negation(d['c_0011_10'])})} 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_1, c_0101_10, c_0101_7, c_1001_11, c_1001_4, c_1100_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 2133404812998956028204252450/119114552071192061201401*c_1100_2^14 + 440726399228101748860261317438/833801864498344428409807*c_1100_2^13 - 3397716790516975636993876381192/833801864498344428409807*c_1100_2\ ^12 + 2055126707182498758671909858110/833801864498344428409807*c_11\ 00_2^11 - 653050880449114790866613483587/119114552071192061201401*c\ _1100_2^10 + 32129507670814272243619611098352/833801864498344428409\ 807*c_1100_2^9 - 32370839701518839998032130054203/83380186449834442\ 8409807*c_1100_2^8 - 722107283883208834932908227691/490471684999026\ 13435871*c_1100_2^7 + 4327048702017749622049761288044/8338018644983\ 44428409807*c_1100_2^6 + 2082889608714991548717018007715/8338018644\ 98344428409807*c_1100_2^5 + 1755229639586796003581405073583/8338018\ 64498344428409807*c_1100_2^4 + 81430248945268516412515517617/833801\ 864498344428409807*c_1100_2^3 - 53704059692134998363865650714/11911\ 4552071192061201401*c_1100_2^2 - 97921215327535392476899215660/8338\ 01864498344428409807*c_1100_2 + 37289664959127281142828740080/83380\ 1864498344428409807, c_0011_0 - 1, c_0011_10 + 80500167360474684665555/49047168499902613435871*c_1100_2^14 - 2390894579671139101913705/49047168499902613435871*c_1100_2^13 + 18764819104662876840283946/49047168499902613435871*c_1100_2^12 - 14582119286619589512986137/49047168499902613435871*c_1100_2^11 + 27177340550897899678334926/49047168499902613435871*c_1100_2^10 - 178666666803165889696899716/49047168499902613435871*c_1100_2^9 + 208204726926209561752905674/49047168499902613435871*c_1100_2^8 + 28743171153890473093629243/49047168499902613435871*c_1100_2^7 - 26431761754274537577456660/49047168499902613435871*c_1100_2^6 - 13013948912490927292055394/49047168499902613435871*c_1100_2^5 - 6864720141951561658726134/49047168499902613435871*c_1100_2^4 + 1001888161196173744372799/49047168499902613435871*c_1100_2^3 + 2223524880056064075105892/49047168499902613435871*c_1100_2^2 + 228796535109518692423969/49047168499902613435871*c_1100_2 - 236084147914089449648552/49047168499902613435871, c_0011_11 + 53317048941263463421074/49047168499902613435871*c_1100_2^14 - 225110541895372325952957/7006738357128944776553*c_1100_2^13 + 12202314026850740586423985/49047168499902613435871*c_1100_2^12 - 7984880290019294516300610/49047168499902613435871*c_1100_2^11 + 17638096317163084856583181/49047168499902613435871*c_1100_2^10 - 116196087253328030493912466/49047168499902613435871*c_1100_2^9 + 122129479379710249073905457/49047168499902613435871*c_1100_2^8 + 29220951065130051407787641/49047168499902613435871*c_1100_2^7 - 6055668969766045771164420/49047168499902613435871*c_1100_2^6 - 6972252625110376987740125/49047168499902613435871*c_1100_2^5 - 5410920219126468457859578/49047168499902613435871*c_1100_2^4 - 304988972164730009226213/49047168499902613435871*c_1100_2^3 + 1176421535192804861256120/49047168499902613435871*c_1100_2^2 + 32870090281521232614326/7006738357128944776553*c_1100_2 - 109662341041298298196317/49047168499902613435871, c_0011_3 - 14921407502618761870128/49047168499902613435871*c_1100_2^14 + 453160883784701033864705/49047168499902613435871*c_1100_2^13 - 3771348416875385857703886/49047168499902613435871*c_1100_2^12 + 4927800356552970476238711/49047168499902613435871*c_1100_2^11 - 6059430007608060615582317/49047168499902613435871*c_1100_2^10 + 36085985101307009533065462/49047168499902613435871*c_1100_2^9 - 59587734347147410843335354/49047168499902613435871*c_1100_2^8 + 12998922506198237920548542/49047168499902613435871*c_1100_2^7 + 15349069294690071331615654/49047168499902613435871*c_1100_2^6 + 1483441242669142306201425/49047168499902613435871*c_1100_2^5 + 366981997336614091320657/49047168499902613435871*c_1100_2^4 - 1051159057379140306629608/49047168499902613435871*c_1100_2^3 - 671452906805259035934755/49047168499902613435871*c_1100_2^2 + 42461723817239098755142/49047168499902613435871*c_1100_2 + 93195818926289314044374/49047168499902613435871, c_0011_4 - 4124253166095310466/3920950395707299819*c_1100_2^14 + 121803309602520828153/3920950395707299819*c_1100_2^13 - 941123134699226015773/3920950395707299819*c_1100_2^12 + 592633255137816088223/3920950395707299819*c_1100_2^11 - 1312693305250942869908/3920950395707299819*c_1100_2^10 + 8925550156198483299270/3920950395707299819*c_1100_2^9 - 9191864366378200346898/3920950395707299819*c_1100_2^8 - 2830918180256792310979/3920950395707299819*c_1100_2^7 + 880020581219594976655/3920950395707299819*c_1100_2^6 + 518831672657447089388/3920950395707299819*c_1100_2^5 + 413513643963562651564/3920950395707299819*c_1100_2^4 + 41042785035241613794/3920950395707299819*c_1100_2^3 - 97133996223976590004/3920950395707299819*c_1100_2^2 - 23201909166685029579/3920950395707299819*c_1100_2 + 9105982453891479356/3920950395707299819, c_0011_7 - 1200202259916955618040/2581429921047505970309*c_1100_2^14 + 35642834971903795272313/2581429921047505970309*c_1100_2^13 - 279590171051253765258450/2581429921047505970309*c_1100_2^12 + 30647320098680902454200/368775703006786567187*c_1100_2^11 - 389612441336114619840641/2581429921047505970309*c_1100_2^10 + 2658190238171473660465805/2581429921047505970309*c_1100_2^9 - 3073950653229585503628329/2581429921047505970309*c_1100_2^8 - 579521822532880489778825/2581429921047505970309*c_1100_2^7 + 493404070038560209535961/2581429921047505970309*c_1100_2^6 + 265515643739711750031013/2581429921047505970309*c_1100_2^5 + 132193994283233084281258/2581429921047505970309*c_1100_2^4 - 5139618935189668141488/2581429921047505970309*c_1100_2^3 - 44698820115443414063302/2581429921047505970309*c_1100_2^2 - 5336723569130316229957/2581429921047505970309*c_1100_2 + 3999354790328711046895/2581429921047505970309, c_0101_1 + 55495654687551439059813/49047168499902613435871*c_1100_2^14 - 1649900194287256404621302/49047168499902613435871*c_1100_2^13 + 12982373047356470251756503/49047168499902613435871*c_1100_2^12 - 1478908133173590689046974/7006738357128944776553*c_1100_2^11 + 18371004143703724528060964/49047168499902613435871*c_1100_2^10 - 123271949121104101358705011/49047168499902613435871*c_1100_2^9 + 146251459379355967758446212/49047168499902613435871*c_1100_2^8 + 21844544941625083086826659/49047168499902613435871*c_1100_2^7 - 25625961882785641941030304/49047168499902613435871*c_1100_2^6 - 9969589056906403912484551/49047168499902613435871*c_1100_2^5 - 3721895981900424455182897/49047168499902613435871*c_1100_2^4 + 1036854483732237700001750/49047168499902613435871*c_1100_2^3 + 1783221058588244190317443/49047168499902613435871*c_1100_2^2 + 119862884716469260563753/49047168499902613435871*c_1100_2 - 173191713454910059640131/49047168499902613435871, c_0101_10 + 7309731031641976518585/49047168499902613435871*c_1100_2^14 - 219626156289635488639345/49047168499902613435871*c_1100_2^13 + 1778766027558728780390411/49047168499902613435871*c_1100_2^12 - 1908969122437153855439356/49047168499902613435871*c_1100_2^11 + 2891826250278490360991346/49047168499902613435871*c_1100_2^10 - 16992018105574459594199797/49047168499902613435871*c_1100_2^9 + 24470242067805247787487595/49047168499902613435871*c_1100_2^8 - 516517656930614347130462/7006738357128944776553*c_1100_2^7 - 4162320868003077434607725/49047168499902613435871*c_1100_2^6 - 113152498076252461103759/49047168499902613435871*c_1100_2^5 + 457278846787125025544641/49047168499902613435871*c_1100_2^4 + 38322551375605855671495/7006738357128944776553*c_1100_2^3 + 221792534515169557681544/49047168499902613435871*c_1100_2^2 - 37390599902518529412700/49047168499902613435871*c_1100_2 - 7432443990195667150067/7006738357128944776553, c_0101_7 - c_1100_2, c_1001_11 + 44978608868024785319733/49047168499902613435871*c_1100_2^14 - 1333968014691984970024518/49047168499902613435871*c_1100_2^13 + 10427023876147763792499164/49047168499902613435871*c_1100_2^12 - 7681150727407332675909175/49047168499902613435871*c_1100_2^11 + 14676291858589823248717776/49047168499902613435871*c_1100_2^10 - 98952803709589203267076283/49047168499902613435871*c_1100_2^9 + 111777739896077987084742603/49047168499902613435871*c_1100_2^8 + 22579427936052110286707898/49047168499902613435871*c_1100_2^7 - 16784171345977635761880380/49047168499902613435871*c_1100_2^6 - 6903972349451714235893757/49047168499902613435871*c_1100_2^5 - 3686317886905227243255965/49047168499902613435871*c_1100_2^4 + 299322797889288625281331/49047168499902613435871*c_1100_2^3 + 1232490931503374436745700/49047168499902613435871*c_1100_2^2 + 126153679324285433582682/49047168499902613435871*c_1100_2 - 106607402760117529235730/49047168499902613435871, c_1001_4 - 1276041871362250797088/2581429921047505970309*c_1100_2^14 + 37550531877280778973819/2581429921047505970309*c_1100_2^13 - 287329090633455246022900/2581429921047505970309*c_1100_2^12 + 156677460902455122356653/2581429921047505970309*c_1100_2^11 - 418468541690395888320343/2581429921047505970309*c_1100_2^10 + 2732159533950861796053487/2581429921047505970309*c_1100_2^9 - 2597079302790887670083786/2581429921047505970309*c_1100_2^8 - 875846408804207778702313/2581429921047505970309*c_1100_2^7 - 74832972671961482259572/2581429921047505970309*c_1100_2^6 + 65275632825971435548566/2581429921047505970309*c_1100_2^5 + 114489446851663618792588/2581429921047505970309*c_1100_2^4 + 22360354683132700595870/2581429921047505970309*c_1100_2^3 - 10055187837378107109789/2581429921047505970309*c_1100_2^2 - 5208894640441737303572/2581429921047505970309*c_1100_2 + 333423778669281547532/2581429921047505970309, c_1100_2^15 - 30*c_1100_2^14 + 242*c_1100_2^13 - 251*c_1100_2^12 + 392*c_1100_2^11 - 2319*c_1100_2^10 + 3250*c_1100_2^9 - 418*c_1100_2^8 - 449*c_1100_2^7 - 40*c_1100_2^6 - 40*c_1100_2^5 + 37*c_1100_2^4 + 25*c_1100_2^3 - 6*c_1100_2^2 - 4*c_1100_2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.870 Total time: 2.080 seconds, Total memory usage: 64.12MB