Magma V2.19-8 Tue Aug 20 2013 16:14:46 on localhost [Seed = 21011815] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s760 geometric_solution 5.30126512 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 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 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 1.630668341330 0.493592360372 0 2 3 0 3201 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 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.766799437604 0.564373882909 4 1 3 5 0132 0132 1302 0132 0 0 0 0 0 1 0 -1 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 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.502708855213 0.566908133220 2 5 4 1 2031 1023 0132 0132 0 0 0 0 0 1 0 -1 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 1 0 -1 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.502708855213 0.566908133220 2 4 4 3 0132 1230 3012 0132 0 0 0 0 0 0 0 0 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 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.567369399572 0.935573593190 3 5 2 5 1023 2310 0132 3201 0 0 0 0 0 0 1 -1 -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 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.591135902608 0.837888589166 ==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' : negation(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_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : negation(d['c_0011_1']), 'c_1001_1' : d['c_0110_5'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_3']), 'c_1010_5' : negation(d['c_0110_5']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0110_5'], '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_4, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 145268619727188885935/26776096123085865869*c_0110_5^20 + 493111312038541016190/26776096123085865869*c_0110_5^19 - 941109339344104084632/26776096123085865869*c_0110_5^18 - 5457606221984187730529/26776096123085865869*c_0110_5^17 - 13069575344257269886148/26776096123085865869*c_0110_5^16 + 12286355538005011157731/26776096123085865869*c_0110_5^15 + 101320204302089296556084/26776096123085865869*c_0110_5^14 + 9721629405718009522391/26776096123085865869*c_0110_5^13 - 196227951688237694067190/26776096123085865869*c_0110_5^12 - 69865045461220556712192/26776096123085865869*c_0110_5^11 + 161145520637094779079309/26776096123085865869*c_0110_5^10 + 104839095236307584207550/26776096123085865869*c_0110_5^9 - 32986537590778685907956/26776096123085865869*c_0110_5^8 - 20125076570072966979829/26776096123085865869*c_0110_5^7 - 9265338596517933181720/26776096123085865869*c_0110_5^6 - 55601133292565987971986/26776096123085865869*c_0110_5^5 - 33631411774217092389239/26776096123085865869*c_0110_5^4 + 15050120669387581333278/26776096123085865869*c_0110_5^3 + 17659085348252742505972/26776096123085865869*c_0110_5^2 + 554954729463093138716/26776096123085865869*c_0110_5 - 2676404961236948299810/26776096123085865869, c_0011_0 - 1, c_0011_1 - 59200710483978821996/26776096123085865869*c_0110_5^20 - 352551574045936888176/26776096123085865869*c_0110_5^19 - 591855830907151678982/26776096123085865869*c_0110_5^18 + 291228470425381748742/26776096123085865869*c_0110_5^17 + 5409974464908652256669/26776096123085865869*c_0110_5^16 + 9207582517740673823275/26776096123085865869*c_0110_5^15 - 11378856362134724645204/26776096123085865869*c_0110_5^14 - 23042746643546438562432/26776096123085865869*c_0110_5^13 + 6902303299416665038588/26776096123085865869*c_0110_5^12 + 24222224761729403838845/26776096123085865869*c_0110_5^11 + 5535215269999313226316/26776096123085865869*c_0110_5^10 - 8099225245553229008811/26776096123085865869*c_0110_5^9 - 3085785833857903451290/26776096123085865869*c_0110_5^8 - 4021497811002034830483/26776096123085865869*c_0110_5^7 - 7027858797089003558952/26776096123085865869*c_0110_5^6 - 861828133558217060728/26776096123085865869*c_0110_5^5 + 3668657664184295674271/26776096123085865869*c_0110_5^4 + 1804402937622736039631/26776096123085865869*c_0110_5^3 - 433526759513013070550/26776096123085865869*c_0110_5^2 - 335345230537907914391/26776096123085865869*c_0110_5 - 14819816598464346505/26776096123085865869, c_0011_3 + 56226908815309585535/26776096123085865869*c_0110_5^20 + 335700228546949425248/26776096123085865869*c_0110_5^19 + 575721940569814172607/26776096123085865869*c_0110_5^18 - 219590922573196199308/26776096123085865869*c_0110_5^17 - 5064835073140682449481/26776096123085865869*c_0110_5^16 - 8857531400628095934460/26776096123085865869*c_0110_5^15 + 9947083417209045167193/26776096123085865869*c_0110_5^14 + 20880893541278318824610/26776096123085865869*c_0110_5^13 - 4717101167490878640830/26776096123085865869*c_0110_5^12 - 20791702033716621576888/26776096123085865869*c_0110_5^11 - 6157018876653062071381/26776096123085865869*c_0110_5^10 + 5640926331686011376965/26776096123085865869*c_0110_5^9 + 1962869654112845909449/26776096123085865869*c_0110_5^8 + 4001690198043327796430/26776096123085865869*c_0110_5^7 + 7014754938412721999050/26776096123085865869*c_0110_5^6 + 1698146978619250403839/26776096123085865869*c_0110_5^5 - 2602082199925672443172/26776096123085865869*c_0110_5^4 - 1469945190625066676543/26776096123085865869*c_0110_5^3 + 233335800240498446942/26776096123085865869*c_0110_5^2 + 149546468516418428357/26776096123085865869*c_0110_5 - 7671699090670298995/26776096123085865869, c_0101_0 + 91086401204764845010/26776096123085865869*c_0110_5^20 + 628267027196205003418/26776096123085865869*c_0110_5^19 + 1406018490504151680625/26776096123085865869*c_0110_5^18 + 326358024113595215708/26776096123085865869*c_0110_5^17 - 8848541287197315259176/26776096123085865869*c_0110_5^16 - 21860758457181952219821/26776096123085865869*c_0110_5^15 + 5509737317612949125550/26776096123085865869*c_0110_5^14 + 53520426977023358040488/26776096123085865869*c_0110_5^13 + 18650214849430429056100/26776096123085865869*c_0110_5^12 - 50884342340263609876142/26776096123085865869*c_0110_5^11 - 39213011322023136181299/26776096123085865869*c_0110_5^10 + 8448175109971294951771/26776096123085865869*c_0110_5^9 + 15218939113776048733874/26776096123085865869*c_0110_5^8 + 8845384418530512673156/26776096123085865869*c_0110_5^7 + 16803421372089631793767/26776096123085865869*c_0110_5^6 + 10499621288453304934244/26776096123085865869*c_0110_5^5 - 5410384102495988528610/26776096123085865869*c_0110_5^4 - 7503556470207936456396/26776096123085865869*c_0110_5^3 - 1279560568051185290538/26776096123085865869*c_0110_5^2 + 1139944544379875474686/26776096123085865869*c_0110_5 + 309210318259136608297/26776096123085865869, c_0101_4 + 5447003021845325700/26776096123085865869*c_0110_5^20 + 36242204397119242816/26776096123085865869*c_0110_5^19 + 81139356574759452833/26776096123085865869*c_0110_5^18 + 38947275691870383911/26776096123085865869*c_0110_5^17 - 453766229645290392279/26776096123085865869*c_0110_5^16 - 1175134131548512717916/26776096123085865869*c_0110_5^15 + 76044783894567172130/26776096123085865869*c_0110_5^14 + 1893338203382898992482/26776096123085865869*c_0110_5^13 + 1018063761486147964576/26776096123085865869*c_0110_5^12 - 494717600703281219821/26776096123085865869*c_0110_5^11 - 1187527155044214164145/26776096123085865869*c_0110_5^10 - 1552091318040082599191/26776096123085865869*c_0110_5^9 - 740232138224747246892/26776096123085865869*c_0110_5^8 + 815723776388227963817/26776096123085865869*c_0110_5^7 + 1173427889384282093227/26776096123085865869*c_0110_5^6 + 789960638581274532265/26776096123085865869*c_0110_5^5 + 562432583734433229334/26776096123085865869*c_0110_5^4 + 165289999853816870426/26776096123085865869*c_0110_5^3 - 171123445778454632109/26776096123085865869*c_0110_5^2 - 144626937416805065251/26776096123085865869*c_0110_5 - 8541262533417191454/26776096123085865869, c_0110_5^21 + 6*c_0110_5^20 + 10*c_0110_5^19 - 6*c_0110_5^18 - 94*c_0110_5^17 - 158*c_0110_5^16 + 209*c_0110_5^15 + 435*c_0110_5^14 - 155*c_0110_5^13 - 506*c_0110_5^12 - 69*c_0110_5^11 + 230*c_0110_5^10 + 70*c_0110_5^9 + 35*c_0110_5^8 + 113*c_0110_5^7 + 3*c_0110_5^6 - 89*c_0110_5^5 - 34*c_0110_5^4 + 21*c_0110_5^3 + 12*c_0110_5^2 - 2*c_0110_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB