Magma V2.19-8 Tue Aug 20 2013 16:16:37 on localhost [Seed = 139039953] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0915 geometric_solution 4.80895558 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 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 -1 0 1 1 0 -1 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.621590066876 0.222927888845 3 2 4 0 0132 3012 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 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.588220853339 0.350055724677 1 3 0 5 1230 3201 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.588220853339 0.350055724677 1 4 2 5 0132 1230 2310 2103 0 0 0 0 0 -1 1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.508028381625 3.194342614057 6 5 3 1 0132 1023 3012 0132 0 0 0 0 0 0 0 0 -1 0 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 -1 0 0 1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.327393412094 1.137525432473 4 6 2 3 1023 3201 0132 2103 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 -1 1 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.327393412094 1.137525432473 4 6 5 6 0132 2310 2310 3201 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 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.434365383527 0.372234535930 ==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' : negation(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_4'], 'c_1100_5' : negation(d['c_0101_1']), 'c_1100_4' : negation(d['c_0101_1']), 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_0101_1']), 'c_1100_0' : negation(d['c_0101_1']), 'c_1100_3' : d['c_0011_2'], 'c_1100_2' : negation(d['c_0101_1']), 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0011_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : d['c_0011_1'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : negation(d['c_0011_2']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : negation(d['c_0011_2']), 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0011_2']), 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_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_1, c_0011_2, c_0011_4, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 2336990266208279669547844/21151644417328039308953*c_0101_4^13 - 9205109326085276613221255/21151644417328039308953*c_0101_4^12 - 8054766999657174656153535/2226488886034530453574*c_0101_4^11 - 354916732883706587096564907/42303288834656078617906*c_0101_4^10 + 234100059916991743067406773/21151644417328039308953*c_0101_4^9 + 2412043019999406516942884058/21151644417328039308953*c_0101_4^8 + 10546014109199954781437153003/42303288834656078617906*c_0101_4^7 + 157836331408264967888067877/6043326976379439802558*c_0101_4^6 - 8425476292343688449804957898/21151644417328039308953*c_0101_4^5 - 968297434027288453420015105/21151644417328039308953*c_0101_4^4 + 1078611925804011712479289847/6043326976379439802558*c_0101_4^3 - 510888450009353167060684873/21151644417328039308953*c_0101_4^2 + 306532072814465840318978783/42303288834656078617906*c_0101_4 - 5382787456908627758008075/42303288834656078617906, c_0011_0 - 1, c_0011_1 - 171299342317828095930/3021663488189719901279*c_0101_4^13 - 647105948209809555571/3021663488189719901279*c_0101_4^12 - 288862790303043880642/159034920431037889541*c_0101_4^11 - 12057211193048004045975/3021663488189719901279*c_0101_4^10 + 19644175329916330202628/3021663488189719901279*c_0101_4^9 + 174936038287455641138290/3021663488189719901279*c_0101_4^8 + 356990257680929247646920/3021663488189719901279*c_0101_4^7 - 33570103741387498759052/3021663488189719901279*c_0101_4^6 - 650914850260703409375119/3021663488189719901279*c_0101_4^5 + 21232216945121635727617/3021663488189719901279*c_0101_4^4 + 320712061939638168235259/3021663488189719901279*c_0101_4^3 - 78322961459382999349313/3021663488189719901279*c_0101_4^2 + 8451374433675275465426/3021663488189719901279*c_0101_4 - 1592670283458311966735/3021663488189719901279, c_0011_2 - 171299342317828095930/3021663488189719901279*c_0101_4^13 - 647105948209809555571/3021663488189719901279*c_0101_4^12 - 288862790303043880642/159034920431037889541*c_0101_4^11 - 12057211193048004045975/3021663488189719901279*c_0101_4^10 + 19644175329916330202628/3021663488189719901279*c_0101_4^9 + 174936038287455641138290/3021663488189719901279*c_0101_4^8 + 356990257680929247646920/3021663488189719901279*c_0101_4^7 - 33570103741387498759052/3021663488189719901279*c_0101_4^6 - 650914850260703409375119/3021663488189719901279*c_0101_4^5 + 21232216945121635727617/3021663488189719901279*c_0101_4^4 + 320712061939638168235259/3021663488189719901279*c_0101_4^3 - 78322961459382999349313/3021663488189719901279*c_0101_4^2 + 8451374433675275465426/3021663488189719901279*c_0101_4 - 1592670283458311966735/3021663488189719901279, c_0011_4 - 133779686989465940233/3021663488189719901279*c_0101_4^13 - 513184705274405877893/3021663488189719901279*c_0101_4^12 - 227501249523801108430/159034920431037889541*c_0101_4^11 - 9695565424677354986917/3021663488189719901279*c_0101_4^10 + 14557833694907538433601/3021663488189719901279*c_0101_4^9 + 136914395088611811040927/3021663488189719901279*c_0101_4^8 + 287148177663939798051781/3021663488189719901279*c_0101_4^7 - 2984392921923753664290/3021663488189719901279*c_0101_4^6 - 491885527851174951284700/3021663488189719901279*c_0101_4^5 - 2573961071588639163070/3021663488189719901279*c_0101_4^4 + 235140897029547779943102/3021663488189719901279*c_0101_4^3 - 57330679785016846382602/3021663488189719901279*c_0101_4^2 + 6170235008541434885212/3021663488189719901279*c_0101_4 - 985425502002384378132/3021663488189719901279, c_0101_0 + 459782812364200833814/3021663488189719901279*c_0101_4^13 + 1925876098171424723883/3021663488189719901279*c_0101_4^12 + 816121806849676461680/159034920431037889541*c_0101_4^11 + 38670278790751540335651/3021663488189719901279*c_0101_4^10 - 37365170337191360445491/3021663488189719901279*c_0101_4^9 - 486137100346841971039828/3021663488189719901279*c_0101_4^8 - 1155964427137740397589758/3021663488189719901279*c_0101_4^7 - 367042133521757023753483/3021663488189719901279*c_0101_4^6 + 1633068277927233984018805/3021663488189719901279*c_0101_4^5 + 607455284689763026828961/3021663488189719901279*c_0101_4^4 - 695618624332969282867310/3021663488189719901279*c_0101_4^3 - 89306189820417152481010/3021663488189719901279*c_0101_4^2 - 10661280695331630045184/3021663488189719901279*c_0101_4 - 3754067935069096458098/3021663488189719901279, c_0101_1 - 82173857550884716737/3021663488189719901279*c_0101_4^13 - 347457222119583537045/3021663488189719901279*c_0101_4^12 - 146597648563618488515/159034920431037889541*c_0101_4^11 - 7024620163333314394467/3021663488189719901279*c_0101_4^10 + 6386959602707973940188/3021663488189719901279*c_0101_4^9 + 87066073720173466542928/3021663488189719901279*c_0101_4^8 + 210020289430315042821928/3021663488189719901279*c_0101_4^7 + 74570072623748172125663/3021663488189719901279*c_0101_4^6 - 286736795198491423536309/3021663488189719901279*c_0101_4^5 - 118432872829284556392596/3021663488189719901279*c_0101_4^4 + 113451380276707010140755/3021663488189719901279*c_0101_4^3 + 14045845872387698873602/3021663488189719901279*c_0101_4^2 + 10769786485303725461776/3021663488189719901279*c_0101_4 + 643516475435257837633/3021663488189719901279, c_0101_4^14 + 4*c_0101_4^13 + 33*c_0101_4^12 + 78*c_0101_4^11 - 95*c_0101_4^10 - 1037*c_0101_4^9 - 2321*c_0101_4^8 - 391*c_0101_4^7 + 3554*c_0101_4^6 + 630*c_0101_4^5 - 1532*c_0101_4^4 + 128*c_0101_4^3 - 78*c_0101_4^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB