Magma V2.19-8 Tue Aug 20 2013 16:14:05 on localhost [Seed = 1747579988] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s037 geometric_solution 3.57436767 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 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 -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 1.347931836602 0.106560015119 0 2 2 0 3201 0132 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 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 1.115480836217 0.092906248379 3 1 1 3 0132 0132 1023 1023 0 0 0 0 0 -1 0 1 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 -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.132536469916 0.222410774099 2 4 5 2 0132 0132 0132 1023 0 0 0 0 0 -1 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.821452969810 0.435503998304 5 3 5 5 2103 0132 1302 2031 0 0 0 0 0 1 0 -1 -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 1 0 -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.503216084396 0.515559278951 4 4 4 3 2031 1302 2103 0132 0 0 0 0 0 0 0 0 0 0 1 -1 -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 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.503216084396 0.515559278951 ==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' : 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_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_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_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_5']), 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_1']), 'c_1001_4' : d['c_0101_3'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0011_1']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_2'], '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_5, c_0101_0, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 18594800010945/2943903844049*c_0101_3^14 + 91939389033575/2943903844049*c_0101_3^13 - 345686171976078/2943903844049*c_0101_3^12 - 1233133076874129/2943903844049*c_0101_3^11 + 3185549194741373/2943903844049*c_0101_3^10 + 4302314708154398/2943903844049*c_0101_3^9 - 10188065167313048/2943903844049*c_0101_3^8 - 6504734680388171/2943903844049*c_0101_3^7 + 1531299671691859/420557692007*c_0101_3^6 + 1099003891108553/420557692007*c_0101_3^5 - 2151054622945880/2943903844049*c_0101_3^4 - 2944444210464068/2943903844049*c_0101_3^3 - 252667656966988/420557692007*c_0101_3^2 - 73176485131310/420557692007*c_0101_3 + 122880906459485/2943903844049, c_0011_0 - 1, c_0011_1 + 12438238618/420557692007*c_0101_3^14 + 60662706434/420557692007*c_0101_3^13 - 242137204774/420557692007*c_0101_3^12 - 840610981540/420557692007*c_0101_3^11 + 2320520877723/420557692007*c_0101_3^10 + 3133243111244/420557692007*c_0101_3^9 - 8258425942016/420557692007*c_0101_3^8 - 4940219391115/420557692007*c_0101_3^7 + 11182293974679/420557692007*c_0101_3^6 + 5358775439340/420557692007*c_0101_3^5 - 4975747372245/420557692007*c_0101_3^4 - 2928025739594/420557692007*c_0101_3^3 - 302285908083/420557692007*c_0101_3^2 + 106628036014/420557692007*c_0101_3 + 206611386689/420557692007, c_0011_5 + 116435533599/420557692007*c_0101_3^14 + 621705298870/420557692007*c_0101_3^13 - 1920603507224/420557692007*c_0101_3^12 - 8490438937226/420557692007*c_0101_3^11 + 16621191465435/420557692007*c_0101_3^10 + 33694027578791/420557692007*c_0101_3^9 - 50724618525537/420557692007*c_0101_3^8 - 62006532230710/420557692007*c_0101_3^7 + 43686895904949/420557692007*c_0101_3^6 + 69081258134369/420557692007*c_0101_3^5 + 12071776854411/420557692007*c_0101_3^4 - 18679229247259/420557692007*c_0101_3^3 - 18607971227781/420557692007*c_0101_3^2 - 8237856238702/420557692007*c_0101_3 - 1127864172485/420557692007, c_0101_0 + 401026329514/420557692007*c_0101_3^14 + 2178149640531/420557692007*c_0101_3^13 - 6443513604397/420557692007*c_0101_3^12 - 29984512351149/420557692007*c_0101_3^11 + 54976866112857/420557692007*c_0101_3^10 + 123018764516577/420557692007*c_0101_3^9 - 167817093458664/420557692007*c_0101_3^8 - 235330721386839/420557692007*c_0101_3^7 + 142895628460312/420557692007*c_0101_3^6 + 258839579150070/420557692007*c_0101_3^5 + 50568299279541/420557692007*c_0101_3^4 - 66084608970052/420557692007*c_0101_3^3 - 65922559490232/420557692007*c_0101_3^2 - 32145572249410/420557692007*c_0101_3 - 5563515031127/420557692007, c_0101_2 + 277105889260/420557692007*c_0101_3^14 + 1497102249254/420557692007*c_0101_3^13 - 4491012787789/420557692007*c_0101_3^12 - 20566977730854/420557692007*c_0101_3^11 + 38503111338753/420557692007*c_0101_3^10 + 83615969125999/420557692007*c_0101_3^9 - 117669693502078/420557692007*c_0101_3^8 - 158446575949192/420557692007*c_0101_3^7 + 101292107376680/420557692007*c_0101_3^6 + 175306332401297/420557692007*c_0101_3^5 + 31225707415087/420557692007*c_0101_3^4 - 45704229395620/420557692007*c_0101_3^3 - 43973962091807/420557692007*c_0101_3^2 - 21233103841356/420557692007*c_0101_3 - 3619061358933/420557692007, c_0101_3^15 + 6*c_0101_3^14 - 13*c_0101_3^13 - 84*c_0101_3^12 + 95*c_0101_3^11 + 386*c_0101_3^10 - 248*c_0101_3^9 - 829*c_0101_3^8 + 35*c_0101_3^7 + 854*c_0101_3^6 + 481*c_0101_3^5 - 101*c_0101_3^4 - 257*c_0101_3^3 - 171*c_0101_3^2 - 57*c_0101_3 - 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB