Magma V2.19-8 Tue Aug 20 2013 16:18:04 on localhost [Seed = 408519889] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2303 geometric_solution 5.70477287 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 1 0132 0132 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 -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.745024845196 0.956546929018 0 4 0 5 0132 0132 1230 0132 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 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.671482523959 0.354300873258 5 0 6 6 3012 0132 2310 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 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 0 0 0 0.925974598176 1.530015548875 5 5 4 0 0132 2103 3120 0132 0 0 0 0 0 1 0 -1 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 -1 0 1 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.316370841709 0.418826554862 4 1 3 4 3012 0132 3120 1230 0 0 0 0 0 0 -1 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 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.835076882525 0.614659746268 3 3 1 2 0132 2103 0132 1230 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 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.903043306925 0.977128755676 6 2 2 6 3201 3201 0132 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 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.651411081351 0.367181774015 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(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_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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0101_1'], 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : negation(d['c_0101_4']), 'c_1100_3' : negation(d['c_0101_4']), 'c_1100_2' : d['c_0011_6'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_0'], '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_1001_5' : d['c_0011_3'], 'c_1001_4' : d['c_0011_3'], 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0101_1']), '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_0101_1'], 'c_0110_5' : negation(d['c_0011_0']), 'c_0110_4' : d['c_0011_0'], 'c_0110_6' : negation(d['c_0101_1']), 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_6, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 31695397464163/7429204919286*c_0101_4^19 - 3505803900413/7429204919286*c_0101_4^18 - 141602052509597/2476401639762*c_0101_4^17 + 1023252628246129/59433639354288*c_0101_4^16 + 9664962626213977/29716819677144*c_0101_4^15 - 8967467170732003/59433639354288*c_0101_4^14 - 3443716770503073/3301868853016*c_0101_4^13 + 9094275225208967/14858409838572*c_0101_4^12 + 125898717073507757/59433639354288*c_0101_4^11 - 7029832573105207/4952803279524*c_0101_4^10 - 57526162801397009/19811213118096*c_0101_4^9 + 124444724567602019/59433639354288*c_0101_4^8 + 54406730597841899/19811213118096*c_0101_4^7 - 62235295204008605/29716819677144*c_0101_4^6 - 6359754070903267/3714602459643*c_0101_4^5 + 28534256622296995/19811213118096*c_0101_4^4 + 34753741962904271/59433639354288*c_0101_4^3 - 508181682989911/825467213254*c_0101_4^2 - 828071512453583/14858409838572*c_0101_4 + 825778783082195/7429204919286, c_0011_0 - 1, c_0011_3 - c_0101_4^2 + 1, c_0011_6 + 919019672695/1650934426508*c_0101_4^19 + 835933625051/3301868853016*c_0101_4^18 - 45369279162191/6603737706032*c_0101_4^17 - 6742077495065/3301868853016*c_0101_4^16 + 235164576426781/6603737706032*c_0101_4^15 + 2360097613153/412733606627*c_0101_4^14 - 343465588388853/3301868853016*c_0101_4^13 - 46037610821419/6603737706032*c_0101_4^12 + 160132314672247/825467213254*c_0101_4^11 + 30998960477463/6603737706032*c_0101_4^10 - 1615384643115957/6603737706032*c_0101_4^9 - 26633996434557/6603737706032*c_0101_4^8 + 86281129172247/412733606627*c_0101_4^7 + 3435055933219/3301868853016*c_0101_4^6 - 761225270498821/6603737706032*c_0101_4^5 + 29031545552297/6603737706032*c_0101_4^4 + 122194611923669/3301868853016*c_0101_4^3 - 599552779269/412733606627*c_0101_4^2 - 2387714630250/412733606627*c_0101_4 - 513945762303/412733606627, c_0101_0 - 252750712245/825467213254*c_0101_4^19 - 143012255643/1650934426508*c_0101_4^18 + 12114690923795/3301868853016*c_0101_4^17 + 162707273151/3301868853016*c_0101_4^16 - 61367973219515/3301868853016*c_0101_4^15 + 14636543842509/3301868853016*c_0101_4^14 + 43909156701855/825467213254*c_0101_4^13 - 77323079316353/3301868853016*c_0101_4^12 - 318577882860843/3301868853016*c_0101_4^11 + 189940486552409/3301868853016*c_0101_4^10 + 194196608425061/1650934426508*c_0101_4^9 - 35725212736893/412733606627*c_0101_4^8 - 322199758757583/3301868853016*c_0101_4^7 + 36355036089901/412733606627*c_0101_4^6 + 171431691098301/3301868853016*c_0101_4^5 - 24523002995739/412733606627*c_0101_4^4 - 47242784743687/3301868853016*c_0101_4^3 + 9224407353748/412733606627*c_0101_4^2 + 268509508817/825467213254*c_0101_4 - 1318220065091/412733606627, c_0101_1 - 210507900347/1650934426508*c_0101_4^19 - 2665831576803/3301868853016*c_0101_4^18 + 6578578012751/6603737706032*c_0101_4^17 + 15083267793701/1650934426508*c_0101_4^16 - 23221540122453/6603737706032*c_0101_4^15 - 144872840014051/3301868853016*c_0101_4^14 + 34255256316549/3301868853016*c_0101_4^13 + 797458767219091/6603737706032*c_0101_4^12 - 84002377538923/3301868853016*c_0101_4^11 - 1412424787412323/6603737706032*c_0101_4^10 + 268770730496063/6603737706032*c_0101_4^9 + 1692475143570495/6603737706032*c_0101_4^8 - 139555998274161/3301868853016*c_0101_4^7 - 684799975940951/3301868853016*c_0101_4^6 + 229201188429797/6603737706032*c_0101_4^5 + 702287148806617/6603737706032*c_0101_4^4 - 9644948838867/412733606627*c_0101_4^3 - 50042325169947/1650934426508*c_0101_4^2 + 6035448786475/825467213254*c_0101_4 + 1733163262718/412733606627, c_0101_2 + 94958108203/825467213254*c_0101_4^19 + 343605255765/1650934426508*c_0101_4^18 - 3978709319741/3301868853016*c_0101_4^17 - 7452987459465/3301868853016*c_0101_4^16 + 17325641469013/3301868853016*c_0101_4^15 + 35430878328749/3301868853016*c_0101_4^14 - 10687354991625/825467213254*c_0101_4^13 - 102336200462041/3301868853016*c_0101_4^12 + 67339839204269/3301868853016*c_0101_4^11 + 200481688991273/3301868853016*c_0101_4^10 - 34939029080995/1650934426508*c_0101_4^9 - 33917839266358/412733606627*c_0101_4^8 + 43855134600753/3301868853016*c_0101_4^7 + 31083129377902/412733606627*c_0101_4^6 - 12034007616395/3301868853016*c_0101_4^5 - 18592054821448/412733606627*c_0101_4^4 + 5423229050521/3301868853016*c_0101_4^3 + 6764806415247/412733606627*c_0101_4^2 - 1701055749581/825467213254*c_0101_4 - 1098743151887/412733606627, c_0101_4^20 + 1/2*c_0101_4^19 - 53/4*c_0101_4^18 - 4*c_0101_4^17 + 303/4*c_0101_4^16 + 19/2*c_0101_4^15 - 499/2*c_0101_4^14 + 7/4*c_0101_4^13 + 1063/2*c_0101_4^12 - 191/4*c_0101_4^11 - 3105/4*c_0101_4^10 + 415/4*c_0101_4^9 + 1589/2*c_0101_4^8 - 259/2*c_0101_4^7 - 2239/4*c_0101_4^6 + 457/4*c_0101_4^5 + 253*c_0101_4^4 - 65*c_0101_4^3 - 64*c_0101_4^2 + 16*c_0101_4 + 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB