Magma V2.19-8 Tue Aug 20 2013 16:14:18 on localhost [Seed = 425231677] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s282 geometric_solution 4.45296907 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 1 2 2 1 0132 0132 1023 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.177461203458 0.196380103386 0 0 4 3 0132 2310 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 1 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.825847486997 1.858401608328 2 0 0 2 3201 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.560520277892 0.680197753558 5 4 1 4 0132 2031 0132 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.584171543291 0.631442828113 3 5 3 1 1302 3201 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.584171543291 0.631442828113 3 5 4 5 0132 2310 2310 3201 0 0 0 0 0 -1 1 0 0 0 -1 1 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 1 -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.210553858271 0.853328290467 ==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_3'], 'c_1100_4' : d['c_0101_5'], 'c_1100_1' : d['c_0101_5'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0101_5'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_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_3'], '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_0101_0'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_3, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 131617604694241976431/134817775355954833*c_0101_5^16 + 495272950950282966034/134817775355954833*c_0101_5^15 + 6435277784339812613415/134817775355954833*c_0101_5^14 + 1261333999677067127005/134817775355954833*c_0101_5^13 - 24983578159368316653399/134817775355954833*c_0101_5^12 + 57905278550595842115038/134817775355954833*c_0101_5^11 + 58649390513884981049507/134817775355954833*c_0101_5^10 - 157288058810667514981117/134817775355954833*c_0101_5^9 - 7549675296276506986040/134817775355954833*c_0101_5^8 + 149536814449886817240431/134817775355954833*c_0101_5^7 - 89485605059584759326569/134817775355954833*c_0101_5^6 - 49344555082330470114332/134817775355954833*c_0101_5^5 + 71298473989870145106548/134817775355954833*c_0101_5^4 - 7467593462556879839181/134817775355954833*c_0101_5^3 - 14355410359655941151634/134817775355954833*c_0101_5^2 + 5399008125893915553782/134817775355954833*c_0101_5 - 546717232671335486564/134817775355954833, c_0011_0 - 1, c_0011_3 - 2875199200228666549/134817775355954833*c_0101_5^16 + 10668982254765891734/134817775355954833*c_0101_5^15 + 141088206723916790929/134817775355954833*c_0101_5^14 + 35111570828620635283/134817775355954833*c_0101_5^13 - 541551317480708335053/134817775355954833*c_0101_5^12 + 1237211686625935447692/134817775355954833*c_0101_5^11 + 1337030525016362048472/134817775355954833*c_0101_5^10 - 3345048525218079708029/134817775355954833*c_0101_5^9 - 318960782971591311436/134817775355954833*c_0101_5^8 + 3196976961150923824053/134817775355954833*c_0101_5^7 - 1791268945353110868503/134817775355954833*c_0101_5^6 - 1126772963944256924986/134817775355954833*c_0101_5^5 + 1472353251185773722961/134817775355954833*c_0101_5^4 - 99623450581584335629/134817775355954833*c_0101_5^3 - 300803183963913372023/134817775355954833*c_0101_5^2 + 101967313552745149887/134817775355954833*c_0101_5 - 9441501742277742864/134817775355954833, c_0101_0 - 4381165611105779423/134817775355954833*c_0101_5^16 + 16268669741032276271/134817775355954833*c_0101_5^15 + 214953718612554882685/134817775355954833*c_0101_5^14 + 52875699672816018704/134817775355954833*c_0101_5^13 - 825694580356770235767/134817775355954833*c_0101_5^12 + 1888596321428978265648/134817775355954833*c_0101_5^11 + 2034291865312705988303/134817775355954833*c_0101_5^10 - 5110920584041423700478/134817775355954833*c_0101_5^9 - 464317836398331772921/134817775355954833*c_0101_5^8 + 4891543980952643536139/134817775355954833*c_0101_5^7 - 2767510062369609828453/134817775355954833*c_0101_5^6 - 1714179389596048841051/134817775355954833*c_0101_5^5 + 2268978244631663204840/134817775355954833*c_0101_5^4 - 170576962779185006284/134817775355954833*c_0101_5^3 - 462409184837445095877/134817775355954833*c_0101_5^2 + 162151646808842659576/134817775355954833*c_0101_5 - 15664040267923887237/134817775355954833, c_0101_1 + 147639128765573431/134817775355954833*c_0101_5^16 - 385553279831632769/134817775355954833*c_0101_5^15 - 7797620628290608491/134817775355954833*c_0101_5^14 - 9941872011791924788/134817775355954833*c_0101_5^13 + 23380646729506761530/134817775355954833*c_0101_5^12 - 33975741227344672163/134817775355954833*c_0101_5^11 - 129548104171055875675/134817775355954833*c_0101_5^10 + 76592618500600376020/134817775355954833*c_0101_5^9 + 179834215699164931681/134817775355954833*c_0101_5^8 - 95110462784553451951/134817775355954833*c_0101_5^7 - 75057322106400933405/134817775355954833*c_0101_5^6 + 111481405710809780887/134817775355954833*c_0101_5^5 + 8349272597782581527/134817775355954833*c_0101_5^4 - 57931550885938608076/134817775355954833*c_0101_5^3 + 2929165180651999413/134817775355954833*c_0101_5^2 + 9486460202823254726/134817775355954833*c_0101_5 - 1709376062949293898/134817775355954833, c_0101_2 + 2868326718299928989/134817775355954833*c_0101_5^16 - 10906769028757451384/134817775355954833*c_0101_5^15 - 139853339281703737963/134817775355954833*c_0101_5^14 - 21821003545758619223/134817775355954833*c_0101_5^13 + 547382857217049368443/134817775355954833*c_0101_5^12 - 1282458096286057520308/134817775355954833*c_0101_5^11 - 1234862291956962112164/134817775355954833*c_0101_5^10 + 3492140708754088735796/134817775355954833*c_0101_5^9 + 50090046993108402476/134817775355954833*c_0101_5^8 - 3301727922741745832324/134817775355954833*c_0101_5^7 + 2064574544186283763362/134817775355954833*c_0101_5^6 + 1034944698555015260984/134817775355954833*c_0101_5^5 - 1608897607080258453349/134817775355954833*c_0101_5^4 + 206058186188835502689/134817775355954833*c_0101_5^3 + 320139023560688564092/134817775355954833*c_0101_5^2 - 127547602985783258064/134817775355954833*c_0101_5 + 13466044729372019450/134817775355954833, c_0101_5^17 - 4*c_0101_5^16 - 48*c_0101_5^15 + 2*c_0101_5^14 + 192*c_0101_5^13 - 485*c_0101_5^12 - 341*c_0101_5^11 + 1300*c_0101_5^10 - 227*c_0101_5^9 - 1148*c_0101_5^8 + 950*c_0101_5^7 + 212*c_0101_5^6 - 630*c_0101_5^5 + 186*c_0101_5^4 + 95*c_0101_5^3 - 67*c_0101_5^2 + 14*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB