Magma V2.19-8 Wed Aug 21 2013 00:17:42 on localhost [Seed = 660687473] Type ? for help. Type -D to quit. Loading file "K13n90__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n90 geometric_solution 12.15817956 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 3 0132 0132 0132 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 -1 1 0 -1 0 0 1 -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.756294485413 1.516154767793 0 3 4 4 0132 3120 2103 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.506053126601 0.510056492928 5 0 6 5 0132 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.501109851775 0.699268263286 0 1 7 0 3120 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 -1 0 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.103347478777 0.642951280576 1 6 1 5 2103 0132 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.019746862569 0.988007881342 2 2 4 8 0132 1302 2031 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.322904300761 0.944845789815 7 4 9 2 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.314459910472 0.485257755441 10 6 10 3 0132 2031 3120 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 10 0 -9 -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.547086681486 0.842751033309 10 11 5 9 1023 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.349737256942 1.167949011698 11 8 12 6 0321 1302 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.171862630779 0.963497654035 7 8 7 12 0132 1023 3120 1230 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 1 -1 0 -10 0 9 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.547086681486 0.842751033309 9 8 12 12 0321 0132 0213 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.314711900333 0.421063238029 10 11 11 9 3012 0213 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.838180758025 1.008971678584 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_9'], 'c_1001_10' : d['c_0101_2'], 'c_1001_12' : d['c_0011_9'], 'c_1001_5' : d['c_0101_5'], 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_7' : negation(d['c_0101_2']), 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : negation(d['c_0011_3']), 'c_1001_9' : d['c_0101_12'], 'c_1001_8' : d['c_1001_8'], 'c_1010_12' : d['c_0101_12'], 'c_1010_11' : d['c_1001_8'], 'c_1010_10' : d['c_0101_12'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_12'], '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_1100_9' : negation(d['c_1001_8']), 'c_1100_8' : negation(d['c_1001_6']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_1001_6']), 'c_1100_4' : d['c_0101_5'], 'c_1100_7' : negation(d['c_0101_10']), 'c_1100_6' : negation(d['c_1001_8']), 'c_1100_1' : d['c_0101_5'], 'c_1100_0' : negation(d['c_0101_10']), 'c_1100_3' : negation(d['c_0101_10']), 'c_1100_2' : negation(d['c_1001_8']), 's_0_10' : d['1'], 'c_1100_11' : d['c_0101_12'], 'c_1100_10' : negation(d['c_0011_12']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_4']), 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : d['c_1001_8'], 'c_1010_4' : 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_3']), 'c_1010_9' : d['c_1001_6'], 'c_1010_8' : d['c_0011_9'], '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' : negation(d['c_1001_8']), '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' : d['c_0011_9'], 'c_0011_8' : d['c_0011_10'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_10']), '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_0110_11' : negation(d['c_0011_9']), 'c_0110_10' : d['c_0011_12'], 'c_0110_12' : negation(d['c_0011_12']), 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_0'], 'c_0101_7' : d['c_0011_12'], 'c_0101_6' : d['c_0011_10'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_10'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_0'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_12']), 'c_0101_8' : d['c_0101_2'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_10'], 'c_0110_8' : d['c_0101_12'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : negation(d['c_0011_10']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_7' : d['c_0101_10'], 'c_0110_6' : d['c_0101_2']})} 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_4, c_0011_9, c_0101_0, c_0101_10, c_0101_12, c_0101_2, c_0101_5, c_1001_6, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 159290289081249348273/2037979434991895353238*c_1001_8^15 + 740382074614958339265/2037979434991895353238*c_1001_8^14 - 3686257536029554219989/2037979434991895353238*c_1001_8^13 + 10528058578324967775503/2037979434991895353238*c_1001_8^12 - 12314167289649723892871/2037979434991895353238*c_1001_8^11 + 23636040321180894883329/2037979434991895353238*c_1001_8^10 - 20091121880530166981503/2037979434991895353238*c_1001_8^9 - 7333281887429304443681/291139919284556479034*c_1001_8^8 + 69234342869853982510469/2037979434991895353238*c_1001_8^7 - 5882871695279415739345/2037979434991895353238*c_1001_8^6 - 131970191237153324823129/2037979434991895353238*c_1001_8^5 + 162570464654303650835985/2037979434991895353238*c_1001_8^4 + 131112608011541856233927/2037979434991895353238*c_1001_8^3 - 173313567856823599038009/2037979434991895353238*c_1001_8^2 - 87648412903790418104185/2037979434991895353238*c_1001_8 + 46592701092630755815699/1018989717495947676619, c_0011_0 - 1, c_0011_10 + 4171898627703593/49905219163794974*c_1001_8^15 - 9946776332837312/24952609581897487*c_1001_8^14 + 27505464454046893/24952609581897487*c_1001_8^13 - 6297800399171668/3564658511699641*c_1001_8^12 + 67079440876964206/24952609581897487*c_1001_8^11 - 8894882694535703/3564658511699641*c_1001_8^10 - 57886093214727907/24952609581897487*c_1001_8^9 + 194502535129531078/24952609581897487*c_1001_8^8 - 104501321231953003/24952609581897487*c_1001_8^7 - 239436463568964814/24952609581897487*c_1001_8^6 + 448771938453292775/24952609581897487*c_1001_8^5 - 7232487151304487/3564658511699641*c_1001_8^4 - 478402703111433126/24952609581897487*c_1001_8^3 + 20086712635009327/3564658511699641*c_1001_8^2 + 39957214203596300/3564658511699641*c_1001_8 - 297952298759015643/49905219163794974, c_0011_12 - 18920203649527207/49905219163794974*c_1001_8^15 + 92735910513721501/49905219163794974*c_1001_8^14 - 258930407998237573/49905219163794974*c_1001_8^13 + 60094819768379971/7129317023399282*c_1001_8^12 - 628427055966314569/49905219163794974*c_1001_8^11 + 84389281630654603/7129317023399282*c_1001_8^10 + 534218072009692523/49905219163794974*c_1001_8^9 - 1928123459258040647/49905219163794974*c_1001_8^8 + 1112371486152200957/49905219163794974*c_1001_8^7 + 2241867045333296891/49905219163794974*c_1001_8^6 - 4462240962359929563/49905219163794974*c_1001_8^5 + 108867446479715095/7129317023399282*c_1001_8^4 + 4629083127607231509/49905219163794974*c_1001_8^3 - 264448407146491947/7129317023399282*c_1001_8^2 - 426365789201910685/7129317023399282*c_1001_8 + 891601956494202682/24952609581897487, c_0011_3 - 46938023419476900/24952609581897487*c_1001_8^15 + 454181813005323909/49905219163794974*c_1001_8^14 - 1259173612110932417/49905219163794974*c_1001_8^13 + 289068897035728289/7129317023399282*c_1001_8^12 - 3033262298092244345/49905219163794974*c_1001_8^11 + 401428878044085731/7129317023399282*c_1001_8^10 + 2722802079422107671/49905219163794974*c_1001_8^9 - 9277487858555147713/49905219163794974*c_1001_8^8 + 5016060749113040441/49905219163794974*c_1001_8^7 + 11153501527254197623/49905219163794974*c_1001_8^6 - 21305206721599375733/49905219163794974*c_1001_8^5 + 395680209590237491/7129317023399282*c_1001_8^4 + 22566668326362917079/49905219163794974*c_1001_8^3 - 1125141738974749009/7129317023399282*c_1001_8^2 - 2073244814392705363/7129317023399282*c_1001_8 + 8115080891365250325/49905219163794974, c_0011_4 + 120267873902621853/49905219163794974*c_1001_8^15 - 576952019260572561/49905219163794974*c_1001_8^14 + 1594221942148135707/49905219163794974*c_1001_8^13 - 363593458026047127/7129317023399282*c_1001_8^12 + 3826565513710116585/49905219163794974*c_1001_8^11 - 499914582729844269/7129317023399282*c_1001_8^10 - 3539315998549129817/49905219163794974*c_1001_8^9 + 11698480220373997881/49905219163794974*c_1001_8^8 - 6139275357847463103/49905219163794974*c_1001_8^7 - 14250695822965655643/49905219163794974*c_1001_8^6 + 26732809447055837973/49905219163794974*c_1001_8^5 - 428012307635131623/7129317023399282*c_1001_8^4 - 28461020231701521067/49905219163794974*c_1001_8^3 + 1330033262655756477/7129317023399282*c_1001_8^2 + 2602558112616816231/7129317023399282*c_1001_8 - 4978909696010163765/24952609581897487, c_0011_9 - 32043166672510947/24952609581897487*c_1001_8^15 + 308172083145734669/49905219163794974*c_1001_8^14 - 852317176665383585/49905219163794974*c_1001_8^13 + 194787811340303603/7129317023399282*c_1001_8^12 - 2049072002770503561/49905219163794974*c_1001_8^11 + 269055398426800093/7129317023399282*c_1001_8^10 + 1872419426720433249/49905219163794974*c_1001_8^9 - 6250834741220119389/49905219163794974*c_1001_8^8 + 3304434197182680483/49905219163794974*c_1001_8^7 + 7595840184927265023/49905219163794974*c_1001_8^6 - 14304313437713709237/49905219163794974*c_1001_8^5 + 236202915333145199/7129317023399282*c_1001_8^4 + 15228915470263137059/49905219163794974*c_1001_8^3 - 718724246928063633/7129317023399282*c_1001_8^2 - 1392063983419805771/7129317023399282*c_1001_8 + 5320441749601426279/49905219163794974, c_0101_0 - 28758258004647407/49905219163794974*c_1001_8^15 + 133190049712154333/49905219163794974*c_1001_8^14 - 362660659012102835/49905219163794974*c_1001_8^13 + 80331359647973091/7129317023399282*c_1001_8^12 - 856980269123733543/49905219163794974*c_1001_8^11 + 105921960424205143/7129317023399282*c_1001_8^10 + 888531607023593697/49905219163794974*c_1001_8^9 - 2598859019234632233/49905219163794974*c_1001_8^8 + 1153098418669428183/49905219163794974*c_1001_8^7 + 3401053878776413501/49905219163794974*c_1001_8^6 - 5843816856993712155/49905219163794974*c_1001_8^5 + 16806937295562113/7129317023399282*c_1001_8^4 + 6433225814781572693/49905219163794974*c_1001_8^3 - 207712643869585503/7129317023399282*c_1001_8^2 - 580756979739983785/7129317023399282*c_1001_8 + 981953384926049342/24952609581897487, c_0101_10 - 35914178869620095/24952609581897487*c_1001_8^15 + 167345027641265632/24952609581897487*c_1001_8^14 - 455954480308893084/24952609581897487*c_1001_8^13 + 101280880389110791/3564658511699641*c_1001_8^12 - 1074467406324567257/24952609581897487*c_1001_8^11 + 133666885687836688/3564658511699641*c_1001_8^10 + 1122022486548664068/24952609581897487*c_1001_8^9 - 3299260992415382545/24952609581897487*c_1001_8^8 + 1486097158464060344/24952609581897487*c_1001_8^7 + 4281378098625218789/24952609581897487*c_1001_8^6 - 7417844651742019391/24952609581897487*c_1001_8^5 + 30933081507284792/3564658511699641*c_1001_8^4 + 8174265494313106848/24952609581897487*c_1001_8^3 - 272636750699258518/3564658511699641*c_1001_8^2 - 740283366180373740/3564658511699641*c_1001_8 + 2472315081820925925/24952609581897487, c_0101_12 - 45166129695494687/49905219163794974*c_1001_8^15 + 107718086316006584/24952609581897487*c_1001_8^14 - 296693384333573006/24952609581897487*c_1001_8^13 + 67346495785961816/3564658511699641*c_1001_8^12 - 710322473402094496/24952609581897487*c_1001_8^11 + 92333058398072745/3564658511699641*c_1001_8^10 + 669100677355370363/24952609581897487*c_1001_8^9 - 2161355640981039371/24952609581897487*c_1001_8^8 + 1096031355515239763/24952609581897487*c_1001_8^7 + 2676986569796984066/24952609581897487*c_1001_8^6 - 4921036237676889837/24952609581897487*c_1001_8^5 + 63667734426715052/3564658511699641*c_1001_8^4 + 5299916171327952775/24952609581897487*c_1001_8^3 - 227137919890785843/3564658511699641*c_1001_8^2 - 486413755620647184/3564658511699641*c_1001_8 + 3537237836613020915/49905219163794974, c_0101_2 + 51140891974358055/49905219163794974*c_1001_8^15 - 120734498877302403/24952609581897487*c_1001_8^14 + 330923144783554670/24952609581897487*c_1001_8^13 - 74395890967503617/3564658511699641*c_1001_8^12 + 786233433651479654/24952609581897487*c_1001_8^11 - 100272450606358508/3564658511699641*c_1001_8^10 - 777399931242069193/24952609581897487*c_1001_8^9 + 2405334133383796747/24952609581897487*c_1001_8^8 - 1158176860036125632/24952609581897487*c_1001_8^7 - 3046465228958488583/24952609581897487*c_1001_8^6 + 5447344146848280485/24952609581897487*c_1001_8^5 - 48879304962510964/3564658511699641*c_1001_8^4 - 5938083508354824597/24952609581897487*c_1001_8^3 + 228250670478404590/3564658511699641*c_1001_8^2 + 540712916127208329/3564658511699641*c_1001_8 - 3774530034923876427/49905219163794974, c_0101_5 + 8423548358498585/24952609581897487*c_1001_8^15 - 84508709158792403/49905219163794974*c_1001_8^14 + 237271869549756297/49905219163794974*c_1001_8^13 - 55775841727865367/7129317023399282*c_1001_8^12 + 575698576349794255/49905219163794974*c_1001_8^11 - 79450995773098163/7129317023399282*c_1001_8^10 - 473531743981046641/49905219163794974*c_1001_8^9 + 1797230474154809315/49905219163794974*c_1001_8^8 - 1081796849905861141/49905219163794974*c_1001_8^7 - 2060607783959545269/49905219163794974*c_1001_8^6 + 4206027448332333733/49905219163794974*c_1001_8^5 - 120508130573922967/7129317023399282*c_1001_8^4 - 4386578156415468581/49905219163794974*c_1001_8^3 + 278734893274484339/7129317023399282*c_1001_8^2 + 409712318592467571/7129317023399282*c_1001_8 - 1752721454065870209/49905219163794974, c_1001_6 + 20687465764882135/49905219163794974*c_1001_8^15 - 46610528763963229/24952609581897487*c_1001_8^14 + 125031335525338414/24952609581897487*c_1001_8^13 - 26884989421607174/3564658511699641*c_1001_8^12 + 288233972673087603/24952609581897487*c_1001_8^11 - 33394435081478180/3564658511699641*c_1001_8^10 - 344622555306594875/24952609581897487*c_1001_8^9 + 893926859031585798/24952609581897487*c_1001_8^8 - 327920298427934712/24952609581897487*c_1001_8^7 - 1234912869666730206/24952609581897487*c_1001_8^6 + 1970500504893738906/24952609581897487*c_1001_8^5 + 17946223455226172/3564658511699641*c_1001_8^4 - 2236181985958282251/24952609581897487*c_1001_8^3 + 44386080220853928/3564658511699641*c_1001_8^2 + 196005791541465770/3564658511699641*c_1001_8 - 1170100128717975423/49905219163794974, c_1001_8^16 - 6*c_1001_8^15 + 19*c_1001_8^14 - 37*c_1001_8^13 + 57*c_1001_8^12 - 67*c_1001_8^11 + 5*c_1001_8^10 + 133*c_1001_8^9 - 167*c_1001_8^8 - 59*c_1001_8^7 + 365*c_1001_8^6 - 289*c_1001_8^5 - 211*c_1001_8^4 + 361*c_1001_8^3 + 63*c_1001_8^2 - 264*c_1001_8 + 97 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 8.480 Total time: 8.679 seconds, Total memory usage: 64.12MB