Magma V2.19-8 Tue Aug 20 2013 23:44:20 on localhost [Seed = 525957862] Type ? for help. Type -D to quit. Loading file "K13n1939__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1939 geometric_solution 10.59603983 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 12 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 0 1 -1 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.812330620124 1.368052413352 0 3 6 5 0132 3120 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 1 -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.559446941714 0.908367369600 7 0 6 7 0132 0132 3012 2031 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 1 0 0 -1 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.607697142550 1.032385710226 6 1 8 0 0213 3120 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.347685232816 0.594879997802 5 9 0 8 0321 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 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.492711389201 0.621920585163 4 10 1 11 0321 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 -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.144073615427 0.383881037779 3 2 10 1 0213 1230 1230 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 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.028657445539 1.446450621457 2 2 11 8 0132 1302 3012 3201 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 0 -1 -1 0 0 1 0 0 0 0 -2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.576551921816 0.719374363199 9 7 4 3 3201 2310 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.707646560439 0.906033956752 11 4 10 8 0213 0132 0321 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.031875733630 0.536008317247 11 5 9 6 3012 0132 0321 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.248699651079 0.488567651780 9 7 5 10 0213 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 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.492168488288 0.831967441123 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_8'], 'c_1001_10' : d['c_0011_8'], 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : negation(d['c_0011_6']), 'c_1001_7' : negation(d['c_0011_11']), 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0011_6']), 'c_1001_9' : negation(d['c_1001_6']), 'c_1001_8' : negation(d['c_1001_6']), 'c_1010_11' : negation(d['c_0011_11']), 'c_1010_10' : negation(d['c_0011_3']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_4']), 'c_0101_10' : negation(d['c_0011_11']), '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' : 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_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_1100_0'], 'c_1100_5' : d['c_0110_10'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_0011_8']), 'c_1100_6' : d['c_0110_10'], 'c_1100_1' : d['c_0110_10'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_1001_6']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0110_10'], 'c_1100_10' : negation(d['c_1001_6']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_6'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_0011_8'], 'c_1010_4' : negation(d['c_1001_6']), 'c_1010_3' : d['c_0011_0'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : negation(d['c_0011_6']), 'c_1010_9' : negation(d['c_0011_6']), 'c_1010_8' : negation(d['c_0101_2']), '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' : negation(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_4']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_10'], 'c_0110_10' : d['c_0110_10'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0101_7' : negation(d['c_0011_11']), 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0101_0']), 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0101_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_11'], 'c_0101_8' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_10']), 'c_0110_8' : d['c_0011_6'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0011_8'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_11']), 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : d['c_0011_10'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_0'])})} 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_6, c_0011_8, c_0101_0, c_0101_2, c_0110_10, c_1001_6, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 58964898137446560282574/2952626513480709389277*c_1100_0^15 + 38403223280779449714768/984208837826903129759*c_1100_0^14 - 26398142394432148286969/5905253026961418778554*c_1100_0^13 - 12802715495198094766075/1968417675653806259518*c_1100_0^12 + 270055195633505768618122/2952626513480709389277*c_1100_0^11 - 271179074845362481602301/2952626513480709389277*c_1100_0^10 + 974509378737318281627399/5905253026961418778554*c_1100_0^9 + 1213062735701756792191621/1968417675653806259518*c_1100_0^8 - 766020953226104222967337/2952626513480709389277*c_1100_0^7 - 2115583561490741765141033/2952626513480709389277*c_1100_0^6 + 842492221067723204085481/984208837826903129759*c_1100_0^5 - 100781765090707406876733/1968417675653806259518*c_1100_0^4 - 1272515656773339103297229/5905253026961418778554*c_1100_0^3 + 6516426711731442013883/984208837826903129759*c_1100_0^2 + 130561725426844177813855/2952626513480709389277*c_1100_0 + 21275621361933927567433/2952626513480709389277, c_0011_0 - 1, c_0011_10 + 14794590996860724/18708704883891937*c_1100_0^15 + 20753135218246204/18708704883891937*c_1100_0^14 - 22415946934586055/18708704883891937*c_1100_0^13 - 6862571248650620/18708704883891937*c_1100_0^12 + 74543914687683562/18708704883891937*c_1100_0^11 - 106321175285427821/18708704883891937*c_1100_0^10 + 146258727878442522/18708704883891937*c_1100_0^9 + 415798389261852660/18708704883891937*c_1100_0^8 - 483231525281973565/18708704883891937*c_1100_0^7 - 494259571808461854/18708704883891937*c_1100_0^6 + 1028968183687544137/18708704883891937*c_1100_0^5 - 327090196900820116/18708704883891937*c_1100_0^4 - 322668446408191993/18708704883891937*c_1100_0^3 + 241932866494993872/18708704883891937*c_1100_0^2 + 21694319496306697/18708704883891937*c_1100_0 - 19942512575928639/18708704883891937, c_0011_11 - 48775943917912276/18708704883891937*c_1100_0^15 - 61323432606390000/18708704883891937*c_1100_0^14 + 72384443102059531/18708704883891937*c_1100_0^13 - 2303622475771953/18708704883891937*c_1100_0^12 - 236745847942047836/18708704883891937*c_1100_0^11 + 377096294637943454/18708704883891937*c_1100_0^10 - 586264218533773702/18708704883891937*c_1100_0^9 - 1209939421710866117/18708704883891937*c_1100_0^8 + 1636454893801877415/18708704883891937*c_1100_0^7 + 1145088849920377194/18708704883891937*c_1100_0^6 - 3289812967115495810/18708704883891937*c_1100_0^5 + 1712080978388500770/18708704883891937*c_1100_0^4 + 216878334076340075/18708704883891937*c_1100_0^3 - 394051569106400923/18708704883891937*c_1100_0^2 - 63345897816789572/18708704883891937*c_1100_0 + 26398145393486914/18708704883891937, c_0011_3 + 9337053097742636/56126114651675811*c_1100_0^15 + 1219129762451024/18708704883891937*c_1100_0^14 - 24248255590099373/56126114651675811*c_1100_0^13 + 4170744766472669/18708704883891937*c_1100_0^12 + 44011012564747202/56126114651675811*c_1100_0^11 - 114657283746313184/56126114651675811*c_1100_0^10 + 175469189740797419/56126114651675811*c_1100_0^9 + 47027353684501885/18708704883891937*c_1100_0^8 - 521031665333488754/56126114651675811*c_1100_0^7 + 66429372762253079/56126114651675811*c_1100_0^6 + 274185691088217112/18708704883891937*c_1100_0^5 - 304628689377170069/18708704883891937*c_1100_0^4 + 257186191407110152/56126114651675811*c_1100_0^3 + 75202853883687353/18708704883891937*c_1100_0^2 - 116963364467251684/56126114651675811*c_1100_0 + 26562166163096777/56126114651675811, c_0011_4 - 91676280075875264/56126114651675811*c_1100_0^15 - 40795611714909956/18708704883891937*c_1100_0^14 + 137440166116795796/56126114651675811*c_1100_0^13 + 6136588273929351/18708704883891937*c_1100_0^12 - 457642056965707886/56126114651675811*c_1100_0^11 + 684479619050580443/56126114651675811*c_1100_0^10 - 994321315710034535/56126114651675811*c_1100_0^9 - 813612518538367047/18708704883891937*c_1100_0^8 + 3046023202030084175/56126114651675811*c_1100_0^7 + 2624433214215111856/56126114651675811*c_1100_0^6 - 2113095318128983708/18708704883891937*c_1100_0^5 + 884212941731418909/18708704883891937*c_1100_0^4 + 1373862249443257754/56126114651675811*c_1100_0^3 - 405492556642601342/18708704883891937*c_1100_0^2 - 136920678373597352/56126114651675811*c_1100_0 + 128579552051961985/56126114651675811, c_0011_6 + 35709143497049060/56126114651675811*c_1100_0^15 + 14926872668419960/18708704883891937*c_1100_0^14 - 53195490644160131/56126114651675811*c_1100_0^13 + 503159168595817/18708704883891937*c_1100_0^12 + 172844749697304323/56126114651675811*c_1100_0^11 - 278304295440124427/56126114651675811*c_1100_0^10 + 427129975731145682/56126114651675811*c_1100_0^9 + 295236126498684623/18708704883891937*c_1100_0^8 - 1195060527163185113/56126114651675811*c_1100_0^7 - 839499465818128285/56126114651675811*c_1100_0^6 + 804809978106913561/18708704883891937*c_1100_0^5 - 423974266974355965/18708704883891937*c_1100_0^4 - 185605408170229496/56126114651675811*c_1100_0^3 + 98999062033633963/18708704883891937*c_1100_0^2 + 143491969772407532/56126114651675811*c_1100_0 - 71152672245994681/56126114651675811, c_0011_8 + 150074172995742280/56126114651675811*c_1100_0^15 + 65912984076872928/18708704883891937*c_1100_0^14 - 211939479251332858/56126114651675811*c_1100_0^13 - 2140002804419982/18708704883891937*c_1100_0^12 + 728044497520276201/56126114651675811*c_1100_0^11 - 1125630415562490952/56126114651675811*c_1100_0^10 + 1722901108240301392/56126114651675811*c_1100_0^9 + 1278692086982401419/18708704883891937*c_1100_0^8 - 4837063977064911619/56126114651675811*c_1100_0^7 - 3836722723309616957/56126114651675811*c_1100_0^6 + 3309364685661449858/18708704883891937*c_1100_0^5 - 1589799282151608140/18708704883891937*c_1100_0^4 - 1115433264196288435/56126114651675811*c_1100_0^3 + 442748374003749298/18708704883891937*c_1100_0^2 + 230497048388660749/56126114651675811*c_1100_0 - 111430887213585557/56126114651675811, c_0101_0 - 265578589531816/56126114651675811*c_1100_0^15 + 1879373729440884/18708704883891937*c_1100_0^14 + 7903161347362294/56126114651675811*c_1100_0^13 - 3095305404365573/18708704883891937*c_1100_0^12 - 933016531430089/56126114651675811*c_1100_0^11 + 32931964644509761/56126114651675811*c_1100_0^10 - 48580109557036075/56126114651675811*c_1100_0^9 + 21813764680828279/18708704883891937*c_1100_0^8 + 163605636725522779/56126114651675811*c_1100_0^7 - 205203198480520186/56126114651675811*c_1100_0^6 - 55395375115689997/18708704883891937*c_1100_0^5 + 147535837328296077/18708704883891937*c_1100_0^4 - 219080295659813948/56126114651675811*c_1100_0^3 - 21420673376709999/18708704883891937*c_1100_0^2 + 81519835718306063/56126114651675811*c_1100_0 - 35489452037359042/56126114651675811, c_0101_2 - 41311819254901900/18708704883891937*c_1100_0^15 - 45167086573702844/18708704883891937*c_1100_0^14 + 70377985961082285/18708704883891937*c_1100_0^13 - 11739877012196338/18708704883891937*c_1100_0^12 - 201617020483016371/18708704883891937*c_1100_0^11 + 354235772040687626/18708704883891937*c_1100_0^10 - 542606032458739038/18708704883891937*c_1100_0^9 - 947652380839035200/18708704883891937*c_1100_0^8 + 1564312480411727116/18708704883891937*c_1100_0^7 + 757480886830936484/18708704883891937*c_1100_0^6 - 2977134613783088222/18708704883891937*c_1100_0^5 + 1915248522297863024/18708704883891937*c_1100_0^4 + 41918214396469689/18708704883891937*c_1100_0^3 - 390236473614202231/18708704883891937*c_1100_0^2 - 43527148471021526/18708704883891937*c_1100_0 + 58919593498485450/18708704883891937, c_0110_10 - 56629560183035728/56126114651675811*c_1100_0^15 - 21261606259114776/18708704883891937*c_1100_0^14 + 94440580903137004/56126114651675811*c_1100_0^13 - 4896727741193938/18708704883891937*c_1100_0^12 - 278021325467404402/56126114651675811*c_1100_0^11 + 480173376940610164/56126114651675811*c_1100_0^10 - 731014321815504388/56126114651675811*c_1100_0^9 - 444841482961016272/18708704883891937*c_1100_0^8 + 2117360291517652234/56126114651675811*c_1100_0^7 + 1075225126027473215/56126114651675811*c_1100_0^6 - 1358312825529656683/18708704883891937*c_1100_0^5 + 861751434207768862/18708704883891937*c_1100_0^4 + 148670718811571623/56126114651675811*c_1100_0^3 - 238762544031294823/18708704883891937*c_1100_0^2 + 45125644582574423/56126114651675811*c_1100_0 + 42189848161079291/56126114651675811, c_1001_6 - 161639974952145112/56126114651675811*c_1100_0^15 - 67830681811868968/18708704883891937*c_1100_0^14 + 238687577097096694/56126114651675811*c_1100_0^13 - 3245876217812364/18708704883891937*c_1100_0^12 - 780756301280564623/56126114651675811*c_1100_0^11 + 1263892591333330063/56126114651675811*c_1100_0^10 - 1932229773257410867/56126114651675811*c_1100_0^9 - 1335868512325573878/18708704883891937*c_1100_0^8 + 5436377957734194121/56126114651675811*c_1100_0^7 + 3766704112136809841/56126114651675811*c_1100_0^6 - 3624954403128289434/18708704883891937*c_1100_0^5 + 1962212050587293029/18708704883891937*c_1100_0^4 + 843255912147798067/56126114651675811*c_1100_0^3 - 488222727218329837/18708704883891937*c_1100_0^2 - 177673725657910099/56126114651675811*c_1100_0 + 142414751654761982/56126114651675811, c_1100_0^16 + c_1100_0^15 - 7/4*c_1100_0^14 + 1/2*c_1100_0^13 + 19/4*c_1100_0^12 - 9*c_1100_0^11 + 57/4*c_1100_0^10 + 85/4*c_1100_0^9 - 157/4*c_1100_0^8 - 27/2*c_1100_0^7 + 143/2*c_1100_0^6 - 54*c_1100_0^5 + 8*c_1100_0^4 + 29/4*c_1100_0^3 - 1/2*c_1100_0^2 - c_1100_0 + 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.790 Total time: 1.000 seconds, Total memory usage: 32.09MB