Magma V2.19-8 Tue Aug 20 2013 23:56:18 on localhost [Seed = 3120550318] Type ? for help. Type -D to quit. Loading file "L14n16051__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n16051 geometric_solution 11.70105261 oriented_manifold CS_known -0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 1 3 0132 0132 0321 0132 1 1 1 1 0 0 0 0 0 0 -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 1 0 -1 0 0 -3 3 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.657175434054 0.971958315951 0 4 0 5 0132 0132 0321 0132 1 1 1 1 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 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.657175434054 0.971958315951 6 0 8 7 0132 0132 0132 0132 1 1 1 1 0 0 0 0 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 -1 0 1 0 0 2 -2 -2 0 0 2 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.408776934613 0.718049672422 5 9 0 7 0321 0132 0132 2310 1 1 1 1 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 1 -1 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.647527207182 1.125148723624 10 1 11 10 0132 0132 0132 2103 1 0 1 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 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.408776934613 0.718049672422 3 8 1 6 0321 0213 0132 1023 1 1 1 1 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 0 0 0 0 0 0 0 0 -3 0 3 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.522996697098 0.389950974283 2 10 7 5 0132 0132 3012 1023 1 1 1 1 0 1 -1 0 0 0 0 0 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 2 -2 0 0 0 0 0 3 0 0 -3 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.501435562633 1.186199706573 3 6 2 8 3201 1230 0132 1230 1 1 1 1 0 0 0 0 0 0 1 -1 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 2 -2 1 2 0 -3 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.467774692766 0.447236367992 7 11 5 2 3012 0132 0213 0132 1 1 1 1 0 0 0 0 0 0 1 -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 0 0 0 0 -1 0 3 -2 2 -2 0 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.456781514406 0.924891545229 10 3 11 11 2103 0132 2103 0132 1 0 1 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 0 0 -1 0 0 1 -2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.472154225641 0.803896522155 4 6 9 4 0132 0132 2103 2103 1 0 1 1 0 -1 1 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 -2 2 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.408776934613 0.718049672422 9 8 9 4 2103 0132 0132 0132 1 0 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 -1 1 0 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.456781514406 0.924891545229 ==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_0011_3']), 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_0011_7']), 'c_1001_1' : d['c_0011_7'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_11'], 'c_1001_2' : d['c_1001_11'], 'c_1001_9' : d['c_0011_11'], 'c_1001_8' : d['c_1001_4'], 'c_1010_11' : d['c_1001_4'], 'c_1010_10' : negation(d['c_0011_7']), 's_0_10' : d['1'], 's_3_10' : 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' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : negation(d['1']), 's_2_7' : negation(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' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0101_2'], 'c_1100_5' : d['c_1001_0'], 'c_1100_4' : negation(d['c_0101_4']), 'c_1100_7' : d['c_0101_2'], 'c_1100_6' : negation(d['c_1001_0']), 'c_1100_1' : d['c_1001_0'], 'c_1100_0' : d['c_0011_7'], 'c_1100_3' : d['c_0011_7'], 'c_1100_2' : d['c_0101_2'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_4']), 'c_1100_10' : negation(d['c_0101_10']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_5'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0011_7'], 'c_1010_3' : d['c_0011_11'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : d['c_1001_11'], 'c_1010_9' : d['c_1001_11'], 'c_1010_8' : d['c_1001_11'], 's_3_1' : negation(d['1']), 's_3_0' : negation(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_3']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_0'], '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_0101_4'], 'c_0110_10' : d['c_0101_4'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0101_7' : d['c_0011_5'], 'c_0101_6' : d['c_0011_5'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_0']), '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_0101_10'], 'c_0101_8' : d['c_0011_5'], 'c_0011_10' : negation(d['c_0011_0']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_10'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_4']), 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : d['c_0011_5'], 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0011_11']), 'c_0110_6' : d['c_0101_2']})} 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_11, c_0011_3, c_0011_5, c_0011_7, c_0101_0, c_0101_10, c_0101_2, c_0101_4, c_1001_0, c_1001_11, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t - 407343577032984897272/1281330708952401055*c_1001_4^10 - 238749971462705897158/98563900688646235*c_1001_4^9 - 156032909088841454269/19712780137729247*c_1001_4^8 - 20247815442743425969033/1281330708952401055*c_1001_4^7 - 30898103980095484532317/1281330708952401055*c_1001_4^6 - 7611624727422957348438/256266141790480211*c_1001_4^5 - 340492582029386846464/13487691673183169*c_1001_4^4 - 14868653403474929352064/1281330708952401055*c_1001_4^3 - 2160265760351667049706/1281330708952401055*c_1001_4^2 + 11059810373359120803/44183817550082795*c_1001_4 + 8408095818044103147/1281330708952401055, c_0011_0 - 1, c_0011_11 + 33300186920/1055879659*c_1001_4^10 + 216970134716/1055879659*c_1001_4^9 + 615998538186/1055879659*c_1001_4^8 + 1147900975191/1055879659*c_1001_4^7 + 1746423669776/1055879659*c_1001_4^6 + 2068938592226/1055879659*c_1001_4^5 + 1664093705365/1055879659*c_1001_4^4 + 877051960517/1055879659*c_1001_4^3 + 311201494691/1055879659*c_1001_4^2 + 66688112818/1055879659*c_1001_4 + 2864312842/1055879659, c_0011_3 - 11091826482/1055879659*c_1001_4^10 - 68662122703/1055879659*c_1001_4^9 - 181878536850/1055879659*c_1001_4^8 - 316733533565/1055879659*c_1001_4^7 - 460825629385/1055879659*c_1001_4^6 - 507032125169/1055879659*c_1001_4^5 - 340385681632/1055879659*c_1001_4^4 - 125402742518/1055879659*c_1001_4^3 - 21277575387/1055879659*c_1001_4^2 + 5660605000/1055879659*c_1001_4 + 3914790682/1055879659, c_0011_5 + 45108748498/1055879659*c_1001_4^10 + 290060139649/1055879659*c_1001_4^9 + 810852259157/1055879659*c_1001_4^8 + 1492936240311/1055879659*c_1001_4^7 + 2257761826583/1055879659*c_1001_4^6 + 2644519973712/1055879659*c_1001_4^5 + 2078052835179/1055879659*c_1001_4^4 + 1065277380062/1055879659*c_1001_4^3 + 369031309143/1055879659*c_1001_4^2 + 75168608681/1055879659*c_1001_4 + 2819045182/1055879659, c_0011_7 - 14755732684/1055879659*c_1001_4^10 - 91601253502/1055879659*c_1001_4^9 - 245577215200/1055879659*c_1001_4^8 - 438359574727/1055879659*c_1001_4^7 - 652903423574/1055879659*c_1001_4^6 - 738932987840/1055879659*c_1001_4^5 - 543075451699/1055879659*c_1001_4^4 - 257386345383/1055879659*c_1001_4^3 - 80320341479/1055879659*c_1001_4^2 - 12946798819/1055879659*c_1001_4 + 1099431535/1055879659, c_0101_0 + 289954302/1055879659*c_1001_4^10 + 11262368009/1055879659*c_1001_4^9 + 59303557716/1055879659*c_1001_4^8 + 142948508890/1055879659*c_1001_4^7 + 240000477600/1055879659*c_1001_4^6 + 344374626315/1055879659*c_1001_4^5 + 358058640318/1055879659*c_1001_4^4 + 228071903019/1055879659*c_1001_4^3 + 93609491707/1055879659*c_1001_4^2 + 25521412379/1055879659*c_1001_4 + 2522991759/1055879659, c_0101_10 - 958141272/1055879659*c_1001_4^10 - 22290207232/1055879659*c_1001_4^9 - 117645275350/1055879659*c_1001_4^8 - 301889790868/1055879659*c_1001_4^7 - 531473485615/1055879659*c_1001_4^6 - 777200477678/1055879659*c_1001_4^5 - 862620315680/1055879659*c_1001_4^4 - 627740298643/1055879659*c_1001_4^3 - 296539481907/1055879659*c_1001_4^2 - 92514866759/1055879659*c_1001_4 - 15080840743/1055879659, c_0101_2 + 25187373838/1055879659*c_1001_4^10 + 162761455059/1055879659*c_1001_4^9 + 455280814467/1055879659*c_1001_4^8 + 833732494908/1055879659*c_1001_4^7 + 1253263776123/1055879659*c_1001_4^6 + 1460404453227/1055879659*c_1001_4^5 + 1127829375211/1055879659*c_1001_4^4 + 551690281532/1055879659*c_1001_4^3 + 176645581929/1055879659*c_1001_4^2 + 31337347569/1055879659*c_1001_4 - 901397450/1055879659, c_0101_4 - 1, c_1001_0 + 33300186920/1055879659*c_1001_4^10 + 216970134716/1055879659*c_1001_4^9 + 615998538186/1055879659*c_1001_4^8 + 1147900975191/1055879659*c_1001_4^7 + 1746423669776/1055879659*c_1001_4^6 + 2068938592226/1055879659*c_1001_4^5 + 1664093705365/1055879659*c_1001_4^4 + 877051960517/1055879659*c_1001_4^3 + 311201494691/1055879659*c_1001_4^2 + 67743992477/1055879659*c_1001_4 + 3920192501/1055879659, c_1001_11 + 18544454236/1055879659*c_1001_4^10 + 125368881214/1055879659*c_1001_4^9 + 370421322986/1055879659*c_1001_4^8 + 709541400464/1055879659*c_1001_4^7 + 1093520246202/1055879659*c_1001_4^6 + 1330005604386/1055879659*c_1001_4^5 + 1121018253666/1055879659*c_1001_4^4 + 619665615134/1055879659*c_1001_4^3 + 230881153212/1055879659*c_1001_4^2 + 53741313999/1055879659*c_1001_4 + 2907864718/1055879659, c_1001_4^11 + 173/22*c_1001_4^10 + 299/11*c_1001_4^9 + 1293/22*c_1001_4^8 + 1069/11*c_1001_4^7 + 1427/11*c_1001_4^6 + 1420/11*c_1001_4^5 + 972/11*c_1001_4^4 + 899/22*c_1001_4^3 + 140/11*c_1001_4^2 + 49/22*c_1001_4 + 1/22 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.190 Total time: 0.390 seconds, Total memory usage: 32.09MB