Magma V2.19-8 Wed Aug 21 2013 00:34:42 on localhost [Seed = 2867641341] Type ? for help. Type -D to quit. Loading file "K14n21888__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n21888 geometric_solution 11.06834261 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 1 2 0132 0132 0213 0213 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 0 -1 1 -6 0 0 6 -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.732028847593 0.695203743168 0 0 4 3 0132 0213 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 6 0 0 -6 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.482729329387 1.252355836485 5 0 6 0 0132 0132 0132 0213 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 1 -1 0 0 1 -1 5 1 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.732028847593 0.695203743168 5 7 1 6 1302 0132 0132 1302 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 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.507815942438 1.084692970423 5 7 8 1 2310 0321 0132 0132 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 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.176229207740 0.338656731789 2 3 4 9 0132 2031 3201 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 0 0 0 0 0 0 0 0 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.562377395335 0.829458980228 10 11 3 2 0132 0132 2031 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 1 0 -1 0 0 1 -1 0 0 0 0 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.332933659047 0.301686453751 9 3 11 4 1230 0132 3120 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.238028357548 0.387749847537 11 11 10 4 3201 3012 1230 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 0 0 0 5 0 0 -5 -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.851198458319 0.634190087893 12 7 5 12 0132 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.074025370552 0.654796174538 6 12 12 8 0132 3201 0132 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.352761213776 0.997358306128 8 6 7 8 1230 0132 3120 2310 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 -1 0 0 1 -1 6 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.350666692120 1.494536533590 9 9 10 10 0132 2310 2310 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 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.761084485951 1.164041862086 ==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_12']), 'c_1001_12' : negation(d['c_0011_8']), 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : negation(d['c_0101_11']), 'c_1001_7' : negation(d['c_1001_11']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_1001_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_0'], 'c_1001_2' : d['c_1001_11'], 'c_1001_9' : d['c_0011_3'], 'c_1001_8' : negation(d['c_0011_10']), 'c_1010_12' : negation(d['c_0101_12']), 'c_1010_11' : negation(d['c_0101_4']), 'c_1010_10' : d['c_0011_8'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_12'], '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_12' : 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_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_12']), 'c_1100_4' : d['c_0101_6'], 'c_1100_7' : negation(d['c_0101_11']), 'c_1100_6' : d['c_1001_11'], 'c_1100_1' : d['c_0101_6'], 'c_1100_0' : d['c_1001_0'], 'c_1100_3' : d['c_0101_6'], 'c_1100_2' : d['c_1001_11'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_8'], 'c_1100_10' : d['c_0011_10'], 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_0'], 'c_1010_6' : d['c_1001_11'], 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : d['c_1001_0'], 'c_1010_3' : negation(d['c_1001_11']), 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_0'], 'c_1010_0' : d['c_1001_11'], 'c_1010_9' : d['c_0011_8'], 'c_1010_8' : negation(d['c_0101_11']), 'c_1100_8' : d['c_0101_6'], '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'], 'c_1100_12' : d['c_0011_10'], '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_12']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_12'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_10']), '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_8'], 'c_0110_10' : d['c_0101_6'], 'c_0110_12' : d['c_0101_10'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0011_8']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : negation(d['c_0011_8']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : d['c_0101_4'], 'c_0110_1' : negation(d['c_0011_0']), 'c_1100_9' : negation(d['c_0011_12']), 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : negation(d['c_0011_12']), 'c_0110_6' : d['c_0101_10'], 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_3, c_0011_8, c_0101_1, c_0101_10, c_0101_11, c_0101_12, c_0101_4, c_0101_6, c_1001_0, c_1001_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 5293341760551974157307143/24062076540301058241745*c_1001_11^17 + 758012288632847221181084/4812415308060211648349*c_1001_11^16 + 119502015307245706936799064/24062076540301058241745*c_1001_11^15 + 11556142406319219034370343/3437439505757294034535*c_1001_11^14 - 699319202349570252211282312/24062076540301058241745*c_1001_11^13 - 1012836158858541165744010493/24062076540301058241745*c_1001_11^12 + 913148295845041054630966877/24062076540301058241745*c_1001_11^11 + 552909409840918836348876785/4812415308060211648349*c_1001_11^10 + 1510536148054755513309105632/24062076540301058241745*c_1001_11^9 - 28330118814829260547173996/776196017429066394895*c_1001_11^8 - 720587362449563210256815533/24062076540301058241745*c_1001_11^7 + 72005760450029253993113023/3437439505757294034535*c_1001_11^6 + 17851307307272239268817976/687487901151458806907*c_1001_11^5 + 1269516465198248203435159/776196017429066394895*c_1001_11^4 - 52272819714046227187442297/24062076540301058241745*c_1001_11^3 - 7534996982986467627434062/24062076540301058241745*c_1001_11^2 + 5708539072926810810608078/24062076540301058241745*c_1001_11 - 817829754876222482812263/4812415308060211648349, c_0011_0 - 1, c_0011_10 - 88367325609286/2019012534695201*c_1001_11^17 + 139598213691199/2019012534695201*c_1001_11^16 + 1757376903370941/2019012534695201*c_1001_11^15 - 183909689813089/2019012534695201*c_1001_11^14 - 8620751086071255/2019012534695201*c_1001_11^13 - 5893939757664712/2019012534695201*c_1001_11^12 + 3089977566045598/2019012534695201*c_1001_11^11 + 11732703387929200/2019012534695201*c_1001_11^10 + 36083701308553320/2019012534695201*c_1001_11^9 + 926589671511612/65129436603071*c_1001_11^8 + 2650431641971153/2019012534695201*c_1001_11^7 - 6449743320477227/2019012534695201*c_1001_11^6 + 16721662059939782/2019012534695201*c_1001_11^5 + 224230553306974/65129436603071*c_1001_11^4 - 1196358630495019/2019012534695201*c_1001_11^3 + 502665874699268/2019012534695201*c_1001_11^2 + 5435840060235283/2019012534695201*c_1001_11 + 70245794601556/2019012534695201, c_0011_12 - 138462891027085/2019012534695201*c_1001_11^17 + 478444282599887/2019012534695201*c_1001_11^16 + 2818322948332245/2019012534695201*c_1001_11^15 - 6332424761409020/2019012534695201*c_1001_11^14 - 23462977652111870/2019012534695201*c_1001_11^13 + 22777476598332602/2019012534695201*c_1001_11^12 + 91742258085419789/2019012534695201*c_1001_11^11 + 4298266578056363/2019012534695201*c_1001_11^10 - 142050407936747828/2019012534695201*c_1001_11^9 - 3199267282332440/65129436603071*c_1001_11^8 + 31502515939291020/2019012534695201*c_1001_11^7 - 2154736011996041/2019012534695201*c_1001_11^6 - 59774788501431401/2019012534695201*c_1001_11^5 - 793456082571614/65129436603071*c_1001_11^4 + 12095029118114295/2019012534695201*c_1001_11^3 - 8404677122781552/2019012534695201*c_1001_11^2 - 10196033461896099/2019012534695201*c_1001_11 - 1565339917176819/2019012534695201, c_0011_3 + 12640994847608/65129436603071*c_1001_11^17 - 35408813105665/65129436603071*c_1001_11^16 - 255400561524621/65129436603071*c_1001_11^15 + 388216340216283/65129436603071*c_1001_11^14 + 1820653327472920/65129436603071*c_1001_11^13 - 1095190714688054/65129436603071*c_1001_11^12 - 5560326701948150/65129436603071*c_1001_11^11 - 695672155261150/65129436603071*c_1001_11^10 + 6539256142780304/65129436603071*c_1001_11^9 + 139405815441458/2100949567841*c_1001_11^8 - 1957238458057489/65129436603071*c_1001_11^7 + 271064523100867/65129436603071*c_1001_11^6 + 2360797814129045/65129436603071*c_1001_11^5 + 34755121621160/2100949567841*c_1001_11^4 - 529716705420610/65129436603071*c_1001_11^3 + 480555896093238/65129436603071*c_1001_11^2 + 361859456303937/65129436603071*c_1001_11 + 113582777551685/65129436603071, c_0011_8 + 202177061166850/2019012534695201*c_1001_11^17 - 432524663642377/2019012534695201*c_1001_11^16 - 4119878838634343/2019012534695201*c_1001_11^15 + 3012015193378400/2019012534695201*c_1001_11^14 + 26057953043866892/2019012534695201*c_1001_11^13 + 1731072812238096/2019012534695201*c_1001_11^12 - 58339152703326951/2019012534695201*c_1001_11^11 - 38505560841232559/2019012534695201*c_1001_11^10 + 28319192322600898/2019012534695201*c_1001_11^9 + 1307618296059565/65129436603071*c_1001_11^8 - 10262340029104586/2019012534695201*c_1001_11^7 - 6761970180218934/2019012534695201*c_1001_11^6 + 5575123327959940/2019012534695201*c_1001_11^5 + 430866139414923/65129436603071*c_1001_11^4 - 2796406135610305/2019012534695201*c_1001_11^3 + 1586919549529259/2019012534695201*c_1001_11^2 + 951363888924392/2019012534695201*c_1001_11 + 4063106047229903/2019012534695201, c_0101_1 + 49294663755391/2019012534695201*c_1001_11^17 - 94666428630762/2019012534695201*c_1001_11^16 - 1026139823186666/2019012534695201*c_1001_11^15 + 531625514871403/2019012534695201*c_1001_11^14 + 6440717687057453/2019012534695201*c_1001_11^13 + 1455326326488991/2019012534695201*c_1001_11^12 - 13755788257951559/2019012534695201*c_1001_11^11 - 10283113350895817/2019012534695201*c_1001_11^10 + 5580004159116587/2019012534695201*c_1001_11^9 + 218946096835622/65129436603071*c_1001_11^8 - 5471046569612256/2019012534695201*c_1001_11^7 - 957752080899572/2019012534695201*c_1001_11^6 + 2881987630442568/2019012534695201*c_1001_11^5 + 78912837877376/65129436603071*c_1001_11^4 - 1702421326792270/2019012534695201*c_1001_11^3 + 3696485251417210/2019012534695201*c_1001_11^2 + 325419544147153/2019012534695201*c_1001_11 + 1537056725289744/2019012534695201, c_0101_10 - 12971014556565/2019012534695201*c_1001_11^17 + 22901338588240/2019012534695201*c_1001_11^16 + 277345157510934/2019012534695201*c_1001_11^15 - 115185986004784/2019012534695201*c_1001_11^14 - 1745451788703007/2019012534695201*c_1001_11^13 - 483042752487567/2019012534695201*c_1001_11^12 + 3606621806995560/2019012534695201*c_1001_11^11 + 2856208711129077/2019012534695201*c_1001_11^10 - 1072188847040100/2019012534695201*c_1001_11^9 - 54273478885494/65129436603071*c_1001_11^8 + 1445055339258321/2019012534695201*c_1001_11^7 - 47737211879164/2019012534695201*c_1001_11^6 - 624493544666298/2019012534695201*c_1001_11^5 - 100197917823455/65129436603071*c_1001_11^4 + 422363065454034/2019012534695201*c_1001_11^3 + 2773198933352884/2019012534695201*c_1001_11^2 - 49294663755391/2019012534695201*c_1001_11 + 45371764875371/2019012534695201, c_0101_11 + 88367325609286/2019012534695201*c_1001_11^17 - 139598213691199/2019012534695201*c_1001_11^16 - 1757376903370941/2019012534695201*c_1001_11^15 + 183909689813089/2019012534695201*c_1001_11^14 + 8620751086071255/2019012534695201*c_1001_11^13 + 5893939757664712/2019012534695201*c_1001_11^12 - 3089977566045598/2019012534695201*c_1001_11^11 - 11732703387929200/2019012534695201*c_1001_11^10 - 36083701308553320/2019012534695201*c_1001_11^9 - 926589671511612/65129436603071*c_1001_11^8 - 2650431641971153/2019012534695201*c_1001_11^7 + 6449743320477227/2019012534695201*c_1001_11^6 - 16721662059939782/2019012534695201*c_1001_11^5 - 224230553306974/65129436603071*c_1001_11^4 + 1196358630495019/2019012534695201*c_1001_11^3 - 502665874699268/2019012534695201*c_1001_11^2 - 5435840060235283/2019012534695201*c_1001_11 - 70245794601556/2019012534695201, c_0101_12 - 84340484801896/2019012534695201*c_1001_11^17 + 322629416504449/2019012534695201*c_1001_11^16 + 1707836164502092/2019012534695201*c_1001_11^15 - 4731156973034143/2019012534695201*c_1001_11^14 - 14502646378339998/2019012534695201*c_1001_11^13 + 20122300331043111/2019012534695201*c_1001_11^12 + 58252644776189642/2019012534695201*c_1001_11^11 - 11377961858051813/2019012534695201*c_1001_11^10 - 92459853041569584/2019012534695201*c_1001_11^9 - 1829538246608808/65129436603071*c_1001_11^8 + 19586693474785938/2019012534695201*c_1001_11^7 - 3005339323148569/2019012534695201*c_1001_11^6 - 36035555078762867/2019012534695201*c_1001_11^5 - 439433235577022/65129436603071*c_1001_11^4 + 6601888297112403/2019012534695201*c_1001_11^3 - 3551485734812955/2019012534695201*c_1001_11^2 - 8070229528590212/2019012534695201*c_1001_11 - 516770446648537/2019012534695201, c_0101_4 + 152882397411459/2019012534695201*c_1001_11^17 - 337858235011615/2019012534695201*c_1001_11^16 - 3093739015447677/2019012534695201*c_1001_11^15 + 2480389678506997/2019012534695201*c_1001_11^14 + 19617235356809439/2019012534695201*c_1001_11^13 + 275746485749105/2019012534695201*c_1001_11^12 - 44583364445375392/2019012534695201*c_1001_11^11 - 28222447490336742/2019012534695201*c_1001_11^10 + 22739188163484311/2019012534695201*c_1001_11^9 + 1088672199223943/65129436603071*c_1001_11^8 - 4791293459492330/2019012534695201*c_1001_11^7 - 5804218099319362/2019012534695201*c_1001_11^6 + 2693135697517372/2019012534695201*c_1001_11^5 + 351953301537547/65129436603071*c_1001_11^4 - 1093984808818035/2019012534695201*c_1001_11^3 - 90553167192750/2019012534695201*c_1001_11^2 + 625944344777239/2019012534695201*c_1001_11 + 2526049321940159/2019012534695201, c_0101_6 - c_1001_11, c_1001_0 - 481955809405457/2019012534695201*c_1001_11^17 + 531250473160848/2019012534695201*c_1001_11^16 + 10508361378289292/2019012534695201*c_1001_11^15 + 3311462461462447/2019012534695201*c_1001_11^14 - 61158718089027093/2019012534695201*c_1001_11^13 - 63442874676733812/2019012534695201*c_1001_11^12 + 88689327828876708/2019012534695201*c_1001_11^11 + 171797198363149386/2019012534695201*c_1001_11^10 + 70685462629220959/2019012534695201*c_1001_11^9 - 457425291177650/65129436603071*c_1001_11^8 + 52573130895422697/2019012534695201*c_1001_11^7 + 62484722556557181/2019012534695201*c_1001_11^6 + 19284391914129622/2019012534695201*c_1001_11^5 - 62502273019742/65129436603071*c_1001_11^4 + 20760618731606022/2019012534695201*c_1001_11^3 + 9382562289533241/2019012534695201*c_1001_11^2 + 4569207573154751/2019012534695201*c_1001_11 + 325419544147153/2019012534695201, c_1001_11^18 - c_1001_11^17 - 22*c_1001_11^16 - 9*c_1001_11^15 + 128*c_1001_11^14 + 145*c_1001_11^13 - 181*c_1001_11^12 - 385*c_1001_11^11 - 168*c_1001_11^10 + 41*c_1001_11^9 - 95*c_1001_11^8 - 141*c_1001_11^7 - 42*c_1001_11^6 + 10*c_1001_11^5 - 38*c_1001_11^4 - 23*c_1001_11^3 - 6*c_1001_11^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 19.110 Total time: 19.320 seconds, Total memory usage: 85.62MB