Magma V2.19-8 Tue Aug 20 2013 16:18:45 on localhost [Seed = 3751690923] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2917 geometric_solution 6.11699529 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 2 0132 0132 0132 1302 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.999633654084 0.658074918612 0 4 6 5 0132 0132 0132 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 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.244081562720 1.144509204517 4 0 0 6 0132 0132 2031 0321 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 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.402719586917 1.217538642206 3 3 4 0 1302 2031 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.275986207812 0.641298171890 2 1 5 3 0132 0132 2031 3012 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 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.246698491969 0.499128042003 5 5 1 4 1230 3012 0132 1302 0 0 0 0 0 -1 0 1 0 0 0 0 1 0 0 -1 1 -1 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.450329982234 0.541092557303 6 2 6 1 2310 0321 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.230431084216 0.992050916582 ==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' : 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_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : d['c_0101_0'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_6']), 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_0101_1'], 'c_0101_6' : negation(d['c_0101_1']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_6']), 'c_0101_3' : negation(d['c_0011_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' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], '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' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : d['c_0011_3'], 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_6']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : negation(d['c_0011_5']), 'c_1010_0' : negation(d['c_0101_1'])})} 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_5, c_0011_6, c_0101_0, c_0101_1, c_0101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 83061697302106849830357369/115083035887544612582337281*c_0101_2^16 - 215404917721488692869185536/115083035887544612582337281*c_0101_2^15 + 754434772129337436122684276/115083035887544612582337281*c_0101_2^\ 14 + 2192997575873265466614302504/115083035887544612582337281*c_010\ 1_2^13 - 3399255058925516010847382080/115083035887544612582337281*c\ _0101_2^12 - 8164625840396680518204549143/1150830358875446125823372\ 81*c_0101_2^11 + 14650365534504817242044947341/11508303588754461258\ 2337281*c_0101_2^10 + 20328250454740715449792300625/115083035887544\ 612582337281*c_0101_2^9 - 46214063461474958935418211159/11508303588\ 7544612582337281*c_0101_2^8 - 16219590417627925374956200436/1150830\ 35887544612582337281*c_0101_2^7 + 79197853559621403932815922260/115\ 083035887544612582337281*c_0101_2^6 - 23429038487670167813163101227/115083035887544612582337281*c_0101_2^\ 5 - 80444513436743990063948856566/115083035887544612582337281*c_010\ 1_2^4 + 100380203291896089171282478225/115083035887544612582337281*\ c_0101_2^3 - 38784898020602297104328081518/115083035887544612582337\ 281*c_0101_2^2 - 11180361952817371912727949045/11508303588754461258\ 2337281*c_0101_2 + 16803913221284614892270029246/115083035887544612\ 582337281, c_0011_0 - 1, c_0011_3 + 44582065021255522084748/1456747289715754589649839*c_0101_2^1\ 6 + 119953972474868666281076/1456747289715754589649839*c_0101_2^15 - 386316934849254960378590/1456747289715754589649839*c_0101_2^14 - 1193689253645542464808860/1456747289715754589649839*c_0101_2^13 + 1655038789315368356279492/1456747289715754589649839*c_0101_2^12 + 4338979608109244663682804/1456747289715754589649839*c_0101_2^11 - 7249404451219193499712908/1456747289715754589649839*c_0101_2^10 - 10857162328158162632145727/1456747289715754589649839*c_0101_2^9 + 22873922757252111793075162/1456747289715754589649839*c_0101_2^8 + 8791345776162802131769903/1456747289715754589649839*c_0101_2^7 - 38905529315401972731194345/1456747289715754589649839*c_0101_2^6 + 11635900372753358990328599/1456747289715754589649839*c_0101_2^5 + 39429875342713415042033161/1456747289715754589649839*c_0101_2^4 - 51213381875664330316875653/1456747289715754589649839*c_0101_2^3 + 21736630810612029185200633/1456747289715754589649839*c_0101_2^2 + 4627269647973723697154247/1456747289715754589649839*c_0101_2 - 7318108822419825293838269/1456747289715754589649839, c_0011_5 - 42334999145693291810204/1456747289715754589649839*c_0101_2^1\ 6 - 113185906794154977066305/1456747289715754589649839*c_0101_2^15 + 366886997880354314320282/1456747289715754589649839*c_0101_2^14 + 1118955391285211752809294/1456747289715754589649839*c_0101_2^13 - 1588562408186408718549200/1456747289715754589649839*c_0101_2^12 - 4035210517926920396511351/1456747289715754589649839*c_0101_2^11 + 7001957690203953745682553/1456747289715754589649839*c_0101_2^10 + 10087577921707155588942328/1456747289715754589649839*c_0101_2^9 - 21929470648801407034203586/1456747289715754589649839*c_0101_2^8 - 7741367821283348081057526/1456747289715754589649839*c_0101_2^7 + 36967543737417197536002007/1456747289715754589649839*c_0101_2^6 - 11705220256163431449624522/1456747289715754589649839*c_0101_2^5 - 36753706437186544951308816/1456747289715754589649839*c_0101_2^4 + 48547586048707032372032123/1456747289715754589649839*c_0101_2^3 - 22693860445997772843851665/1456747289715754589649839*c_0101_2^2 - 2126993194855576863690380/1456747289715754589649839*c_0101_2 + 7590368422646153657973582/1456747289715754589649839, c_0011_6 + 2253993467185434521037/1456747289715754589649839*c_0101_2^16 + 12478333550607616016656/1456747289715754589649839*c_0101_2^15 + 2036325678615975164980/1456747289715754589649839*c_0101_2^14 - 106318511519034879148401/1456747289715754589649839*c_0101_2^13 - 136180499387380459287552/1456747289715754589649839*c_0101_2^12 + 341340119754873025060823/1456747289715754589649839*c_0101_2^11 + 503842611380305368449404/1456747289715754589649839*c_0101_2^10 - 1085813377797494323348009/1456747289715754589649839*c_0101_2^9 - 1385376542463569114724560/1456747289715754589649839*c_0101_2^8 + 2454172593902144469412422/1456747289715754589649839*c_0101_2^7 + 2480676734869310293693864/1456747289715754589649839*c_0101_2^6 - 3508814082815199433899092/1456747289715754589649839*c_0101_2^5 - 1962068175007305114230234/1456747289715754589649839*c_0101_2^4 + 3592998589946796981359998/1456747289715754589649839*c_0101_2^3 - 413934478400736655034172/1456747289715754589649839*c_0101_2^2 - 1533399402774430042767937/1456747289715754589649839*c_0101_2 + 484709555067679754902165/1456747289715754589649839, c_0101_0 + 41784617714957363178320/1456747289715754589649839*c_0101_2^1\ 6 + 106848938651514518629106/1456747289715754589649839*c_0101_2^15 - 386201290193134515806280/1456747289715754589649839*c_0101_2^14 - 1105101170728059806021153/1456747289715754589649839*c_0101_2^13 + 1743723889730219713443355/1456747289715754589649839*c_0101_2^12 + 4160165893292262260791324/1456747289715754589649839*c_0101_2^11 - 7359710748721054766357400/1456747289715754589649839*c_0101_2^10 - 10252715299809356929704917/1456747289715754589649839*c_0101_2^9 + 23252563749718651928778887/1456747289715754589649839*c_0101_2^8 + 8342161813734371098072574/1456747289715754589649839*c_0101_2^7 - 39298027368366901886293821/1456747289715754589649839*c_0101_2^6 + 11330179662540687146639154/1456747289715754589649839*c_0101_2^5 + 39511531581669377809125413/1456747289715754589649839*c_0101_2^4 - 50015632601977752364850990/1456747289715754589649839*c_0101_2^3 + 20173046735612419535197030/1456747289715754589649839*c_0101_2^2 + 3486696365057045274296379/1456747289715754589649839*c_0101_2 - 7108913828544525129137701/1456747289715754589649839, c_0101_1 + 12047767477422508138430/1456747289715754589649839*c_0101_2^1\ 6 + 32327785632991597214812/1456747289715754589649839*c_0101_2^15 - 107259038506280030122367/1456747289715754589649839*c_0101_2^14 - 334793269280758674903244/1456747289715754589649839*c_0101_2^13 + 447575088092611770863946/1456747289715754589649839*c_0101_2^12 + 1261093116463562413992096/1456747289715754589649839*c_0101_2^11 - 1854623083058908728100146/1456747289715754589649839*c_0101_2^10 - 3134053460230013907055566/1456747289715754589649839*c_0101_2^9 + 5958031727253062749755373/1456747289715754589649839*c_0101_2^8 + 3137198630773802333975435/1456747289715754589649839*c_0101_2^7 - 9810422701298746313279034/1456747289715754589649839*c_0101_2^6 + 1761777163691289813353652/1456747289715754589649839*c_0101_2^5 + 9475519925927204068983773/1456747289715754589649839*c_0101_2^4 - 12158674975581443293204328/1456747289715754589649839*c_0101_2^3 + 5797078761351083026439883/1456747289715754589649839*c_0101_2^2 - 459364509875692818229306/1456747289715754589649839*c_0101_2 - 2523732838478572801289131/1456747289715754589649839, c_0101_2^17 + 3*c_0101_2^16 - 8*c_0101_2^15 - 30*c_0101_2^14 + 30*c_0101_2^13 + 114*c_0101_2^12 - 136*c_0101_2^11 - 313*c_0101_2^10 + 455*c_0101_2^9 + 412*c_0101_2^8 - 867*c_0101_2^7 - 91*c_0101_2^6 + 1070*c_0101_2^5 - 824*c_0101_2^4 - 7*c_0101_2^3 + 311*c_0101_2^2 - 148*c_0101_2 - 79 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB