Magma V2.19-8 Tue Aug 20 2013 16:16:41 on localhost [Seed = 2193825353] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0969 geometric_solution 4.86162422 oriented_manifold CS_known -0.0000000000000003 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 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.494491375260 0.164945610242 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 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 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.685711011887 0.442077368897 1 4 3 3 0132 0132 3012 2310 0 0 0 0 0 0 0 0 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 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.558625287331 1.169800013283 2 2 4 1 3201 1230 1023 0132 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 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.558625287331 1.169800013283 5 2 3 5 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.563141259245 0.655376037923 4 6 6 4 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.448134850154 0.391956954292 6 5 5 6 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.613773331758 0.141865883845 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(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' : 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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_1'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_1'], '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_0101_6'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), '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_0101_1'], 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0011_1'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], '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_3, c_0101_0, c_0101_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 22127117325965295/115580514454289*c_0101_6^25 + 485199082479740064/115580514454289*c_0101_6^23 - 4965704077788514551/115580514454289*c_0101_6^21 + 30907265597963675219/115580514454289*c_0101_6^19 - 126373458776169047630/115580514454289*c_0101_6^17 + 345545794525176577187/115580514454289*c_0101_6^15 - 630961420811618530392/115580514454289*c_0101_6^13 + 766315650437896032290/115580514454289*c_0101_6^11 - 610148111849844572848/115580514454289*c_0101_6^9 + 305323345208121727602/115580514454289*c_0101_6^7 - 87648038551471672176/115580514454289*c_0101_6^5 + 12175155381097466631/115580514454289*c_0101_6^3 - 609793265233488967/115580514454289*c_0101_6, c_0011_0 - 1, c_0011_1 - 231020291734685/115580514454289*c_0101_6^24 + 5030110777503164/115580514454289*c_0101_6^22 - 51076028149210834/115580514454289*c_0101_6^20 + 314964065599408094/115580514454289*c_0101_6^18 - 1272333300574932845/115580514454289*c_0101_6^16 + 3420344803278121573/115580514454289*c_0101_6^14 - 6094029102724271823/115580514454289*c_0101_6^12 + 7145234968734573819/115580514454289*c_0101_6^10 - 5402637779433451408/115580514454289*c_0101_6^8 + 2489955659209806111/115580514454289*c_0101_6^6 - 614382969399903880/115580514454289*c_0101_6^4 + 60402363230937005/115580514454289*c_0101_6^2 - 1087477234411205/115580514454289, c_0011_3 - 313292443642790/115580514454289*c_0101_6^25 + 6836832433867997/115580514454289*c_0101_6^23 - 69592509632794826/115580514454289*c_0101_6^21 + 430367471633458035/115580514454289*c_0101_6^19 - 1744816920317334581/115580514454289*c_0101_6^17 + 4713718711878873310/115580514454289*c_0101_6^15 - 8456098176957240052/115580514454289*c_0101_6^13 + 10006410728342336741/115580514454289*c_0101_6^11 - 7660381350838549186/115580514454289*c_0101_6^9 + 3593889548766290054/115580514454289*c_0101_6^7 - 912521126325616198/115580514454289*c_0101_6^5 + 94751544505020760/115580514454289*c_0101_6^3 - 2034912174055010/115580514454289*c_0101_6, c_0101_0 + 560354132412896/115580514454289*c_0101_6^25 - 12231178779832639/115580514454289*c_0101_6^23 + 124526905331584422/115580514454289*c_0101_6^21 - 770222097547074345/115580514454289*c_0101_6^19 + 3123146443573501223/115580514454289*c_0101_6^17 - 8438141149425694440/115580514454289*c_0101_6^15 + 15136308790105801085/115580514454289*c_0101_6^13 - 17903506137365662765/115580514454289*c_0101_6^11 + 13692822267401840548/115580514454289*c_0101_6^9 - 6413245354151429500/115580514454289*c_0101_6^7 + 1624088003735831795/115580514454289*c_0101_6^5 - 168729786267572093/115580514454289*c_0101_6^3 + 3776513366088832/115580514454289*c_0101_6, c_0101_1 + 230022374366051/115580514454289*c_0101_6^24 - 5022753284671814/115580514454289*c_0101_6^22 + 51158276676282247/115580514454289*c_0101_6^20 - 316570988667630948/115580514454289*c_0101_6^18 + 1284389335977000574/115580514454289*c_0101_6^16 - 3472741083280550840/115580514454289*c_0101_6^14 + 6235073866551209563/115580514454289*c_0101_6^12 - 7381719840497242798/115580514454289*c_0101_6^10 + 5648011981798972466/115580514454289*c_0101_6^8 - 2641616652185374792/115580514454289*c_0101_6^6 + 663889598017451221/115580514454289*c_0101_6^4 - 66657325040840779/115580514454289*c_0101_6^2 + 1230066217985615/115580514454289, c_0101_5 + 145052750132665/115580514454289*c_0101_6^24 - 3161107008379642/115580514454289*c_0101_6^22 + 32127156893723621/115580514454289*c_0101_6^20 - 198306973300526038/115580514454289*c_0101_6^18 + 801996546732107685/115580514454289*c_0101_6^16 - 2158954000872286155/115580514454289*c_0101_6^14 + 3852691298024603132/115580514454289*c_0101_6^12 - 4523834318274290295/115580514454289*c_0101_6^10 + 3423266159507691869/115580514454289*c_0101_6^8 - 1576187853070749909/115580514454289*c_0101_6^6 + 386574902926791265/115580514454289*c_0101_6^4 - 37140514505249107/115580514454289*c_0101_6^2 + 649334420673651/115580514454289, c_0101_6^26 - 22*c_0101_6^24 + 226*c_0101_6^22 - 1413*c_0101_6^20 + 5812*c_0101_6^18 - 16028*c_0101_6^16 + 29639*c_0101_6^14 - 36678*c_0101_6^12 + 30044*c_0101_6^10 - 15741*c_0101_6^8 + 4909*c_0101_6^6 - 807*c_0101_6^4 + 58*c_0101_6^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB