Magma V2.19-8 Tue Aug 20 2013 16:16:23 on localhost [Seed = 4290667295] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0666 geometric_solution 4.64142161 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.396147129001 0.051297777318 0 2 0 2 0132 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 -1 1 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 -1.094999998444 0.953328143753 1 1 3 4 3201 0132 0132 0132 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 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 0 0 0 0.832701990380 1.597883284389 5 5 4 2 0132 2310 1230 0132 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 -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.295112096305 0.897007352255 6 6 2 3 0132 2310 0132 3012 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 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.295112096305 0.897007352255 3 6 6 3 0132 1230 3012 3201 0 0 0 0 0 0 -1 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 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.433432158882 0.538837713254 4 5 5 4 0132 1230 3012 3201 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 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.433432158882 0.538837713254 ==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_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' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0101_6'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0101_6'], 'c_1100_2' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_0']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(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_3']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(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_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_0']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_0']), 'c_1010_5' : d['c_0101_6'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_3']), 'c_1010_0' : d['c_0011_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_3, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 855100628113235189531427/1337388747431383545895*c_0101_6^16 + 8365518804576940290156967/1337388747431383545895*c_0101_6^15 + 8871637848798068385937625/267477749486276709179*c_0101_6^14 + 175055066050315355566632782/1337388747431383545895*c_0101_6^13 + 410828843634209922417649937/1337388747431383545895*c_0101_6^12 + 380701249147208486077785577/1337388747431383545895*c_0101_6^11 - 13481860207762315490025917/267477749486276709179*c_0101_6^10 - 253795506242390386902559951/1337388747431383545895*c_0101_6^9 + 163275934364553831648300976/1337388747431383545895*c_0101_6^8 + 179789766217655706174429818/267477749486276709179*c_0101_6^7 + 1338342369099424749999003243/1337388747431383545895*c_0101_6^6 + 968482856705802316299113868/1337388747431383545895*c_0101_6^5 + 53289395766038914016580113/267477749486276709179*c_0101_6^4 - 116044060747056233069806262/1337388747431383545895*c_0101_6^3 - 130623663546655321047484611/1337388747431383545895*c_0101_6^2 - 40510174930284237452024488/1337388747431383545895*c_0101_6 - 3785791079348504320876628/1337388747431383545895, c_0011_0 - 1, c_0011_3 - 36610154535393619742/267477749486276709179*c_0101_6^16 - 262515152563452669499/267477749486276709179*c_0101_6^15 - 1018439139409378727738/267477749486276709179*c_0101_6^14 - 3037395589198151290735/267477749486276709179*c_0101_6^13 - 550536002443634118582/267477749486276709179*c_0101_6^12 + 19966786007645966993595/267477749486276709179*c_0101_6^11 + 25049587279269881780226/267477749486276709179*c_0101_6^10 - 8430383921461158592049/267477749486276709179*c_0101_6^9 - 23461514107033265233689/267477749486276709179*c_0101_6^8 - 10991734684284670615269/267477749486276709179*c_0101_6^7 + 26929695843266242475391/267477749486276709179*c_0101_6^6 + 60227484577422496166739/267477749486276709179*c_0101_6^5 + 40649921200221935940270/267477749486276709179*c_0101_6^4 + 7930576750832391740386/267477749486276709179*c_0101_6^3 - 6962681038397450672361/267477749486276709179*c_0101_6^2 - 5014810578016742150839/267477749486276709179*c_0101_6 - 822500009999298663280/267477749486276709179, c_0011_4 - 36610154535393619742/267477749486276709179*c_0101_6^16 - 262515152563452669499/267477749486276709179*c_0101_6^15 - 1018439139409378727738/267477749486276709179*c_0101_6^14 - 3037395589198151290735/267477749486276709179*c_0101_6^13 - 550536002443634118582/267477749486276709179*c_0101_6^12 + 19966786007645966993595/267477749486276709179*c_0101_6^11 + 25049587279269881780226/267477749486276709179*c_0101_6^10 - 8430383921461158592049/267477749486276709179*c_0101_6^9 - 23461514107033265233689/267477749486276709179*c_0101_6^8 - 10991734684284670615269/267477749486276709179*c_0101_6^7 + 26929695843266242475391/267477749486276709179*c_0101_6^6 + 60227484577422496166739/267477749486276709179*c_0101_6^5 + 40649921200221935940270/267477749486276709179*c_0101_6^4 + 7930576750832391740386/267477749486276709179*c_0101_6^3 - 6962681038397450672361/267477749486276709179*c_0101_6^2 - 5014810578016742150839/267477749486276709179*c_0101_6 - 822500009999298663280/267477749486276709179, c_0101_0 - 37407631533677649362/267477749486276709179*c_0101_6^16 - 358108692900888724989/267477749486276709179*c_0101_6^15 - 1872395818044738862946/267477749486276709179*c_0101_6^14 - 7325040425755202969507/267477749486276709179*c_0101_6^13 - 16719022317743482571646/267477749486276709179*c_0101_6^12 - 14181446309305142443795/267477749486276709179*c_0101_6^11 + 4079336286847247807879/267477749486276709179*c_0101_6^10 + 10291099346437325099970/267477749486276709179*c_0101_6^9 - 7184385999036545511412/267477749486276709179*c_0101_6^8 - 37934848059675879544754/267477749486276709179*c_0101_6^7 - 53104878329389513230625/267477749486276709179*c_0101_6^6 - 35759090994382805392144/267477749486276709179*c_0101_6^5 - 7755072021003402426963/267477749486276709179*c_0101_6^4 + 7184542575596091609374/267477749486276709179*c_0101_6^3 + 5226177136756947665608/267477749486276709179*c_0101_6^2 + 1293113345292011633303/267477749486276709179*c_0101_6 - 61169463247331598986/267477749486276709179, c_0101_1 - 2405704206678240467416/267477749486276709179*c_0101_6^16 - 23430494070899436906547/267477749486276709179*c_0101_6^15 - 123845010878815347134512/267477749486276709179*c_0101_6^14 - 487733200998725847320668/267477749486276709179*c_0101_6^13 - 1137749475951912629422896/267477749486276709179*c_0101_6^12 - 1033588147732409053107639/267477749486276709179*c_0101_6^11 + 209413692161956869749924/267477749486276709179*c_0101_6^10 + 690707403503710844639137/267477749486276709179*c_0101_6^9 - 475294768638690869465471/267477749486276709179*c_0101_6^8 - 2497637037979499123663153/267477749486276709179*c_0101_6^7 - 3676308154725128076353174/267477749486276709179*c_0101_6^6 - 2623946420984346932332904/267477749486276709179*c_0101_6^5 - 704599787086169429713451/267477749486276709179*c_0101_6^4 + 323300111806239967655179/267477749486276709179*c_0101_6^3 + 352809687988776411132740/267477749486276709179*c_0101_6^2 + 107881091995568173119054/267477749486276709179*c_0101_6 + 10468659757861806748283/267477749486276709179, c_0101_3 - 706788027802190874655/267477749486276709179*c_0101_6^16 - 6958499385572807017376/267477749486276709179*c_0101_6^15 - 37056487006099997918264/267477749486276709179*c_0101_6^14 - 146634760273391714893960/267477749486276709179*c_0101_6^13 - 346899870052589303814612/267477749486276709179*c_0101_6^12 - 329499688323200822045909/267477749486276709179*c_0101_6^11 + 48797607969867214379700/267477749486276709179*c_0101_6^10 + 218839972403004245175051/267477749486276709179*c_0101_6^9 - 130291473710558010754934/267477749486276709179*c_0101_6^8 - 755826544621150582652142/267477749486276709179*c_0101_6^7 - 1141108098880182911401626/267477749486276709179*c_0101_6^6 - 838964202222395157467095/267477749486276709179*c_0101_6^5 - 237738742119854236441142/267477749486276709179*c_0101_6^4 + 95675536645155473261383/267477749486276709179*c_0101_6^3 + 112562811082994749381128/267477749486276709179*c_0101_6^2 + 35476946361537851008248/267477749486276709179*c_0101_6 + 3513311844103072269176/267477749486276709179, c_0101_6^17 + 10*c_0101_6^16 + 54*c_0101_6^15 + 216*c_0101_6^14 + 525*c_0101_6^13 + 550*c_0101_6^12 + 19*c_0101_6^11 - 313*c_0101_6^10 + 126*c_0101_6^9 + 1092*c_0101_6^8 + 1794*c_0101_6^7 + 1475*c_0101_6^6 + 561*c_0101_6^5 - 66*c_0101_6^4 - 182*c_0101_6^3 - 81*c_0101_6^2 - 15*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB