Magma V2.19-8 Tue Aug 20 2013 16:17:50 on localhost [Seed = 223121903] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2068 geometric_solution 5.58674181 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 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.419321619349 0.203861443139 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 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 0 1 -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.651788320591 0.733906354072 1 4 5 3 0132 0132 0132 2310 0 0 0 0 0 0 0 0 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 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.062093016265 1.133872040809 2 5 4 1 3201 1023 3201 0132 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 1 0 -1 0 0 0 0 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.062093016265 1.133872040809 3 2 4 4 2310 0132 1230 3012 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 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.085935283734 1.341999110458 3 6 6 2 1023 0132 1023 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 -1 0 0 1 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.367458315692 0.451814940468 6 5 5 6 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.790990010451 0.842077284879 ==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_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), '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_0101_6'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), '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_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], '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_3, c_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 3305218849122435/4857154209892321*c_0101_6^24 + 160697522270411740/14571462629676963*c_0101_6^22 - 671518907770109515/14571462629676963*c_0101_6^20 + 561265695096838691/29142925259353926*c_0101_6^18 + 1544646053682533849/9714308419784642*c_0101_6^16 - 271681489919469057/9714308419784642*c_0101_6^14 - 4926304540754790177/9714308419784642*c_0101_6^12 + 4902318191864827625/9714308419784642*c_0101_6^10 - 29124649454334674641/29142925259353926*c_0101_6^8 + 89655488024940124295/29142925259353926*c_0101_6^6 - 55708826048641287646/14571462629676963*c_0101_6^4 + 29987332164820536685/14571462629676963*c_0101_6^2 - 12385183639148606497/29142925259353926, c_0011_0 - 1, c_0011_1 + 26183371277247/4857154209892321*c_0101_6^24 - 471088375208879/9714308419784642*c_0101_6^22 - 1360340656490775/9714308419784642*c_0101_6^20 + 3803014438373348/4857154209892321*c_0101_6^18 + 7781585523293959/4857154209892321*c_0101_6^16 - 6328391868171723/4857154209892321*c_0101_6^14 - 48815419790181373/9714308419784642*c_0101_6^12 - 20951295406641047/9714308419784642*c_0101_6^10 + 10896319472228970/4857154209892321*c_0101_6^8 + 133324570353168157/9714308419784642*c_0101_6^6 - 107318245051237071/9714308419784642*c_0101_6^4 - 7918847169522608/4857154209892321*c_0101_6^2 + 3269447717033964/4857154209892321, c_0011_3 + 412146215767443/9714308419784642*c_0101_6^25 - 4021142125076565/9714308419784642*c_0101_6^23 - 6993223176462361/9714308419784642*c_0101_6^21 + 28492061448811190/4857154209892321*c_0101_6^19 + 90747524976265517/9714308419784642*c_0101_6^17 - 111757735266420393/9714308419784642*c_0101_6^15 - 298252787974953367/9714308419784642*c_0101_6^13 - 117995625785893131/9714308419784642*c_0101_6^11 + 171385925710918879/9714308419784642*c_0101_6^9 + 407003580859565645/4857154209892321*c_0101_6^7 - 816253791213971975/9714308419784642*c_0101_6^5 + 124487504574432268/4857154209892321*c_0101_6^3 - 14999807239910749/9714308419784642*c_0101_6, c_0101_0 - 1762732502336913/9714308419784642*c_0101_6^25 + 11072750031231460/4857154209892321*c_0101_6^23 - 16236575748080031/4857154209892321*c_0101_6^21 - 74274290268042521/4857154209892321*c_0101_6^19 + 5293187014361239/4857154209892321*c_0101_6^17 + 445497177067966161/9714308419784642*c_0101_6^15 + 61873606066566452/4857154209892321*c_0101_6^13 + 123938598382131652/4857154209892321*c_0101_6^11 - 1653279299540061445/9714308419784642*c_0101_6^9 + 523328307476405840/4857154209892321*c_0101_6^7 + 20241271547696204/4857154209892321*c_0101_6^5 - 81222949596948057/4857154209892321*c_0101_6^3 + 15079859947148014/4857154209892321*c_0101_6, c_0101_1 + 669145116020833/4857154209892321*c_0101_6^24 - 17160919262950201/9714308419784642*c_0101_6^22 + 14587689751164554/4857154209892321*c_0101_6^20 + 52275197771561912/4857154209892321*c_0101_6^18 - 17731928787073886/4857154209892321*c_0101_6^16 - 162066052428807526/4857154209892321*c_0101_6^14 + 2169776903968603/9714308419784642*c_0101_6^12 - 91722862567074803/4857154209892321*c_0101_6^10 + 644727616679739218/4857154209892321*c_0101_6^8 - 1179548214789083577/9714308419784642*c_0101_6^6 + 129752771434699017/4857154209892321*c_0101_6^4 + 17940664112443533/4857154209892321*c_0101_6^2 - 614524939577084/4857154209892321, c_0101_4 - 289146307134167/4857154209892321*c_0101_6^25 + 2658670906118131/4857154209892321*c_0101_6^23 + 14076066800294229/9714308419784642*c_0101_6^21 - 44115883345978510/4857154209892321*c_0101_6^19 - 151360692202451847/9714308419784642*c_0101_6^17 + 86868541075948429/4857154209892321*c_0101_6^15 + 250215504810502318/4857154209892321*c_0101_6^13 + 146150301785712709/9714308419784642*c_0101_6^11 - 103035119013698179/4857154209892321*c_0101_6^9 - 1481429132452090721/9714308419784642*c_0101_6^7 + 1497628960554076515/9714308419784642*c_0101_6^5 - 233497237896735744/4857154209892321*c_0101_6^3 + 19100866171968277/9714308419784642*c_0101_6, c_0101_6^26 - 14*c_0101_6^24 + 37*c_0101_6^22 + 51*c_0101_6^20 - 115*c_0101_6^18 - 204*c_0101_6^16 + 276*c_0101_6^14 - 167*c_0101_6^12 + 1146*c_0101_6^10 - 2019*c_0101_6^8 + 1354*c_0101_6^6 - 371*c_0101_6^4 + 25*c_0101_6^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB