Magma V2.19-8 Tue Aug 20 2013 23:52:31 on localhost [Seed = 3170555802] Type ? for help. Type -D to quit. Loading file "L13n2842__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n2842 geometric_solution 10.71220801 oriented_manifold CS_known 0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 1 0 1 0 0 0 0 0 0 0 -1 1 -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 0 -1 1 1 0 0 -1 12 -12 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.798532889050 0.746885170958 0 5 6 3 0132 0132 0132 1230 0 0 0 1 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 0 0 0 -1 0 0 1 0 0 0 0 -12 13 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.885730022157 0.501291895622 7 0 5 3 0132 0132 1302 0132 1 0 0 1 0 0 0 0 0 0 -1 1 -1 1 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 1 -1 0 0 1 12 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.399136362104 0.232741366251 1 6 2 0 3012 3201 0132 0132 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 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.130319502364 1.090233901966 8 9 0 10 0132 0132 0132 0132 1 0 1 1 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 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.684548332331 1.028762603767 2 1 7 8 2031 0132 1023 1302 0 1 1 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 0 0 0 0 0 0 0 13 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.701082652767 1.038817789087 11 11 3 1 0132 1302 2310 0132 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 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.639067516946 0.869197741644 2 10 5 10 0132 0321 1023 3120 1 0 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 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.014881255166 1.335765535734 4 9 5 11 0132 2310 2031 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.399844188842 1.852684843802 9 4 9 8 2310 0132 3201 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.254364698772 0.601888891526 7 11 4 7 3120 3120 0132 0321 1 0 1 1 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 1 -1 0 0 0 1 -1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.008339215504 0.748541473228 6 10 8 6 0132 3120 0132 2031 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 0 0 0 0 0 0 0 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.407475577608 0.981282839479 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_11' : d['c_0101_9'], 'c_1001_10' : negation(d['c_0101_9']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0110_5'], 'c_1001_7' : d['c_0101_5'], 'c_1001_6' : d['c_0101_6'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_6']), 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : d['c_0110_5'], 'c_1001_9' : negation(d['c_0101_9']), 'c_1001_8' : negation(d['c_0110_5']), 'c_1010_11' : negation(d['c_0011_10']), 'c_1010_10' : negation(d['c_0011_10']), 's_3_11' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_1'], '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_1100_8' : negation(d['c_1001_1']), 'c_1100_5' : d['c_0101_10'], 'c_1100_4' : d['c_0101_5'], 'c_1100_7' : negation(d['c_0101_10']), 'c_1100_6' : d['c_0011_3'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : d['c_0101_5'], 'c_1100_3' : d['c_0101_5'], 'c_1100_2' : d['c_0101_5'], 's_0_10' : d['1'], 'c_1100_9' : d['c_0011_4'], 'c_1100_11' : negation(d['c_1001_1']), 'c_1100_10' : d['c_0101_5'], 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0011_10']), 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0101_9']), 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : negation(d['c_0101_6']), 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : d['c_0110_5'], 'c_1010_9' : d['c_0110_5'], 'c_1010_8' : d['c_0101_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'], '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_4']), 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], '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_0101_6'], 'c_0110_10' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_3'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_9']), 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0011_3'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0011_0']), 'c_0011_10' : d['c_0011_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_3, c_0011_4, c_0101_1, c_0101_10, c_0101_3, c_0101_5, c_0101_6, c_0101_9, c_0110_5, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 1462786324454519/3716703038935*c_1001_1^17 - 11221185843990108/3716703038935*c_1001_1^16 + 6923420054758605/743340607787*c_1001_1^15 - 42298929712860263/3716703038935*c_1001_1^14 - 107308234833217452/3716703038935*c_1001_1^13 + 614233582361325259/3716703038935*c_1001_1^12 - 1391996480540274318/3716703038935*c_1001_1^11 + 1485657058149609463/3716703038935*c_1001_1^10 + 711053674907516897/3716703038935*c_1001_1^9 - 5783762579106373246/3716703038935*c_1001_1^8 + 11311853654082159801/3716703038935*c_1001_1^7 - 13024986034269315684/3716703038935*c_1001_1^6 + 9205794792523058991/3716703038935*c_1001_1^5 - 3215332129728771958/3716703038935*c_1001_1^4 - 346734877753141418/3716703038935*c_1001_1^3 + 139969833420366468/743340607787*c_1001_1^2 - 120234209011940917/3716703038935*c_1001_1 - 32438681779955987/3716703038935, c_0011_0 - 1, c_0011_10 + 6769584919723/1099972228864*c_1001_1^17 - 5383634844727/274993057216*c_1001_1^16 + 3850555102097/137496528608*c_1001_1^15 + 82827440990567/1099972228864*c_1001_1^14 - 214180526121195/549986114432*c_1001_1^13 + 853543738269959/1099972228864*c_1001_1^12 - 115975176013751/274993057216*c_1001_1^11 - 851740490787027/549986114432*c_1001_1^10 + 2523035547801965/549986114432*c_1001_1^9 - 1554373151796859/274993057216*c_1001_1^8 + 18032147934353/8593533038*c_1001_1^7 + 4579384739574493/1099972228864*c_1001_1^6 - 4004417837139709/549986114432*c_1001_1^5 + 5272636083292209/1099972228864*c_1001_1^4 - 199924466902341/274993057216*c_1001_1^3 - 786833479513795/1099972228864*c_1001_1^2 + 247285456185785/1099972228864*c_1001_1 + 46324555585467/1099972228864, c_0011_3 - 1, c_0011_4 + 509397416765/1099972228864*c_1001_1^17 - 370894837755/274993057216*c_1001_1^16 + 17410048579/8593533038*c_1001_1^15 + 6119189578009/1099972228864*c_1001_1^14 - 14881470619357/549986114432*c_1001_1^13 + 60507559348753/1099972228864*c_1001_1^12 - 8541587283783/274993057216*c_1001_1^11 - 55759255522329/549986114432*c_1001_1^10 + 173533783559127/549986114432*c_1001_1^9 - 111589820776847/274993057216*c_1001_1^8 + 26898462491397/137496528608*c_1001_1^7 + 244253312502995/1099972228864*c_1001_1^6 - 260510256586899/549986114432*c_1001_1^5 + 417117946238887/1099972228864*c_1001_1^4 - 37732931905049/274993057216*c_1001_1^3 + 9450652432531/1099972228864*c_1001_1^2 + 3700371846575/1099972228864*c_1001_1 - 986652958459/1099972228864, c_0101_1 - 1230361720553/549986114432*c_1001_1^17 + 957229407713/137496528608*c_1001_1^16 - 670842391989/68748264304*c_1001_1^15 - 15333333354413/549986114432*c_1001_1^14 + 38352402222025/274993057216*c_1001_1^13 - 150311512347901/549986114432*c_1001_1^12 + 18961357563561/137496528608*c_1001_1^11 + 155904736149225/274993057216*c_1001_1^10 - 447782130417303/274993057216*c_1001_1^9 + 269450760618557/137496528608*c_1001_1^8 - 22819239665793/34374132152*c_1001_1^7 - 840730881805855/549986114432*c_1001_1^6 + 701267140158559/274993057216*c_1001_1^5 - 888577730474955/549986114432*c_1001_1^4 + 27262758796195/137496528608*c_1001_1^3 + 146062999307137/549986114432*c_1001_1^2 - 42725060127427/549986114432*c_1001_1 - 7725734122633/549986114432, c_0101_10 + 1393220342681/274993057216*c_1001_1^17 - 555692753335/34374132152*c_1001_1^16 + 1588601492691/68748264304*c_1001_1^15 + 17035047912825/274993057216*c_1001_1^14 - 44185825151129/137496528608*c_1001_1^13 + 176103763270421/274993057216*c_1001_1^12 - 5998509547229/17187066076*c_1001_1^11 - 175675949926187/137496528608*c_1001_1^10 + 520597862532541/137496528608*c_1001_1^9 - 160424746457227/34374132152*c_1001_1^8 + 119021088432649/68748264304*c_1001_1^7 + 945909130136315/274993057216*c_1001_1^6 - 826940468845915/137496528608*c_1001_1^5 + 1087794290277067/274993057216*c_1001_1^4 - 20459741560627/34374132152*c_1001_1^3 - 163531717542037/274993057216*c_1001_1^2 + 51473891477867/274993057216*c_1001_1 + 9649743912421/274993057216, c_0101_3 - 64250309123/34374132152*c_1001_1^17 + 24597962057/4296766519*c_1001_1^16 - 67923531527/8593533038*c_1001_1^15 - 812862512011/34374132152*c_1001_1^14 + 1980721730499/17187066076*c_1001_1^13 - 7670147710631/34374132152*c_1001_1^12 + 452241812891/4296766519*c_1001_1^11 + 8185128628933/17187066076*c_1001_1^10 - 22974305059459/17187066076*c_1001_1^9 + 6771040023510/4296766519*c_1001_1^8 - 4227734658097/8593533038*c_1001_1^7 - 44160554263777/34374132152*c_1001_1^6 + 35383484368129/17187066076*c_1001_1^5 - 43362255206921/34374132152*c_1001_1^4 + 546265979014/4296766519*c_1001_1^3 + 7198173591823/34374132152*c_1001_1^2 - 1801110106745/34374132152*c_1001_1 - 410458730311/34374132152, c_0101_5 - 46635774901/274993057216*c_1001_1^17 + 3724430470/4296766519*c_1001_1^16 - 102584448745/68748264304*c_1001_1^15 - 364436261901/274993057216*c_1001_1^14 + 2126144009141/137496528608*c_1001_1^13 - 10292077200785/274993057216*c_1001_1^12 + 1259020602341/34374132152*c_1001_1^11 + 6209859262339/137496528608*c_1001_1^10 - 28325078788789/137496528608*c_1001_1^9 + 1367840200547/4296766519*c_1001_1^8 - 13406318400911/68748264304*c_1001_1^7 - 37844190954023/274993057216*c_1001_1^6 + 53649083098311/137496528608*c_1001_1^5 - 88584140472063/274993057216*c_1001_1^4 + 1495008020173/17187066076*c_1001_1^3 + 10017301230217/274993057216*c_1001_1^2 - 5273289476463/274993057216*c_1001_1 - 745966029673/274993057216, c_0101_6 - 1248128342403/274993057216*c_1001_1^17 + 497922972653/34374132152*c_1001_1^16 - 1425559840993/68748264304*c_1001_1^15 - 15263105901603/274993057216*c_1001_1^14 + 39595199598403/137496528608*c_1001_1^13 - 157931402671255/274993057216*c_1001_1^12 + 5381570839847/17187066076*c_1001_1^11 + 157463533090409/137496528608*c_1001_1^10 - 466923028412143/137496528608*c_1001_1^9 + 143874806362569/34374132152*c_1001_1^8 - 106599765681987/68748264304*c_1001_1^7 - 850340601705433/274993057216*c_1001_1^6 + 742547008120313/137496528608*c_1001_1^5 - 974963571057929/274993057216*c_1001_1^4 + 17946568416329/34374132152*c_1001_1^3 + 149080570783575/274993057216*c_1001_1^2 - 46386938732265/274993057216*c_1001_1 - 8857142107847/274993057216, c_0101_9 - 5743880119743/1099972228864*c_1001_1^17 + 4481723553069/274993057216*c_1001_1^16 - 1571661726489/68748264304*c_1001_1^15 - 71547140913251/1099972228864*c_1001_1^14 + 179470979672895/549986114432*c_1001_1^13 - 703998173615803/1099972228864*c_1001_1^12 + 89111450028665/274993057216*c_1001_1^11 + 729518357099611/549986114432*c_1001_1^10 - 2097588344808245/549986114432*c_1001_1^9 + 1262734054692505/274993057216*c_1001_1^8 - 213531896509153/137496528608*c_1001_1^7 - 3950154748526817/1099972228864*c_1001_1^6 + 3292044582132097/549986114432*c_1001_1^5 - 4160814782056333/1099972228864*c_1001_1^4 + 123034238018815/274993057216*c_1001_1^3 + 700115893799327/1099972228864*c_1001_1^2 - 201023250412037/1099972228864*c_1001_1 - 38298118715911/1099972228864, c_0110_5 - 7912123035387/1099972228864*c_1001_1^17 + 6331724389167/274993057216*c_1001_1^16 - 4537005274405/137496528608*c_1001_1^15 - 96503467279063/1099972228864*c_1001_1^14 + 251478388747579/549986114432*c_1001_1^13 - 1004484452451543/1099972228864*c_1001_1^12 + 138129900361247/274993057216*c_1001_1^11 + 996892362120755/549986114432*c_1001_1^10 - 2966289983761485/549986114432*c_1001_1^9 + 1833665858988051/274993057216*c_1001_1^8 - 85962838840561/34374132152*c_1001_1^7 - 5364095856455533/1099972228864*c_1001_1^6 + 4718616177776525/549986114432*c_1001_1^5 - 6236210428090273/1099972228864*c_1001_1^4 + 240765093981133/274993057216*c_1001_1^3 + 922585198710707/1099972228864*c_1001_1^2 - 292860206095593/1099972228864*c_1001_1 - 54300933073771/1099972228864, c_1001_1^18 - 3*c_1001_1^17 + 4*c_1001_1^16 + 13*c_1001_1^15 - 61*c_1001_1^14 + 115*c_1001_1^13 - 47*c_1001_1^12 - 262*c_1001_1^11 + 700*c_1001_1^10 - 790*c_1001_1^9 + 188*c_1001_1^8 + 727*c_1001_1^7 - 1063*c_1001_1^6 + 581*c_1001_1^5 + 7*c_1001_1^4 - 133*c_1001_1^3 + 18*c_1001_1^2 + 12*c_1001_1 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.140 Total time: 0.350 seconds, Total memory usage: 32.09MB