Magma V2.19-8 Tue Aug 20 2013 16:18:41 on localhost [Seed = 4021187299] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2856 geometric_solution 6.07888829 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 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 0 -1 -1 0 1 0 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.186038300210 0.288353850354 3 2 4 0 0132 3012 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 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 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.015403093503 1.097068630218 1 5 0 4 1230 0132 0132 2310 0 0 0 0 0 -1 0 1 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 -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.015403093503 1.097068630218 1 6 5 5 0132 0132 0132 3012 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 -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.403157241367 1.593142453782 2 6 6 1 3201 0213 1302 0132 0 0 0 0 0 0 0 0 -1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.973397170405 1.105612662332 6 2 3 3 3201 0132 1230 0132 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 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.403157241367 1.593142453782 4 3 4 5 2031 0132 0213 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 0.202473608862 0.409171589828 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_2']), 'c_1100_5' : d['c_0101_1'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : d['c_0101_1'], 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_1'], '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_2'], 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0011_2']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0101_0']), '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_0011_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0101_0']), 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : negation(d['c_0011_2']), 'c_1010_3' : negation(d['c_0101_5']), '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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 54342255311387867401328240159/369640409191807028852551400608*c_0101\ _5^16 - 2316121792139413166634797465/11551262787243969651642231269*\ c_0101_5^15 + 312714894115872870154889328043/3696404091918070288525\ 51400608*c_0101_5^14 + 1269697627002408590282041657167/369640409191\ 807028852551400608*c_0101_5^13 - 27446468252136085188263690319/4620\ 5051148975878606568925076*c_0101_5^12 + 3331625216318985144084758790983/369640409191807028852551400608*c_01\ 01_5^11 + 40951185436679849140782826577909/369640409191807028852551\ 400608*c_0101_5^10 + 43069367662682284767894603692735/1848202045959\ 03514426275700304*c_0101_5^9 + 2793337942056649917649847382909/1421\ 6938815069501109713515408*c_0101_5^8 - 61156499895519561532335028525529/369640409191807028852551400608*c_0\ 101_5^7 - 63980191608390059794230683199003/924101022979517572131378\ 50152*c_0101_5^6 - 900504028332054365087309121749/16355770318221549\ 94922793808*c_0101_5^5 + 322696673509052549604984462635/37718409101\ 20479886250524496*c_0101_5^4 + 4545711580904337259954684874872/1155\ 1262787243969651642231269*c_0101_5^3 + 429398615064717302030941645841/1777117351883687638714189426*c_0101_\ 5^2 + 1727170437083732863398885730667/28433877630139002219427030816\ *c_0101_5 - 6297293523006714278605901615309/92410102297951757213137\ 850152, c_0011_0 - 1, c_0011_1 + 133979910742737319762288431/46205051148975878606568925076*c_\ 0101_5^16 + 35340251656396314637906483/1155126278724396965164223126\ 9*c_0101_5^15 - 772399643757878442744367947/46205051148975878606568\ 925076*c_0101_5^14 - 2924696916320284905989426011/46205051148975878\ 606568925076*c_0101_5^13 + 317501970307147392731298695/115512627872\ 43969651642231269*c_0101_5^12 - 9217822697999350172652878167/462050\ 51148975878606568925076*c_0101_5^11 - 96695244697962869264447257209/46205051148975878606568925076*c_0101_\ 5^10 - 94067389863807302289944838461/23102525574487939303284462538*\ c_0101_5^9 - 70314784448642244479566317403/231025255744879393032844\ 62538*c_0101_5^8 + 170660325919210740065939033609/46205051148975878\ 606568925076*c_0101_5^7 + 142923229995738726142535079136/1155126278\ 7243969651642231269*c_0101_5^6 + 1748308055923639397410343373/20444\ 7128977769374365349226*c_0101_5^5 - 8405822391847943424904576487/3300360796355419900469208934*c_0101_5^\ 4 - 69561499729807360650770633747/11551262787243969651642231269*c_0\ 101_5^3 - 42852577494979194191761456682/115512627872439696516422312\ 69*c_0101_5^2 - 46982432254537762536840322639/462050511489758786065\ 68925076*c_0101_5 + 491745330493013466802342605/8885586759418438193\ 57094713, c_0011_2 + 133979910742737319762288431/46205051148975878606568925076*c_\ 0101_5^16 + 35340251656396314637906483/1155126278724396965164223126\ 9*c_0101_5^15 - 772399643757878442744367947/46205051148975878606568\ 925076*c_0101_5^14 - 2924696916320284905989426011/46205051148975878\ 606568925076*c_0101_5^13 + 317501970307147392731298695/115512627872\ 43969651642231269*c_0101_5^12 - 9217822697999350172652878167/462050\ 51148975878606568925076*c_0101_5^11 - 96695244697962869264447257209/46205051148975878606568925076*c_0101_\ 5^10 - 94067389863807302289944838461/23102525574487939303284462538*\ c_0101_5^9 - 70314784448642244479566317403/231025255744879393032844\ 62538*c_0101_5^8 + 170660325919210740065939033609/46205051148975878\ 606568925076*c_0101_5^7 + 142923229995738726142535079136/1155126278\ 7243969651642231269*c_0101_5^6 + 1748308055923639397410343373/20444\ 7128977769374365349226*c_0101_5^5 - 8405822391847943424904576487/3300360796355419900469208934*c_0101_5^\ 4 - 69561499729807360650770633747/11551262787243969651642231269*c_0\ 101_5^3 - 42852577494979194191761456682/115512627872439696516422312\ 69*c_0101_5^2 - 46982432254537762536840322639/462050511489758786065\ 68925076*c_0101_5 + 491745330493013466802342605/8885586759418438193\ 57094713, c_0011_4 + 252259152869336130841170565/46205051148975878606568925076*c_\ 0101_5^16 - 5469977781193182371228160/11551262787243969651642231269\ *c_0101_5^15 - 91913984353390351207634469/3554234703767375277428378\ 852*c_0101_5^14 - 4200523865534945625887923733/46205051148975878606\ 568925076*c_0101_5^13 + 1528276823288896073417057623/11551262787243\ 969651642231269*c_0101_5^12 - 28034654934151184392978766229/4620505\ 1148975878606568925076*c_0101_5^11 - 11070789600698192859178720279/3554234703767375277428378852*c_0101_5\ ^10 - 108702419568697997034527098667/23102525574487939303284462538*\ c_0101_5^9 - 72859310031772568382546090027/231025255744879393032844\ 62538*c_0101_5^8 + 303990378878365692107476613591/46205051148975878\ 606568925076*c_0101_5^7 + 150745030648612353172167215479/1155126278\ 7243969651642231269*c_0101_5^6 + 1429199549592011990796537951/20444\ 7128977769374365349226*c_0101_5^5 - 8351975740425449197711445545/3300360796355419900469208934*c_0101_5^\ 4 - 52015806277799039097941226133/11551262787243969651642231269*c_0\ 101_5^3 - 39515262731734897395291886307/115512627872439696516422312\ 69*c_0101_5^2 - 28346587418449242069834755241/462050511489758786065\ 68925076*c_0101_5 + 7699785865649522467571505187/115512627872439696\ 51642231269, c_0101_0 + 454727743957288907013440269/46205051148975878606568925076*c_\ 0101_5^16 - 29795243794831298132039134/1155126278724396965164223126\ 9*c_0101_5^15 - 2157125681373149671257002589/4620505114897587860656\ 8925076*c_0101_5^14 - 7150813895297267006134211253/4620505114897587\ 8606568925076*c_0101_5^13 + 3087902445116858482207906894/1155126278\ 7243969651642231269*c_0101_5^12 - 52513183921294408114610692489/462\ 05051148975878606568925076*c_0101_5^11 - 251277124091201807122610731819/46205051148975878606568925076*c_0101\ _5^10 - 171818986705276300097484258225/2310252557448793930328446253\ 8*c_0101_5^9 - 96797184149610925555656762339/2310252557448793930328\ 4462538*c_0101_5^8 + 581818166683319096214822016299/462050511489758\ 78606568925076*c_0101_5^7 + 246764676730127852696960955519/11551262\ 787243969651642231269*c_0101_5^6 + 1705436853447397087091969079/204447128977769374365349226*c_0101_5^5 - 203551373386839913630759999/36267701058850768137024274*c_0101_5^4 - 77214374529369409370528054944/11551262787243969651642231269*c_010\ 1_5^3 - 72851263990046384298172585773/11551262787243969651642231269\ *c_0101_5^2 - 37886820448274362183986891177/46205051148975878606568\ 925076*c_0101_5 + 6116892099830429386355919931/11551262787243969651\ 642231269, c_0101_1 + 95126127101493347078240011/23102525574487939303284462538*c_0\ 101_5^16 - 22810672517112430529895961/11551262787243969651642231269\ *c_0101_5^15 - 477271713522060534419543059/231025255744879393032844\ 62538*c_0101_5^14 - 109016811150057252571216935/1777117351883687638\ 714189426*c_0101_5^13 + 1543447734160141826939985612/11551262787243\ 969651642231269*c_0101_5^12 - 10941330793523517252369042613/2310252\ 5574487939303284462538*c_0101_5^11 - 50698270218294048942756648933/23102525574487939303284462538*c_0101_\ 5^10 - 28918133838616172599175817851/11551262787243969651642231269*\ c_0101_5^9 - 1742314045564903062405087864/1155126278724396965164223\ 1269*c_0101_5^8 + 166837418339477838467312015833/231025255744879393\ 03284462538*c_0101_5^7 + 102032231623451351988337075795/11551262787\ 243969651642231269*c_0101_5^6 + 1826874063762294625702901/102223564\ 488884687182674613*c_0101_5^5 - 12294377175881512486671930409/16501\ 80398177709950234604467*c_0101_5^4 - 51718666518935642348099916678/11551262787243969651642231269*c_0101_\ 5^3 - 12554698462389853852198443533/11551262787243969651642231269*c\ _0101_5^2 + 39076447717695382304140905679/2310252557448793930328446\ 2538*c_0101_5 + 11433154584058999091624068508/115512627872439696516\ 42231269, c_0101_5^17 - 5*c_0101_5^15 - 17*c_0101_5^14 + 24*c_0101_5^13 - 105*c_0101_5^12 - 587*c_0101_5^11 - 882*c_0101_5^10 - 510*c_0101_5^9 + 1351*c_0101_5^8 + 2612*c_0101_5^7 + 1158*c_0101_5^6 - 874*c_0101_5^5 - 1056*c_0101_5^4 - 624*c_0101_5^3 - 49*c_0101_5^2 + 140*c_0101_5 + 16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB