Magma V2.19-8 Tue Aug 20 2013 23:46:07 on localhost [Seed = 2480273007] Type ? for help. Type -D to quit. Loading file "K14n13683__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n13683 geometric_solution 10.45604885 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 12 1 1 2 3 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 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.864541673892 0.745876132683 0 4 0 5 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.336887659101 0.572094652346 6 7 8 0 0132 0132 0132 0132 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 1 -1 0 0 19 -19 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.462951853825 0.646147439519 5 7 0 6 0132 1023 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 1 0 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.900519246628 1.017095643073 5 1 8 7 3012 0132 3012 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 1 -1 0 0 0 0 0 -1 0 0 1 19 0 -19 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.123377446935 1.145600970551 3 9 1 4 0132 0132 0132 1230 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 -1 0 0 1 0 19 0 -19 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.116730196874 1.828320206356 2 9 3 10 0132 1023 0132 0132 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 0 1 -1 -19 19 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.338541326265 0.163840520802 3 2 4 9 1023 0132 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 19 0 -19 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.431778468932 0.654574637770 10 4 11 2 0132 1230 0132 0132 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 -19 19 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.575499574076 0.418309716656 6 5 7 11 1023 0132 0132 2031 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 -19 -1 0 20 0 -19 19 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.048452248194 1.713298084248 8 11 6 11 0132 1023 0132 0132 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 -1 0 0 0 1 -1 1 0 0 -1 19 -19 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.383948528711 1.698123187639 10 9 10 8 1023 1302 0132 0132 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 -1 0 1 0 0 0 0 0 19 -20 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.383948528711 1.698123187639 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_11'], 'c_1001_10' : d['c_0101_11'], 'c_1001_5' : d['c_0011_10'], 'c_1001_4' : d['c_0011_10'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0101_9'], 'c_1001_1' : d['c_1001_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_7'], 'c_1001_2' : d['c_0101_4'], 'c_1001_9' : d['c_0101_4'], 'c_1001_8' : d['c_1001_8'], 'c_1010_11' : d['c_1001_8'], 'c_1010_10' : d['c_0101_11'], '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_11'], '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_10'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0101_7'], 'c_1100_4' : negation(d['c_1001_8']), 'c_1100_7' : negation(d['c_1001_8']), 'c_1100_6' : d['c_1100_0'], 'c_1100_1' : d['c_0101_7'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1100_0'], 's_3_11' : d['1'], 'c_1100_11' : d['c_1100_0'], 'c_1100_10' : d['c_1100_0'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_4'], 'c_1010_6' : d['c_0101_11'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_1001_0'], 'c_1010_3' : d['c_0101_9'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_10'], 'c_1010_0' : d['c_0101_7'], 'c_1010_9' : d['c_0011_10'], 'c_1010_8' : d['c_0101_4'], 'c_1100_8' : d['c_1100_0'], '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_2']), 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_2']), 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_0110_11' : d['c_0101_11'], 'c_0110_10' : d['c_0101_11'], 'c_0110_0' : d['c_0011_0'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : d['c_0101_10'], 'c_0101_1' : d['c_0011_0'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_11'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_11'], 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_1001_8']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0011_0'], 'c_0110_4' : d['c_0101_7'], 'c_0110_7' : d['c_0101_9'], 'c_0110_6' : d['c_0101_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_2, c_0101_0, c_0101_10, c_0101_11, c_0101_4, c_0101_7, c_0101_9, c_1001_0, c_1001_8, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 27056603676736587/22179648389572*c_1100_0^15 - 21840273097992604/5544912097393*c_1100_0^14 + 344478934270631531/22179648389572*c_1100_0^13 - 592317390404416005/22179648389572*c_1100_0^12 + 276792079049526483/5544912097393*c_1100_0^11 - 1548050246870067831/22179648389572*c_1100_0^10 + 1130750005270625399/22179648389572*c_1100_0^9 - 1314209727537927819/11089824194786*c_1100_0^8 - 869197315008273883/22179648389572*c_1100_0^7 - 2241180200395817531/22179648389572*c_1100_0^6 - 498649758903373177/11089824194786*c_1100_0^5 + 92474413305390983/22179648389572*c_1100_0^4 - 199264243804979465/22179648389572*c_1100_0^3 + 245475661632668201/11089824194786*c_1100_0^2 - 53178328941271289/22179648389572*c_1100_0 + 61281777120052037/11089824194786, c_0011_0 - 1, c_0011_10 + c_1100_0, c_0011_2 + 32047322689/135241758473*c_1100_0^15 - 145938587427/270483516946*c_1100_0^14 + 608043774943/270483516946*c_1100_0^13 - 628622248961/270483516946*c_1100_0^12 + 1289695218943/270483516946*c_1100_0^11 - 1454740443587/270483516946*c_1100_0^10 - 264476083789/270483516946*c_1100_0^9 - 4708742264677/270483516946*c_1100_0^8 - 6114941629919/270483516946*c_1100_0^7 - 7843651601489/270483516946*c_1100_0^6 - 4119509751425/270483516946*c_1100_0^5 - 666764653421/270483516946*c_1100_0^4 + 692774773813/270483516946*c_1100_0^3 + 505493805019/270483516946*c_1100_0^2 + 24326634401/270483516946*c_1100_0 + 367490342009/270483516946, c_0101_0 + 42541659469/270483516946*c_1100_0^15 - 49172038680/135241758473*c_1100_0^14 + 407630119083/270483516946*c_1100_0^13 - 215016519579/135241758473*c_1100_0^12 + 434763875027/135241758473*c_1100_0^11 - 975304940593/270483516946*c_1100_0^10 - 78610344310/135241758473*c_1100_0^9 - 1547988710271/135241758473*c_1100_0^8 - 3997217821709/270483516946*c_1100_0^7 - 2562212305740/135241758473*c_1100_0^6 - 1403693393442/135241758473*c_1100_0^5 - 564954000763/270483516946*c_1100_0^4 + 162334517048/135241758473*c_1100_0^3 + 140049834610/135241758473*c_1100_0^2 - 609520701/270483516946*c_1100_0 + 391499105753/270483516946, c_0101_10 + 22444277025/135241758473*c_1100_0^15 - 83494574537/270483516946*c_1100_0^14 + 173431195505/135241758473*c_1100_0^13 - 135002475871/270483516946*c_1100_0^12 + 238218175705/270483516946*c_1100_0^11 + 105150674458/135241758473*c_1100_0^10 - 2045571293927/270483516946*c_1100_0^9 - 1523478854729/270483516946*c_1100_0^8 - 3324054705581/135241758473*c_1100_0^7 - 4916821339803/270483516946*c_1100_0^6 - 3543268430791/270483516946*c_1100_0^5 - 219361779525/135241758473*c_1100_0^4 + 1496055041577/270483516946*c_1100_0^3 + 505452871471/270483516946*c_1100_0^2 + 288811458490/135241758473*c_1100_0 + 56775817567/270483516946, c_0101_11 - 20108379542/135241758473*c_1100_0^15 + 84118170154/135241758473*c_1100_0^14 - 624734487103/270483516946*c_1100_0^13 + 1309769825797/270483516946*c_1100_0^12 - 1134592792959/135241758473*c_1100_0^11 + 3343808342817/270483516946*c_1100_0^10 - 2956716984697/270483516946*c_1100_0^9 + 2035692181039/135241758473*c_1100_0^8 - 933553746133/270483516946*c_1100_0^7 + 544055776923/270483516946*c_1100_0^6 - 276282039580/135241758473*c_1100_0^5 - 1060707998869/270483516946*c_1100_0^4 + 996030268259/270483516946*c_1100_0^3 - 55061889816/135241758473*c_1100_0^2 + 370967639257/270483516946*c_1100_0 + 1773619799/270483516946, c_0101_4 + 24549194840/135241758473*c_1100_0^15 - 158542807503/270483516946*c_1100_0^14 + 300921989029/135241758473*c_1100_0^13 - 991084350303/270483516946*c_1100_0^12 + 1683466267663/270483516946*c_1100_0^11 - 1097146653569/135241758473*c_1100_0^10 + 931147857317/270483516946*c_1100_0^9 - 3188369505219/270483516946*c_1100_0^8 - 1419386941231/135241758473*c_1100_0^7 - 1778817178167/270483516946*c_1100_0^6 - 1410622779161/270483516946*c_1100_0^5 + 761742606655/135241758473*c_1100_0^4 + 439970831065/270483516946*c_1100_0^3 + 609366052949/270483516946*c_1100_0^2 + 71038184536/135241758473*c_1100_0 - 75915558623/270483516946, c_0101_7 + 85484038609/270483516946*c_1100_0^15 - 268467498963/270483516946*c_1100_0^14 + 1032701228179/270483516946*c_1100_0^13 - 830992655245/135241758473*c_1100_0^12 + 2892752375581/270483516946*c_1100_0^11 - 3737931756845/270483516946*c_1100_0^10 + 793004007256/135241758473*c_1100_0^9 - 5732542265405/270483516946*c_1100_0^8 - 5361927594917/270483516946*c_1100_0^7 - 2030869013611/135241758473*c_1100_0^6 - 3408204976469/270483516946*c_1100_0^5 + 1733776967083/270483516946*c_1100_0^4 + 119088196836/135241758473*c_1100_0^3 + 827325250491/270483516946*c_1100_0^2 + 153902586749/270483516946*c_1100_0 - 135931245821/270483516946, c_0101_9 - 65914693658/135241758473*c_1100_0^15 + 214779734278/135241758473*c_1100_0^14 - 810938620700/135241758473*c_1100_0^13 + 2679697325155/270483516946*c_1100_0^12 - 2257277455069/135241758473*c_1100_0^11 + 2930576278298/135241758473*c_1100_0^10 - 2517594543099/270483516946*c_1100_0^9 + 4193186522456/135241758473*c_1100_0^8 + 3686483233504/135241758473*c_1100_0^7 + 4591947637479/270483516946*c_1100_0^6 + 1845200878811/135241758473*c_1100_0^5 - 1437607129271/135241758473*c_1100_0^4 + 281844127357/270483516946*c_1100_0^3 - 361731297068/135241758473*c_1100_0^2 - 267748932096/135241758473*c_1100_0 + 200025891199/270483516946, c_1001_0 - 85484038609/270483516946*c_1100_0^15 + 268467498963/270483516946*c_1100_0^14 - 1032701228179/270483516946*c_1100_0^13 + 830992655245/135241758473*c_1100_0^12 - 2892752375581/270483516946*c_1100_0^11 + 3737931756845/270483516946*c_1100_0^10 - 793004007256/135241758473*c_1100_0^9 + 5732542265405/270483516946*c_1100_0^8 + 5361927594917/270483516946*c_1100_0^7 + 2030869013611/135241758473*c_1100_0^6 + 3408204976469/270483516946*c_1100_0^5 - 1733776967083/270483516946*c_1100_0^4 - 119088196836/135241758473*c_1100_0^3 - 827325250491/270483516946*c_1100_0^2 - 153902586749/270483516946*c_1100_0 + 135931245821/270483516946, c_1001_8 + 22444277025/135241758473*c_1100_0^15 - 83494574537/270483516946*c_1100_0^14 + 173431195505/135241758473*c_1100_0^13 - 135002475871/270483516946*c_1100_0^12 + 238218175705/270483516946*c_1100_0^11 + 105150674458/135241758473*c_1100_0^10 - 2045571293927/270483516946*c_1100_0^9 - 1523478854729/270483516946*c_1100_0^8 - 3324054705581/135241758473*c_1100_0^7 - 4916821339803/270483516946*c_1100_0^6 - 3543268430791/270483516946*c_1100_0^5 - 219361779525/135241758473*c_1100_0^4 + 1496055041577/270483516946*c_1100_0^3 + 505452871471/270483516946*c_1100_0^2 + 288811458490/135241758473*c_1100_0 + 56775817567/270483516946, c_1100_0^16 - 3*c_1100_0^15 + 12*c_1100_0^14 - 19*c_1100_0^13 + 36*c_1100_0^12 - 48*c_1100_0^11 + 29*c_1100_0^10 - 88*c_1100_0^9 - 54*c_1100_0^8 - 91*c_1100_0^7 - 56*c_1100_0^6 - 6*c_1100_0^5 - 7*c_1100_0^4 + 16*c_1100_0^3 + 2*c_1100_0^2 + 4*c_1100_0 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.460 Total time: 0.670 seconds, Total memory usage: 32.09MB