Magma V2.19-8 Tue Aug 20 2013 23:38:12 on localhost [Seed = 3381636587] Type ? for help. Type -D to quit. Loading file "K10n2__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K10n2 geometric_solution 9.25055626 oriented_manifold CS_known 0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 10 1 2 3 2 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 1 0 -1 0 0 0 0 1 1 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.383949845305 0.653065683862 0 4 6 5 0132 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 0 0 0 0 0 0 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.545239958066 0.689172613854 0 0 8 7 3012 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 -1 1 0 1 0 0 -1 0 0 0 0 2 -1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.764318286799 0.810242544138 9 8 6 0 0132 1230 3120 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 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.849184346580 1.323684949903 6 1 7 5 0321 0132 2103 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.796853048230 0.598133295602 4 8 1 9 3201 2103 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.111100426247 0.515242191550 4 9 3 1 0321 0213 3120 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 -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.661852833975 1.576686479882 4 8 2 9 2103 1023 0132 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 -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 0 0 0 0.269328775847 0.501229791368 7 5 3 2 1023 2103 3012 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 -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.158006209339 1.163514770948 3 7 6 5 0132 0321 0213 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.217083469765 0.512045855040 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_0011_7'], 'c_1001_4' : d['c_0011_7'], 'c_1001_7' : d['c_0101_8'], 'c_1001_6' : negation(d['c_1001_3']), 'c_1001_1' : negation(d['c_0110_5']), 'c_1001_0' : d['c_0101_8'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0101_2'], 'c_1001_9' : negation(d['c_1001_3']), 'c_1001_8' : negation(d['c_0011_3']), 's_2_8' : d['1'], 's_2_9' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(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_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : negation(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_0110_5']), 'c_1100_8' : negation(d['c_1001_3']), 'c_1100_5' : negation(d['c_0101_3']), 'c_1100_4' : negation(d['c_0011_3']), 'c_1100_7' : negation(d['c_1001_3']), 'c_1100_6' : negation(d['c_0101_3']), 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : d['c_0101_4'], 'c_1100_3' : d['c_0101_4'], 'c_1100_2' : negation(d['c_1001_3']), 'c_1010_7' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0110_5']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : d['c_0101_8'], 'c_1010_2' : d['c_0101_8'], 'c_1010_1' : d['c_0011_7'], 'c_1010_0' : d['c_0101_2'], 'c_1010_9' : d['c_0101_2'], 'c_1010_8' : d['c_0101_2'], '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' : negation(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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(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' : d['c_0011_7'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_6'], '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_0101_7' : d['c_0101_4'], 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0011_6'], 'c_0101_9' : d['c_0011_6'], 'c_0101_8' : d['c_0101_8'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0011_6'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0110_3' : d['c_0011_6'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_7' : d['c_0011_3'], 'c_0110_6' : negation(d['c_0011_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_6, c_0011_7, c_0101_2, c_0101_3, c_0101_4, c_0101_8, c_0110_5, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 5229490612417323/510714257820728*c_1001_3^15 - 2745792468416585/255357128910364*c_1001_3^14 - 3919322524458550/63839282227591*c_1001_3^13 - 3463570547072239/510714257820728*c_1001_3^12 + 64511349340071131/510714257820728*c_1001_3^11 + 16334220340446611/127678564455182*c_1001_3^10 + 14900070358571185/63839282227591*c_1001_3^9 + 110405795751317137/510714257820728*c_1001_3^8 - 93264227444693179/127678564455182*c_1001_3^7 - 882927279271958205/510714257820728*c_1001_3^6 - 3390874361194326/4910714017507*c_1001_3^5 + 781465543941811543/510714257820728*c_1001_3^4 + 132715345391533158/63839282227591*c_1001_3^3 + 214385667670429419/255357128910364*c_1001_3^2 - 1379127723588787/16474653478088*c_1001_3 - 64653474304864069/510714257820728, c_0011_0 - 1, c_0011_3 + 746030953/1234157833*c_1001_3^15 - 1394606507/1234157833*c_1001_3^14 - 3451133165/1234157833*c_1001_3^13 + 2718433333/1234157833*c_1001_3^12 + 7249063906/1234157833*c_1001_3^11 + 2265398382/1234157833*c_1001_3^10 + 14447579912/1234157833*c_1001_3^9 + 4740128054/1234157833*c_1001_3^8 - 59108434489/1234157833*c_1001_3^7 - 74845697442/1234157833*c_1001_3^6 + 22325659632/1234157833*c_1001_3^5 + 95229461537/1234157833*c_1001_3^4 + 56512967641/1234157833*c_1001_3^3 + 2323387853/1234157833*c_1001_3^2 - 112999880/39811543*c_1001_3 + 1077871715/1234157833, c_0011_6 + 214416409/2468315666*c_1001_3^15 - 456920968/1234157833*c_1001_3^14 + 268961619/1234157833*c_1001_3^13 + 1959324157/2468315666*c_1001_3^12 - 2165676091/2468315666*c_1001_3^11 - 767120855/1234157833*c_1001_3^10 + 3639948434/1234157833*c_1001_3^9 - 8741014201/2468315666*c_1001_3^8 - 4313338393/1234157833*c_1001_3^7 + 20991190423/2468315666*c_1001_3^6 + 6197586763/1234157833*c_1001_3^5 - 30788159697/2468315666*c_1001_3^4 - 9176690185/1234157833*c_1001_3^3 + 9262095046/1234157833*c_1001_3^2 + 538747103/79623086*c_1001_3 - 1350847479/2468315666, c_0011_7 + 602100037/2468315666*c_1001_3^15 - 279181118/1234157833*c_1001_3^14 - 2142291299/1234157833*c_1001_3^13 + 770935079/2468315666*c_1001_3^12 + 8989753875/2468315666*c_1001_3^11 + 2237228576/1234157833*c_1001_3^10 + 5834868774/1234157833*c_1001_3^9 + 15743576385/2468315666*c_1001_3^8 - 26781368822/1234157833*c_1001_3^7 - 100528526251/2468315666*c_1001_3^6 - 3069992832/1234157833*c_1001_3^5 + 106096442661/2468315666*c_1001_3^4 + 44219296171/1234157833*c_1001_3^3 + 9588926274/1234157833*c_1001_3^2 - 74407875/79623086*c_1001_3 - 1819185091/2468315666, c_0101_2 + 683811415/2468315666*c_1001_3^15 - 639843851/1234157833*c_1001_3^14 - 1575567129/1234157833*c_1001_3^13 + 2289575935/2468315666*c_1001_3^12 + 7097330705/2468315666*c_1001_3^11 + 1213108194/1234157833*c_1001_3^10 + 6208967028/1234157833*c_1001_3^9 + 4246748075/2468315666*c_1001_3^8 - 26996211370/1234157833*c_1001_3^7 - 73253446965/2468315666*c_1001_3^6 + 10699326957/1234157833*c_1001_3^5 + 94913064841/2468315666*c_1001_3^4 + 27556964676/1234157833*c_1001_3^3 - 531674911/1234157833*c_1001_3^2 - 149557321/79623086*c_1001_3 + 1742503445/2468315666, c_0101_3 + 470939251/2468315666*c_1001_3^15 - 172386481/1234157833*c_1001_3^14 - 1579445663/1234157833*c_1001_3^13 - 957609585/2468315666*c_1001_3^12 + 7028469847/2468315666*c_1001_3^11 + 3337334648/1234157833*c_1001_3^10 + 4771078962/1234157833*c_1001_3^9 + 13518394235/2468315666*c_1001_3^8 - 16299337358/1234157833*c_1001_3^7 - 92773448101/2468315666*c_1001_3^6 - 17846638922/1234157833*c_1001_3^5 + 85081710085/2468315666*c_1001_3^4 + 49713994979/1234157833*c_1001_3^3 + 14052169410/1234157833*c_1001_3^2 - 130130775/79623086*c_1001_3 + 2004288897/2468315666, c_0101_4 - 80624253/1234157833*c_1001_3^15 - 2015027/1234157833*c_1001_3^14 + 694664972/1234157833*c_1001_3^13 + 332617474/1234157833*c_1001_3^12 - 1537601889/1234157833*c_1001_3^11 - 1287951821/1234157833*c_1001_3^10 - 1960327899/1234157833*c_1001_3^9 - 3756804904/1234157833*c_1001_3^8 + 6414849540/1234157833*c_1001_3^7 + 20124085521/1234157833*c_1001_3^6 + 9045579116/1234157833*c_1001_3^5 - 14480915491/1234157833*c_1001_3^4 - 22335700382/1234157833*c_1001_3^3 - 10447812017/1234157833*c_1001_3^2 - 75695364/39811543*c_1001_3 - 822309096/1234157833, c_0101_8 - 574488491/2468315666*c_1001_3^15 + 608730211/1234157833*c_1001_3^14 + 1179622271/1234157833*c_1001_3^13 - 2672657139/2468315666*c_1001_3^12 - 4886792867/2468315666*c_1001_3^11 - 273613170/1234157833*c_1001_3^10 - 5866917531/1234157833*c_1001_3^9 - 540903695/2468315666*c_1001_3^8 + 23288383039/1234157833*c_1001_3^7 + 46687762239/2468315666*c_1001_3^6 - 12850415436/1234157833*c_1001_3^5 - 62323043577/2468315666*c_1001_3^4 - 16919869728/1234157833*c_1001_3^3 - 1740568317/1234157833*c_1001_3^2 - 60505385/79623086*c_1001_3 - 1534893891/2468315666, c_0110_5 + 25147476/1234157833*c_1001_3^15 - 286595540/1234157833*c_1001_3^14 + 581340324/1234157833*c_1001_3^13 + 551610488/1234157833*c_1001_3^12 - 1348488397/1234157833*c_1001_3^11 - 791423326/1234157833*c_1001_3^10 + 1283957480/1234157833*c_1001_3^9 - 4714160556/1234157833*c_1001_3^8 + 1438594849/1234157833*c_1001_3^7 + 14052260422/1234157833*c_1001_3^6 + 5457998452/1234157833*c_1001_3^5 - 16381065112/1234157833*c_1001_3^4 - 12243353612/1234157833*c_1001_3^3 + 4811775331/1234157833*c_1001_3^2 + 197257611/39811543*c_1001_3 - 332879966/1234157833, c_1001_3^16 - c_1001_3^15 - 6*c_1001_3^14 - c_1001_3^13 + 12*c_1001_3^12 + 13*c_1001_3^11 + 24*c_1001_3^10 + 23*c_1001_3^9 - 69*c_1001_3^8 - 171*c_1001_3^7 - 79*c_1001_3^6 + 137*c_1001_3^5 + 205*c_1001_3^4 + 98*c_1001_3^3 + 7*c_1001_3^2 - 6*c_1001_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB