Magma V2.19-8 Tue Aug 20 2013 16:19:01 on localhost [Seed = 1242289954] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3170 geometric_solution 6.31894072 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 1 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.567050944619 0.565925143574 0 5 5 6 0132 0132 1230 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 0.026023352595 0.548414948531 3 0 4 4 2103 0132 1230 2031 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 0 0 0 1 0 0 -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.622110322148 1.232393358016 6 5 2 0 1023 3012 2103 0132 0 0 0 0 0 0 1 -1 0 0 0 0 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 0 0 0 1 0 -1 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.426860732049 0.404389780241 5 2 0 2 2031 1302 0132 3012 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 0 0 0 0 0 0 0 0 0 0 -0.146405467270 1.302219224963 3 1 4 1 1230 0132 1302 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.622110322148 1.232393358016 6 3 1 6 3012 1023 0132 1230 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 -1 0 1 -1 0 0 1 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.410220314552 1.749458814123 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { '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_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_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' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : d['c_0101_1'], 'c_1100_4' : negation(d['c_0110_2']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : negation(d['c_0110_2']), 'c_1100_3' : negation(d['c_0110_2']), 'c_1100_2' : d['c_0101_2'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_3'], '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_1001_5' : d['c_0101_2'], 'c_1001_4' : d['c_0110_2'], 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : d['c_0011_4'], 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : d['c_0110_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0011_3'], 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0011_4'], 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : d['c_0110_2']})} 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_3, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0110_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 264648726284428476/5690467019763317*c_0110_2^15 - 1660357697637604558/5690467019763317*c_0110_2^14 - 3715558825659232759/5690467019763317*c_0110_2^13 + 906487462183438380/5690467019763317*c_0110_2^12 + 9293851367696839696/5690467019763317*c_0110_2^11 + 14380311152711574473/5690467019763317*c_0110_2^10 - 4799785713715320756/5690467019763317*c_0110_2^9 - 20754713573049197861/5690467019763317*c_0110_2^8 + 1572303898170717119/5690467019763317*c_0110_2^7 + 11296734252093121874/5690467019763317*c_0110_2^6 - 2687712618715072647/5690467019763317*c_0110_2^5 - 2353463850141592667/5690467019763317*c_0110_2^4 + 3135597541205404943/5690467019763317*c_0110_2^3 + 555978202216380048/5690467019763317*c_0110_2^2 - 79389150613420090/517315183614847*c_0110_2 - 179095638486831983/5690467019763317, c_0011_0 - 1, c_0011_3 + 61619347201520668/24313813629897809*c_0110_2^15 + 7838974620526670/517315183614847*c_0110_2^14 + 771974797923079441/24313813629897809*c_0110_2^13 - 337283748241804115/24313813629897809*c_0110_2^12 - 1815836359833813118/24313813629897809*c_0110_2^11 - 2773494138651411263/24313813629897809*c_0110_2^10 + 1460040287625004721/24313813629897809*c_0110_2^9 + 3448777888431773153/24313813629897809*c_0110_2^8 - 1492344694541800384/24313813629897809*c_0110_2^7 - 1221720307100051761/24313813629897809*c_0110_2^6 + 1099261969776903110/24313813629897809*c_0110_2^5 - 112488587450228556/24313813629897809*c_0110_2^4 - 609859757602231521/24313813629897809*c_0110_2^3 + 86205969835989953/24313813629897809*c_0110_2^2 + 26448507738410685/24313813629897809*c_0110_2 - 16980816476342016/24313813629897809, c_0011_4 + 56884679657491436/24313813629897809*c_0110_2^15 + 6806216141027918/517315183614847*c_0110_2^14 + 575064187169653297/24313813629897809*c_0110_2^13 - 668069753739328589/24313813629897809*c_0110_2^12 - 1799159691792277198/24313813629897809*c_0110_2^11 - 1934680473753480287/24313813629897809*c_0110_2^10 + 2742843133372982895/24313813629897809*c_0110_2^9 + 3584959119449446901/24313813629897809*c_0110_2^8 - 2673680222911197717/24313813629897809*c_0110_2^7 - 1560834940339191859/24313813629897809*c_0110_2^6 + 1534125849506146722/24313813629897809*c_0110_2^5 - 132716567628575649/24313813629897809*c_0110_2^4 - 672999312496821774/24313813629897809*c_0110_2^3 + 218501310072875776/24313813629897809*c_0110_2^2 + 142245479107816151/24313813629897809*c_0110_2 + 1006344479000633/24313813629897809, c_0101_0 + 145679912191360428/24313813629897809*c_0110_2^15 + 17572867921627446/517315183614847*c_0110_2^14 + 1499132139953859853/24313813629897809*c_0110_2^13 - 1697435357378362183/24313813629897809*c_0110_2^12 - 4746262880952090574/24313813629897809*c_0110_2^11 - 4922789063050614217/24313813629897809*c_0110_2^10 + 7103477631810080110/24313813629897809*c_0110_2^9 + 9623946856654921747/24313813629897809*c_0110_2^8 - 7366434304490009804/24313813629897809*c_0110_2^7 - 4830459115597929597/24313813629897809*c_0110_2^6 + 4748464881402810130/24313813629897809*c_0110_2^5 - 62881824758677237/24313813629897809*c_0110_2^4 - 2149563671536983836/24313813629897809*c_0110_2^3 + 733962022848950549/24313813629897809*c_0110_2^2 + 449012687523191270/24313813629897809*c_0110_2 - 95423905025886347/24313813629897809, c_0101_1 + 107868971457877144/24313813629897809*c_0110_2^15 + 13857138702430124/517315183614847*c_0110_2^14 + 1347599935649191170/24313813629897809*c_0110_2^13 - 759587454059347138/24313813629897809*c_0110_2^12 - 3738158184998921666/24313813629897809*c_0110_2^11 - 4842662157465142954/24313813629897809*c_0110_2^10 + 3431390077685419680/24313813629897809*c_0110_2^9 + 8094053880309717767/24313813629897809*c_0110_2^8 - 3108081082442108964/24313813629897809*c_0110_2^7 - 4398251338462814723/24313813629897809*c_0110_2^6 + 2651797927321856690/24313813629897809*c_0110_2^5 + 489179600051289045/24313813629897809*c_0110_2^4 - 1586077098540032839/24313813629897809*c_0110_2^3 + 202441070573931427/24313813629897809*c_0110_2^2 + 322805995660004449/24313813629897809*c_0110_2 - 39108335331067230/24313813629897809, c_0101_2 + 113585962546229576/24313813629897809*c_0110_2^15 + 14004352030135728/517315183614847*c_0110_2^14 + 1254277412514336740/24313813629897809*c_0110_2^13 - 1140926849953629583/24313813629897809*c_0110_2^12 - 3760976840310741089/24313813629897809*c_0110_2^11 - 4232990615444617846/24313813629897809*c_0110_2^10 + 4867870740901571640/24313813629897809*c_0110_2^9 + 7761886078903997355/24313813629897809*c_0110_2^8 - 5029637310702242988/24313813629897809*c_0110_2^7 - 4008484208227869493/24313813629897809*c_0110_2^6 + 3526828044325209550/24313813629897809*c_0110_2^5 + 97500257658099592/24313813629897809*c_0110_2^4 - 1724451292092630209/24313813629897809*c_0110_2^3 + 458809654550620419/24313813629897809*c_0110_2^2 + 355007687044948419/24313813629897809*c_0110_2 - 80019068225506180/24313813629897809, c_0110_2^16 + 13/2*c_0110_2^15 + 61/4*c_0110_2^14 - 3/2*c_0110_2^13 - 77/2*c_0110_2^12 - 61*c_0110_2^11 + 25/2*c_0110_2^10 + 369/4*c_0110_2^9 + 6*c_0110_2^8 - 231/4*c_0110_2^7 + 9/2*c_0110_2^6 + 18*c_0110_2^5 - 25/2*c_0110_2^4 - 11/2*c_0110_2^3 + 9/2*c_0110_2^2 + 5/4*c_0110_2 - 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB