Magma V2.19-8 Tue Aug 20 2013 16:14:47 on localhost [Seed = 3768679559] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s771 geometric_solution 5.33243209 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 1 2 0 0 0132 0132 2031 1302 0 0 0 0 0 1 0 -1 -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 -1 1 1 0 -1 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.456559793238 1.228501417312 0 3 2 4 0132 0132 0132 0132 0 0 0 0 0 0 -1 1 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 -1 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 0 0.166385820101 0.987900231614 3 0 4 1 3201 0132 3201 0132 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 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.166385820101 0.987900231614 5 1 5 2 0132 0132 2310 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.683137116251 0.997670044224 2 4 1 4 2310 1302 0132 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.371390894961 1.032864447770 3 3 5 5 0132 3201 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.493675400459 0.163353282752 ==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' : negation(d['c_0101_2']), 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], '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_0']), 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 156415996733202006330464/2194058311166165503171*c_0101_3^19 - 18706950088628633955632/313436901595166500453*c_0101_3^18 - 246579321684476253226688/313436901595166500453*c_0101_3^17 - 102827869340742963187840/2194058311166165503171*c_0101_3^16 + 1120705617661440954867788/313436901595166500453*c_0101_3^15 + 5538953448670850576976836/2194058311166165503171*c_0101_3^14 - 17620880852312030645300472/2194058311166165503171*c_0101_3^13 - 18402448438251143757954521/2194058311166165503171*c_0101_3^12 + 21523206215918804940505694/2194058311166165503171*c_0101_3^11 + 25150420065900536352877683/2194058311166165503171*c_0101_3^10 - 2008662588140306275576054/313436901595166500453*c_0101_3^9 - 15563425549417293606052832/2194058311166165503171*c_0101_3^8 + 3958546771906438468544176/2194058311166165503171*c_0101_3^7 + 2439680375757501902256068/2194058311166165503171*c_0101_3^6 - 362978563515280565362541/2194058311166165503171*c_0101_3^5 + 973211824210315566818202/2194058311166165503171*c_0101_3^4 + 11216679519118000523366/2194058311166165503171*c_0101_3^3 - 171405007478454770892402/2194058311166165503171*c_0101_3^2 + 19849857696164825134434/2194058311166165503171*c_0101_3 - 14966237465886814942882/2194058311166165503171, c_0011_0 - 1, c_0011_4 + 25220357440578455778160/313436901595166500453*c_0101_3^19 - 44139583309022349681344/313436901595166500453*c_0101_3^18 - 229189737998057693330344/313436901595166500453*c_0101_3^17 + 173520228235876378473172/313436901595166500453*c_0101_3^16 + 1032977263725392402063820/313436901595166500453*c_0101_3^15 + 42751288051243298175222/313436901595166500453*c_0101_3^14 - 2543689325152667557218789/313436901595166500453*c_0101_3^13 - 767494671277327962180919/313436901595166500453*c_0101_3^12 + 3274016709937986932139556/313436901595166500453*c_0101_3^11 + 1113846768196996938842197/313436901595166500453*c_0101_3^10 - 2053112468234735098376046/313436901595166500453*c_0101_3^9 - 598115491086429540989662/313436901595166500453*c_0101_3^8 + 380237839419526005468566/313436901595166500453*c_0101_3^7 - 14088815846729602346129/313436901595166500453*c_0101_3^6 + 106230134159465653742198/313436901595166500453*c_0101_3^5 + 80032882545844355685429/313436901595166500453*c_0101_3^4 - 20675985009615340289482/313436901595166500453*c_0101_3^3 - 1512112214587150397504/313436901595166500453*c_0101_3^2 - 1533641558582030589322/313436901595166500453*c_0101_3 - 1929514542185934039008/313436901595166500453, c_0101_0 + 7136455766816852190144/2194058311166165503171*c_0101_3^19 - 2549976021292827784624/313436901595166500453*c_0101_3^18 - 8203656533840259951616/313436901595166500453*c_0101_3^17 + 97763335442246593636936/2194058311166165503171*c_0101_3^16 + 40444626254925893440876/313436901595166500453*c_0101_3^15 - 198341588525644158669204/2194058311166165503171*c_0101_3^14 - 862177104751655723281126/2194058311166165503171*c_0101_3^13 + 219478243989166961151523/2194058311166165503171*c_0101_3^12 + 1411092951755412708221379/2194058311166165503171*c_0101_3^11 - 29726087876816460845152/2194058311166165503171*c_0101_3^10 - 186005777876585669478094/313436901595166500453*c_0101_3^9 - 211915067802590265265588/2194058311166165503171*c_0101_3^8 + 657185408709841272522019/2194058311166165503171*c_0101_3^7 + 203222921619063348635026/2194058311166165503171*c_0101_3^6 - 147779334440024754842477/2194058311166165503171*c_0101_3^5 - 38168897931618599093979/2194058311166165503171*c_0101_3^4 - 1536048274593042046649/2194058311166165503171*c_0101_3^3 - 16815108848547126590544/2194058311166165503171*c_0101_3^2 + 3785986754765097580944/2194058311166165503171*c_0101_3 + 2387541392108668780437/2194058311166165503171, c_0101_1 - 1738448668247262696464/41397326625776707607*c_0101_3^19 + 499891657260504198608/5913903803682386801*c_0101_3^18 + 2119341485309080901896/5913903803682386801*c_0101_3^17 - 15703292053498713039428/41397326625776707607*c_0101_3^16 - 9550450934261080986688/5913903803682386801*c_0101_3^15 + 13702285315937024198450/41397326625776707607*c_0101_3^14 + 170703367259195655814605/41397326625776707607*c_0101_3^13 + 10632306787702633441904/41397326625776707607*c_0101_3^12 - 224907492561848599471379/41397326625776707607*c_0101_3^11 - 22825303945004939013400/41397326625776707607*c_0101_3^10 + 20353202314217575379887/5913903803682386801*c_0101_3^9 + 9324104420549880588705/41397326625776707607*c_0101_3^8 - 26068709535853246257994/41397326625776707607*c_0101_3^7 + 5437009487487336435284/41397326625776707607*c_0101_3^6 - 8190617147226268974343/41397326625776707607*c_0101_3^5 - 3614547540546000421936/41397326625776707607*c_0101_3^4 + 1456068898558025782062/41397326625776707607*c_0101_3^3 - 16995739623126785419/41397326625776707607*c_0101_3^2 + 212136105304203078659/41397326625776707607*c_0101_3 + 103115428495393326888/41397326625776707607, c_0101_2 + 1760792932576266693792/41397326625776707607*c_0101_3^19 - 488331517061813142800/5913903803682386801*c_0101_3^18 - 2181239983776699623616/5913903803682386801*c_0101_3^17 + 14853930867793779826992/41397326625776707607*c_0101_3^16 + 9811532064179529567732/5913903803682386801*c_0101_3^15 - 9334722946161487187948/41397326625776707607*c_0101_3^14 - 173208639879445396709164/41397326625776707607*c_0101_3^13 - 21508998376918863985091/41397326625776707607*c_0101_3^12 + 226207467781415442255068/41397326625776707607*c_0101_3^11 + 35449170060550917908144/41397326625776707607*c_0101_3^10 - 20383071572760021633338/5913903803682386801*c_0101_3^9 - 15312058401073308323623/41397326625776707607*c_0101_3^8 + 26407046548219942711381/41397326625776707607*c_0101_3^7 - 5582944144855374929647/41397326625776707607*c_0101_3^6 + 7685368803061207105080/41397326625776707607*c_0101_3^5 + 4063741900928919826758/41397326625776707607*c_0101_3^4 - 1538138324339481644825/41397326625776707607*c_0101_3^3 + 62085736912972452523/41397326625776707607*c_0101_3^2 - 114190655035514510170/41397326625776707607*c_0101_3 - 67255715139677210922/41397326625776707607, c_0101_3^20 - c_0101_3^19 - 21/2*c_0101_3^18 + 1/4*c_0101_3^17 + 47*c_0101_3^16 + 253/8*c_0101_3^15 - 1657/16*c_0101_3^14 - 423/4*c_0101_3^13 + 117*c_0101_3^12 + 573/4*c_0101_3^11 - 985/16*c_0101_3^10 - 1399/16*c_0101_3^9 + 99/16*c_0101_3^8 + 193/16*c_0101_3^7 + 3/2*c_0101_3^6 + 13/2*c_0101_3^5 + 3/2*c_0101_3^4 - 7/8*c_0101_3^3 - 1/16*c_0101_3^2 - 1/8*c_0101_3 - 1/16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB