Magma V2.19-8 Tue Aug 20 2013 16:17:28 on localhost [Seed = 1360055691] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1704 geometric_solution 5.41577735 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1302 2031 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 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.520010629543 0.466803228043 3 2 4 0 0132 3012 0132 0132 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 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.935094690799 0.955944374313 1 3 0 4 1230 3201 0132 3201 0 0 0 0 0 -1 0 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 1 -1 -1 0 0 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.935094690799 0.955944374313 1 5 2 5 0132 0132 2310 1023 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 -1 1 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.547575229517 0.583576177857 6 2 6 1 0132 2310 1023 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 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.021109954137 1.591954136240 5 3 5 3 2310 0132 3201 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 1 -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.694945504371 0.519757626837 4 6 4 6 0132 1302 1023 2031 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 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.415991256492 0.124343949713 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0011_0'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0101_2'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_1, c_0011_4, c_0101_1, c_0101_2, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 2599321914748115162384705/1973440595900185108128*c_0101_4*c_0101_5^\ 14 - 7014215472475333424518127/657813531966728369376*c_0101_4*c_010\ 1_5^13 + 17683705480564154237929397/219271177322242789792*c_0101_4*\ c_0101_5^12 + 477897109523047829665814035/1973440595900185108128*c_\ 0101_4*c_0101_5^11 - 696022142494493303286079549/986720297950092554\ 064*c_0101_4*c_0101_5^10 - 3983072811803533908068286731/19734405959\ 00185108128*c_0101_4*c_0101_5^9 - 1500963587174665769971433111/1973\ 440595900185108128*c_0101_4*c_0101_5^8 + 2518448863663897909118064379/1973440595900185108128*c_0101_4*c_0101\ _5^7 + 711520288410904680773005987/246680074487523138516*c_0101_4*c\ _0101_5^6 + 5428647879941252644813333889/1973440595900185108128*c_0\ 101_4*c_0101_5^5 - 304449825743115934642553797/49336014897504627703\ 2*c_0101_4*c_0101_5^4 - 313453995016162296849099793/164453382991682\ 092344*c_0101_4*c_0101_5^3 - 2011691978489286224370439289/197344059\ 5900185108128*c_0101_4*c_0101_5^2 - 73614094618626370290630/360643383753688799*c_0101_4*c_0101_5 - 28730250997548054808366861/1973440595900185108128*c_0101_4, c_0011_0 - 1, c_0011_1 - 910176940478612281/123340037243761569258*c_0101_4*c_0101_5^1\ 4 - 6477919108849189573/123340037243761569258*c_0101_4*c_0101_5^13 + 61614126845530827407/123340037243761569258*c_0101_4*c_0101_5^12 + 102914707274646969691/123340037243761569258*c_0101_4*c_0101_5^11 - 93965727343965540934/20556672873960261543*c_0101_4*c_0101_5^10 - 724376062016467455541/123340037243761569258*c_0101_4*c_0101_5^9 - 8030598693670068839/123340037243761569258*c_0101_4*c_0101_5^8 - 21327700166693006811/13704448582640174362*c_0101_4*c_0101_5^7 + 752990857977900220793/61670018621880784629*c_0101_4*c_0101_5^6 + 1584922177609707554603/123340037243761569258*c_0101_4*c_0101_5^5 - 12046334586876771095/20556672873960261543*c_0101_4*c_0101_5^4 + 25800366482945740129/6852224291320087181*c_0101_4*c_0101_5^3 - 1254665801845858994437/123340037243761569258*c_0101_4*c_0101_5^2 - 22236825310114554995/3245790453783199191*c_0101_4*c_0101_5 - 50197739359124811731/41113345747920523086*c_0101_4, c_0011_4 + 15623978991119358575/82226691495841046172*c_0101_5^14 + 368492638513577354701/246680074487523138516*c_0101_5^13 - 2954331301808506738361/246680074487523138516*c_0101_5^12 - 7911207328226737274939/246680074487523138516*c_0101_5^11 + 13431970607050547282581/123340037243761569258*c_0101_5^10 + 21709245926499307392461/82226691495841046172*c_0101_5^9 + 12298678615014655418743/246680074487523138516*c_0101_5^8 - 45093645310826591474155/246680074487523138516*c_0101_5^7 - 7294810586638405403899/20556672873960261543*c_0101_5^6 - 74217537538327718963713/246680074487523138516*c_0101_5^5 + 9648785072231534846386/61670018621880784629*c_0101_5^4 + 1503233021706295369597/6852224291320087181*c_0101_5^3 + 6377453856082122175883/82226691495841046172*c_0101_5^2 + 7844711087874961330/3245790453783199191*c_0101_5 - 159837079037644843067/246680074487523138516, c_0101_1 - 75666934151/721042549131*c_0101_5^14 - 1781469986159/2163127647393*c_0101_5^13 + 14327155372420/2163127647393*c_0101_5^12 + 38076945668881/2163127647393*c_0101_5^11 - 130279073079955/2163127647393*c_0101_5^10 - 34773268242179/240347516377*c_0101_5^9 - 58239062882672/2163127647393*c_0101_5^8 + 214547125255118/2163127647393*c_0101_5^7 + 46575430171404/240347516377*c_0101_5^6 + 351343556756279/2163127647393*c_0101_5^5 - 188978731106972/2163127647393*c_0101_5^4 - 85025371921511/721042549131*c_0101_5^3 - 9825253486931/240347516377*c_0101_5^2 + 78519901354/113848823547*c_0101_5 + 1591810674748/2163127647393, c_0101_2 - 112029681117056696411/164453382991682092344*c_0101_4*c_0101_\ 5^14 - 2664029799854618698445/493360148975046277032*c_0101_4*c_0101\ _5^13 + 21031224274016163003877/493360148975046277032*c_0101_4*c_01\ 01_5^12 + 58261699726989676186027/493360148975046277032*c_0101_4*c_\ 0101_5^11 - 95016222002249568895613/246680074487523138516*c_0101_4*\ c_0101_5^10 - 53702486674742408726555/54817794330560697448*c_0101_4\ *c_0101_5^9 - 110371078845733855989815/493360148975046277032*c_0101\ _4*c_0101_5^8 + 347628916189343686755251/493360148975046277032*c_01\ 01_4*c_0101_5^7 + 9377731086894194081956/6852224291320087181*c_0101\ _4*c_0101_5^6 + 583349142653561593276841/493360148975046277032*c_01\ 01_4*c_0101_5^5 - 65384008584372641171099/123340037243761569258*c_0\ 101_4*c_0101_5^4 - 37036027803510436178615/41113345747920523086*c_0\ 101_4*c_0101_5^3 - 19824153634161994552785/54817794330560697448*c_0\ 101_4*c_0101_5^2 - 124486222580898907333/3245790453783199191*c_0101\ _4*c_0101_5 - 74060591721422142965/493360148975046277032*c_0101_4, c_0101_4^2 - 293097223236142255/3245790453783199191*c_0101_5^14 - 2211674402945457397/3245790453783199191*c_0101_5^13 + 19325643198172600046/3245790453783199191*c_0101_5^12 + 44717305172791904215/3245790453783199191*c_0101_5^11 - 63491953047447605023/1081930151261066397*c_0101_5^10 - 380853812214917608162/3245790453783199191*c_0101_5^9 + 98579533507376357185/3245790453783199191*c_0101_5^8 + 171663768158018647459/1081930151261066397*c_0101_5^7 + 681018616356692764237/3245790453783199191*c_0101_5^6 + 392600776639609337438/3245790453783199191*c_0101_5^5 - 170785552682119931690/1081930151261066397*c_0101_5^4 - 61989206367160454116/360643383753688799*c_0101_5^3 - 191124444326042840494/3245790453783199191*c_0101_5^2 - 10120767939111629353/3245790453783199191*c_0101_5 + 325834358610637817/360643383753688799, c_0101_5^15 + 8*c_0101_5^14 - 62*c_0101_5^13 - 178*c_0101_5^12 + 553*c_0101_5^11 + 1481*c_0101_5^10 + 432*c_0101_5^9 - 1022*c_0101_5^8 - 2097*c_0101_5^7 - 1881*c_0101_5^6 + 665*c_0101_5^5 + 1400*c_0101_5^4 + 637*c_0101_5^3 + 83*c_0101_5^2 - 3*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB