Magma V2.19-8 Tue Aug 20 2013 17:56:12 on localhost [Seed = 155762373] Type ? for help. Type -D to quit. Loading file "8_14__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 8_14 geometric_solution 9.21780032 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 10 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 -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.051971787056 1.209965348641 0 5 2 6 0132 0132 1023 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 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.399670778142 0.687965133351 7 0 1 8 0132 0132 1023 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.320436006389 1.228529087930 9 5 6 0 0132 1230 1230 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 1 0 -1 0 0 0 0 0 -4 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.029417163611 0.623529512357 9 9 0 6 3120 1230 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.498062863317 1.439711814001 7 1 3 8 1023 0132 3012 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 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.320436006389 1.228529087930 4 9 1 3 3012 2103 0132 3012 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 3 0 -3 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.552837256089 0.351873664269 2 5 8 8 0132 1023 0213 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 -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.351283877411 0.539530117102 7 7 2 5 3120 0213 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 1 -1 0 1 0 0 -1 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.351283877411 0.539530117102 3 6 4 4 0132 2103 3012 3120 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 -1 0 -1 0 1 0 4 -3 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.498062863317 1.439711814001 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_0101_1'], 'c_1001_7' : d['c_0101_5'], 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_0101_5'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0101_1'], 'c_1001_9' : negation(d['c_0011_4']), 'c_1001_8' : d['c_0101_5'], 's_2_8' : negation(d['1']), 's_2_9' : d['1'], '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' : negation(d['1']), 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(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_1100_9' : negation(d['c_0101_1']), 'c_1100_8' : d['c_1001_3'], 'c_1100_5' : negation(d['c_1001_3']), 'c_1100_4' : d['c_0110_6'], 'c_1100_7' : negation(d['c_0011_8']), 'c_1100_6' : negation(d['c_1001_3']), 'c_1100_1' : negation(d['c_1001_3']), 'c_1100_0' : d['c_0110_6'], 'c_1100_3' : d['c_0110_6'], 'c_1100_2' : d['c_1001_3'], 'c_1010_7' : negation(d['c_0011_8']), 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : negation(d['c_0011_4']), 'c_1010_8' : negation(d['c_0011_8']), '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' : 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' : negation(d['1']), 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(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_0101_7' : d['c_0011_8'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0011_8'], 'c_0110_9' : negation(d['c_0011_4']), 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_8'], 'c_0110_5' : negation(d['c_0011_8']), 'c_0110_4' : negation(d['c_0011_4']), 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0110_6']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0011_8, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0110_6, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 82337678568167265/14647202064570839*c_0110_6^14 - 173600762988591337/14647202064570839*c_0110_6^13 + 1334899763640872846/14647202064570839*c_0110_6^12 + 516828386581450285/14647202064570839*c_0110_6^11 + 3792345788944960566/14647202064570839*c_0110_6^10 + 5590696051238747337/14647202064570839*c_0110_6^9 + 4358246884763411168/14647202064570839*c_0110_6^8 + 10043142707459030082/14647202064570839*c_0110_6^7 + 4343094474812844935/14647202064570839*c_0110_6^6 + 2610854145047104288/14647202064570839*c_0110_6^5 + 2106814474205176364/14647202064570839*c_0110_6^4 - 2333664373122159368/14647202064570839*c_0110_6^3 - 2622523304556732329/14647202064570839*c_0110_6^2 - 4317548780141044704/14647202064570839*c_0110_6 - 430566584854678318/14647202064570839, c_0011_0 - 1, c_0011_3 + 1476593878884169/14647202064570839*c_0110_6^14 - 3278233245121677/14647202064570839*c_0110_6^13 + 24521250835807567/14647202064570839*c_0110_6^12 + 6115751208453145/14647202064570839*c_0110_6^11 + 70890784018094930/14647202064570839*c_0110_6^10 + 94025623163342224/14647202064570839*c_0110_6^9 + 80092358159730454/14647202064570839*c_0110_6^8 + 188874035111739582/14647202064570839*c_0110_6^7 + 74054842170204257/14647202064570839*c_0110_6^6 + 70369578546374205/14647202064570839*c_0110_6^5 + 45467039582055487/14647202064570839*c_0110_6^4 - 37238531648547007/14647202064570839*c_0110_6^3 - 38087589447686308/14647202064570839*c_0110_6^2 - 74671653161942582/14647202064570839*c_0110_6 - 7119707483876742/14647202064570839, c_0011_4 + 605613833904010/14647202064570839*c_0110_6^14 - 1361603421936762/14647202064570839*c_0110_6^13 + 10039657222418394/14647202064570839*c_0110_6^12 + 2351131649388804/14647202064570839*c_0110_6^11 + 27936205844644636/14647202064570839*c_0110_6^10 + 37925950133345336/14647202064570839*c_0110_6^9 + 26774629406818720/14647202064570839*c_0110_6^8 + 73464788173910234/14647202064570839*c_0110_6^7 + 19558971914643370/14647202064570839*c_0110_6^6 + 20680413634424313/14647202064570839*c_0110_6^5 + 15294985692201119/14647202064570839*c_0110_6^4 - 19252141769164562/14647202064570839*c_0110_6^3 + 393082303186444/14647202064570839*c_0110_6^2 - 29135462462009820/14647202064570839*c_0110_6 + 7864456387904280/14647202064570839, c_0011_8 + 4096048674829595/14647202064570839*c_0110_6^14 - 8854732495871390/14647202064570839*c_0110_6^13 + 67069558267100865/14647202064570839*c_0110_6^12 + 21666279352725884/14647202064570839*c_0110_6^11 + 190778199405569230/14647202064570839*c_0110_6^10 + 267688587390465183/14647202064570839*c_0110_6^9 + 212762719901502851/14647202064570839*c_0110_6^8 + 493672157108843735/14647202064570839*c_0110_6^7 + 202354702559235434/14647202064570839*c_0110_6^6 + 131020810054512774/14647202064570839*c_0110_6^5 + 106452862161682560/14647202064570839*c_0110_6^4 - 109893850512189060/14647202064570839*c_0110_6^3 - 126481864817948895/14647202064570839*c_0110_6^2 - 194877493617749465/14647202064570839*c_0110_6 - 10824173346530400/14647202064570839, c_0101_0 - 177672029534360/14647202064570839*c_0110_6^14 + 415504649854804/14647202064570839*c_0110_6^13 - 3109258012909012/14647202064570839*c_0110_6^12 - 84365200553416/14647202064570839*c_0110_6^11 - 10285144117356989/14647202064570839*c_0110_6^10 - 9942788920653142/14647202064570839*c_0110_6^9 - 11671564537901505/14647202064570839*c_0110_6^8 - 22526485004992692/14647202064570839*c_0110_6^7 + 953206958885392/14647202064570839*c_0110_6^6 - 9597240765647786/14647202064570839*c_0110_6^5 + 11027287816339726/14647202064570839*c_0110_6^4 + 10251057929769248/14647202064570839*c_0110_6^3 + 1047483414970383/14647202064570839*c_0110_6^2 + 11790449117215364/14647202064570839*c_0110_6 - 12974656969933668/14647202064570839, c_0101_1 - 1476593878884169/14647202064570839*c_0110_6^14 + 3278233245121677/14647202064570839*c_0110_6^13 - 24521250835807567/14647202064570839*c_0110_6^12 - 6115751208453145/14647202064570839*c_0110_6^11 - 70890784018094930/14647202064570839*c_0110_6^10 - 94025623163342224/14647202064570839*c_0110_6^9 - 80092358159730454/14647202064570839*c_0110_6^8 - 188874035111739582/14647202064570839*c_0110_6^7 - 74054842170204257/14647202064570839*c_0110_6^6 - 70369578546374205/14647202064570839*c_0110_6^5 - 45467039582055487/14647202064570839*c_0110_6^4 + 37238531648547007/14647202064570839*c_0110_6^3 + 38087589447686308/14647202064570839*c_0110_6^2 + 74671653161942582/14647202064570839*c_0110_6 + 7119707483876742/14647202064570839, c_0101_2 - 334488530548865/14647202064570839*c_0110_6^14 + 412865254558644/14647202064570839*c_0110_6^13 - 4840781974735563/14647202064570839*c_0110_6^12 - 6667894608354357/14647202064570839*c_0110_6^11 - 17941753742289797/14647202064570839*c_0110_6^10 - 35079402194720974/14647202064570839*c_0110_6^9 - 37355254254989490/14647202064570839*c_0110_6^8 - 55532330938227168/14647202064570839*c_0110_6^7 - 50480682043015439/14647202064570839*c_0110_6^6 - 26368375803174722/14647202064570839*c_0110_6^5 - 24389697376917728/14647202064570839*c_0110_6^4 + 5256177926179124/14647202064570839*c_0110_6^3 + 7729077874181413/14647202064570839*c_0110_6^2 + 23233722432933098/14647202064570839*c_0110_6 + 20232064694409744/14647202064570839, c_0101_5 + 334488530548865/14647202064570839*c_0110_6^14 - 412865254558644/14647202064570839*c_0110_6^13 + 4840781974735563/14647202064570839*c_0110_6^12 + 6667894608354357/14647202064570839*c_0110_6^11 + 17941753742289797/14647202064570839*c_0110_6^10 + 35079402194720974/14647202064570839*c_0110_6^9 + 37355254254989490/14647202064570839*c_0110_6^8 + 55532330938227168/14647202064570839*c_0110_6^7 + 50480682043015439/14647202064570839*c_0110_6^6 + 26368375803174722/14647202064570839*c_0110_6^5 + 24389697376917728/14647202064570839*c_0110_6^4 - 5256177926179124/14647202064570839*c_0110_6^3 - 7729077874181413/14647202064570839*c_0110_6^2 - 23233722432933098/14647202064570839*c_0110_6 - 20232064694409744/14647202064570839, c_0110_6^15 - 2*c_0110_6^14 + 16*c_0110_6^13 + 8*c_0110_6^12 + 47*c_0110_6^11 + 73*c_0110_6^10 + 61*c_0110_6^9 + 129*c_0110_6^8 + 67*c_0110_6^7 + 40*c_0110_6^6 + 31*c_0110_6^5 - 24*c_0110_6^4 - 33*c_0110_6^3 - 55*c_0110_6^2 - 11*c_0110_6 - 1, c_1001_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.250 seconds, Total memory usage: 32.09MB