Magma V2.19-8 Tue Aug 20 2013 16:16:50 on localhost [Seed = 2328565340] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1108 geometric_solution 4.97249371 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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.280430005250 0.110377741412 2 0 2 0 0132 2310 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 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.368042132537 1.104911801735 1 1 3 4 0132 3201 0132 0132 0 0 0 0 0 0 0 0 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 -1 1 0 1 0 0 -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 -1.284479695712 2.082199459665 5 5 6 2 0132 2310 0132 0132 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 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.009418535794 0.490052965746 5 5 2 6 1023 3201 0132 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 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.009418535794 0.490052965746 3 4 4 3 0132 1023 2310 3201 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 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.039204593588 2.039842261971 6 6 4 3 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.836973667441 1.481291217119 ==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' : negation(d['1']), 's_3_4' : d['1'], 's_3_0' : 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' : negation(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' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_1100_2'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_1100_2'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_1100_2'], 'c_1100_2' : d['c_1100_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_6'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0011_6'], 'c_1001_4' : negation(d['c_0101_0']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : negation(d['c_0011_6']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_6'], 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_6'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : negation(d['c_0101_0']), '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_3, c_0011_6, c_0101_0, c_0101_6, c_1100_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 399930909425/155351668689*c_1100_2^7 + 6493892685157/310703337378*c_1100_2^6 - 39622937147503/155351668689*c_1100_2^5 + 272696645983519/310703337378*c_1100_2^4 - 174602307430429/155351668689*c_1100_2^3 + 9562818171307/155351668689*c_1100_2^2 + 45060202846063/103567779126*c_1100_2 + 56457983055616/155351668689, c_0011_0 - 1, c_0011_1 + 6669926/821966501*c_1100_2^7 + 62998758/821966501*c_1100_2^6 - 575668540/821966501*c_1100_2^5 + 1528170246/821966501*c_1100_2^4 - 993368821/821966501*c_1100_2^3 - 1044660051/821966501*c_1100_2^2 - 341667473/821966501*c_1100_2 + 690526924/821966501, c_0011_3 - 4985761/2465899503*c_1100_2^7 - 14989090/2465899503*c_1100_2^6 + 744367049/2465899503*c_1100_2^5 - 3758901124/2465899503*c_1100_2^4 + 7788765236/2465899503*c_1100_2^3 - 4213641605/2465899503*c_1100_2^2 - 483641407/821966501*c_1100_2 - 1515939758/2465899503, c_0011_6 + 5194138/821966501*c_1100_2^7 + 54809537/821966501*c_1100_2^6 - 384226370/821966501*c_1100_2^5 + 793985391/821966501*c_1100_2^4 - 226202357/821966501*c_1100_2^3 - 195570086/821966501*c_1100_2^2 - 718045799/821966501*c_1100_2 - 354435363/821966501, c_0101_0 - 6335825/7397698509*c_0101_6*c_1100_2^7 + 90819970/7397698509*c_0101_6*c_1100_2^6 + 2048589775/7397698509*c_0101_6*c_1100_2^5 - 13646587079/7397698509*c_0101_6*c_1100_2^4 + 29349588610/7397698509*c_0101_6*c_1100_2^3 - 8394972208/7397698509*c_0101_6*c_1100_2^2 - 8337334355/2465899503*c_0101_6*c_1100_2 - 5730822109/7397698509*c_0101_6, c_0101_6^2 - 16225857/821966501*c_1100_2^7 - 163512732/821966501*c_1100_2^6 + 1290190415/821966501*c_1100_2^5 - 2958873360/821966501*c_1100_2^4 + 1314627076/821966501*c_1100_2^3 + 1747206565/821966501*c_1100_2^2 + 805248966/821966501*c_1100_2 - 214488025/821966501, c_1100_2^8 + 8*c_1100_2^7 - 100*c_1100_2^6 + 353*c_1100_2^5 - 481*c_1100_2^4 + 90*c_1100_2^3 + 146*c_1100_2^2 + 125*c_1100_2 - 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB