Magma V2.19-8 Tue Aug 20 2013 16:16:55 on localhost [Seed = 1141233819] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1177 geometric_solution 5.05146789 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 2 0 0132 1302 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 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 0 0 0 0.638837721732 0.509048231309 0 3 4 2 0132 0132 0132 2310 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.450728730134 1.118959621384 1 4 3 0 3201 1023 1023 0132 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 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.450728730134 1.118959621384 3 1 2 3 3201 0132 1023 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.556250487741 0.577396221474 2 5 5 1 1023 0132 3201 0132 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 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.072134537758 0.427699935387 4 4 6 6 2310 0132 2310 0132 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 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3.317576424017 1.528280874363 6 5 5 6 3201 3201 0132 2310 0 0 0 0 0 -1 0 1 -1 0 0 1 -1 0 0 1 -1 0 1 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 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.511092066369 0.112061013697 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : negation(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_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_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_2'], '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_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_0']), 'c_1010_0' : d['c_0011_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_6, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 94362657653669739162932369923/5649196689406819860239791360*c_0101_5\ ^16 + 385644313961825534491901087361/5649196689406819860239791360*c\ _0101_5^15 - 392653393552918244049290527749/14122991723517049650599\ 47840*c_0101_5^14 - 419049400236900796493007524133/5649196689406819\ 860239791360*c_0101_5^13 - 4943681602760285948212623776719/56491966\ 89406819860239791360*c_0101_5^12 + 25612202336544832818888295913979/5649196689406819860239791360*c_010\ 1_5^11 + 12976732232893041002684540408243/5649196689406819860239791\ 360*c_0101_5^10 - 93415170588763931344000707542881/5649196689406819\ 860239791360*c_0101_5^9 - 3005083424923492268894089603901/564919668\ 940681986023979136*c_0101_5^8 + 158621501235017271041101441903313/5\ 649196689406819860239791360*c_0101_5^7 + 7531505528460695716872513769671/1412299172351704965059947840*c_0101\ _5^6 - 37646684362983994398256509834437/141229917235170496505994784\ 0*c_0101_5^5 + 4424661195587991019253699810121/56491966894068198602\ 39791360*c_0101_5^4 + 22899987254579706832428980180073/141229917235\ 1704965059947840*c_0101_5^3 - 1489998982163034152508673240401/28245\ 98344703409930119895680*c_0101_5^2 - 9531004065980523283882672554479/2824598344703409930119895680*c_0101\ _5 + 234807246502818023346582937641/1129839337881363972047958272, c_0011_0 - 1, c_0011_2 + 1642682569071692816016079/4413434913599078015812337*c_0101_5\ ^16 + 6777107744261714981655310/4413434913599078015812337*c_0101_5^\ 15 - 27163581783766551814837648/4413434913599078015812337*c_0101_5^\ 14 - 8658560526792791919937463/4413434913599078015812337*c_0101_5^1\ 3 - 84862516394890204155535789/4413434913599078015812337*c_0101_5^1\ 2 + 442174951132413431063085407/4413434913599078015812337*c_0101_5^\ 11 + 247945716912951096212276804/4413434913599078015812337*c_0101_5\ ^10 - 1641566770547592208109146808/4413434913599078015812337*c_0101\ _5^9 - 586380063999065011651933350/4413434913599078015812337*c_0101\ _5^8 + 2818444060342038092238458457/4413434913599078015812337*c_010\ 1_5^7 + 619617498754380773846309339/4413434913599078015812337*c_010\ 1_5^6 - 2716578635180492608804494136/4413434913599078015812337*c_01\ 01_5^5 + 9498772684447750217262743/4413434913599078015812337*c_0101\ _5^4 + 1688876727030915254479001680/4413434913599078015812337*c_010\ 1_5^3 - 43574890014622080596008961/4413434913599078015812337*c_0101\ _5^2 - 369208008259578955976165303/4413434913599078015812337*c_0101\ _5 + 27206804485250972208326423/4413434913599078015812337, c_0011_6 - 3101266914945435917829611/8826869827198156031624674*c_0101_5\ ^16 - 12703707342491135314102667/8826869827198156031624674*c_0101_5\ ^15 + 25804363986393187824804019/4413434913599078015812337*c_0101_5\ ^14 + 14673575013327836610793601/8826869827198156031624674*c_0101_5\ ^13 + 160663490900449305342315809/8826869827198156031624674*c_0101_\ 5^12 - 839990546291751349142687055/8826869827198156031624674*c_0101\ _5^11 - 440661403063457428031898399/8826869827198156031624674*c_010\ 1_5^10 + 3097890589131616558947460675/8826869827198156031624674*c_0\ 101_5^9 + 510173691912042249939537953/4413434913599078015812337*c_0\ 101_5^8 - 5307496640950093448592246051/8826869827198156031624674*c_\ 0101_5^7 - 519204709920188383574637842/4413434913599078015812337*c_\ 0101_5^6 + 2550961627626025133403386280/4413434913599078015812337*c\ _0101_5^5 - 122352825476898980475691635/8826869827198156031624674*c\ _0101_5^4 - 1571002956106179518965822661/4413434913599078015812337*\ c_0101_5^3 + 63206220578100143361178391/4413434913599078015812337*c\ _0101_5^2 + 342002018231429289928207763/4413434913599078015812337*c\ _0101_5 - 50912624697971932906625603/8826869827198156031624674, c_0101_0 + 1025566131407996553077609/4413434913599078015812337*c_0101_5\ ^16 + 4077014300741643217729276/4413434913599078015812337*c_0101_5^\ 15 - 17448897210371143454786784/4413434913599078015812337*c_0101_5^\ 14 - 2369424660239705955468446/4413434913599078015812337*c_0101_5^1\ 3 - 54936493741309515484852878/4413434913599078015812337*c_0101_5^1\ 2 + 285489296619158348034733349/4413434913599078015812337*c_0101_5^\ 11 + 104307326263132510446791024/4413434913599078015812337*c_0101_5\ ^10 - 1002040009889091100932073108/4413434913599078015812337*c_0101\ _5^9 - 227030753497631063249858320/4413434913599078015812337*c_0101\ _5^8 + 1686234400853289102116185043/4413434913599078015812337*c_010\ 1_5^7 + 173838402809215080838115378/4413434913599078015812337*c_010\ 1_5^6 - 1564381409346675900076717078/4413434913599078015812337*c_01\ 01_5^5 + 159951780153913890966745843/4413434913599078015812337*c_01\ 01_5^4 + 919080603450335958417752668/4413434913599078015812337*c_01\ 01_5^3 - 68874715041056336709358221/4413434913599078015812337*c_010\ 1_5^2 - 182986949902543547278017544/4413434913599078015812337*c_010\ 1_5 + 13042326155673464152737677/4413434913599078015812337, c_0101_1 - 537772542157631097907072/4413434913599078015812337*c_0101_5^\ 16 - 2045809219933395941511436/4413434913599078015812337*c_0101_5^1\ 5 + 9491035199497680897356609/4413434913599078015812337*c_0101_5^14 - 386873858377681278507589/4413434913599078015812337*c_0101_5^13 + 29143727676804361741473743/4413434913599078015812337*c_0101_5^12 - 155146588018297269042871232/4413434913599078015812337*c_0101_5^11 - 27737323667128987616400571/4413434913599078015812337*c_0101_5^10 + 525991558315159837394724803/4413434913599078015812337*c_0101_5^9 + 35914283872834288356668886/4413434913599078015812337*c_0101_5^8 - 878424837282946040743338761/4413434913599078015812337*c_0101_5^7 + 35024141193746971623888904/4413434913599078015812337*c_0101_5^6 + 795825277042680766875095830/4413434913599078015812337*c_0101_5^5 - 185757882366136979083407269/4413434913599078015812337*c_0101_5^4 - 440836364394769114617338539/4413434913599078015812337*c_0101_5^3 + 84275970286946661140800345/4413434913599078015812337*c_0101_5^2 + 88988938000833571197788967/4413434913599078015812337*c_0101_5 - 10839850598391187515571477/4413434913599078015812337, c_0101_3 + 482004355315027191115058/4413434913599078015812337*c_0101_5^\ 16 + 1854318320695204679587532/4413434913599078015812337*c_0101_5^1\ 5 - 8457910706331512569381591/4413434913599078015812337*c_0101_5^14 - 106599344731450596548517/4413434913599078015812337*c_0101_5^13 - 25492810264285257063950588/4413434913599078015812337*c_0101_5^12 + 137492114749466848953173247/4413434913599078015812337*c_0101_5^11 + 32620311514874246940118325/4413434913599078015812337*c_0101_5^10 - 480568755339666184628530551/4413434913599078015812337*c_0101_5^9 - 46952098394313730116743103/4413434913599078015812337*c_0101_5^8 + 813998716518070849326308456/4413434913599078015812337*c_0101_5^7 - 15121851056358902573647124/4413434913599078015812337*c_0101_5^6 - 754541758979617038467584059/4413434913599078015812337*c_0101_5^5 + 159063239361775777411301750/4413434913599078015812337*c_0101_5^4 + 425873739783053634284125802/4413434913599078015812337*c_0101_5^3 - 80453378348119605429652106/4413434913599078015812337*c_0101_5^2 - 83714047468765190925484521/4413434913599078015812337*c_0101_5 + 10791401722716626425279937/4413434913599078015812337, c_0101_5^17 + 4*c_0101_5^16 - 17*c_0101_5^15 - 3*c_0101_5^14 - 52*c_0101_5^13 + 276*c_0101_5^12 + 114*c_0101_5^11 - 1002*c_0101_5^10 - 233*c_0101_5^9 + 1709*c_0101_5^8 + 175*c_0101_5^7 - 1624*c_0101_5^6 + 183*c_0101_5^5 + 967*c_0101_5^4 - 114*c_0101_5^3 - 200*c_0101_5^2 + 29*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB