Magma V2.19-8 Tue Aug 20 2013 16:17:29 on localhost [Seed = 256807893] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1725 geometric_solution 5.43313052 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 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.759241341405 0.590073167742 0 2 3 0 3201 0132 0132 0132 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 1 0 -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.551862762730 0.640731968153 4 1 3 5 0132 0132 1302 0132 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 -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 0.454132062224 0.445061221133 2 5 4 1 2031 1023 1023 0132 0 0 0 0 0 1 0 -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 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.454132062224 0.445061221133 2 6 3 6 0132 0132 1023 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 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.866602355080 1.827329337118 3 5 2 5 1023 2310 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.899889201046 0.662104975931 4 4 6 6 3201 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 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.413581810808 0.191411063875 ==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' : d['c_0011_3'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['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_6' : 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_6' : negation(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_3']), 'c_1001_6' : negation(d['c_0110_6']), '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_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : negation(d['c_0110_5']), 'c_1010_4' : negation(d['c_0110_6']), '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 8 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, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 158936620013305282/6980925318917737*c_0110_6^16 - 3653910959545741179/48866477232424159*c_0110_6^15 + 3696435412177363362/48866477232424159*c_0110_6^14 - 15561722646220405279/48866477232424159*c_0110_6^13 - 26313982914122502747/48866477232424159*c_0110_6^12 - 2177075406080506733/48866477232424159*c_0110_6^11 - 65626018169773146878/48866477232424159*c_0110_6^10 - 79562382661102752643/48866477232424159*c_0110_6^9 - 1736514810064642997/1576337975239489*c_0110_6^8 - 104688916836937188790/48866477232424159*c_0110_6^7 - 10512093134967754692/4442407021129469*c_0110_6^6 - 123428934019966429956/48866477232424159*c_0110_6^5 - 73588586584941803602/48866477232424159*c_0110_6^4 - 5191834961699542298/48866477232424159*c_0110_6^3 - 15688210984322511571/48866477232424159*c_0110_6^2 - 17727294748965391983/48866477232424159*c_0110_6 - 1861942600998737293/48866477232424159, c_0011_0 - 1, c_0011_1 - 20076154341998/20471921756357*c_0110_6^16 - 49365707679175/20471921756357*c_0110_6^15 + 109183039797914/20471921756357*c_0110_6^14 - 365305196469098/20471921756357*c_0110_6^13 - 181179033469794/20471921756357*c_0110_6^12 + 131423073250055/20471921756357*c_0110_6^11 - 1242253518939159/20471921756357*c_0110_6^10 - 447271455193158/20471921756357*c_0110_6^9 - 487084871580948/20471921756357*c_0110_6^8 - 1386556800341218/20471921756357*c_0110_6^7 - 936026643946504/20471921756357*c_0110_6^6 - 1299928468352462/20471921756357*c_0110_6^5 - 136680311629247/20471921756357*c_0110_6^4 + 156741292513527/20471921756357*c_0110_6^3 - 374399934246282/20471921756357*c_0110_6^2 - 54110794481731/20471921756357*c_0110_6 + 42919324507902/20471921756357, c_0011_3 + 5328463790828996/4442407021129469*c_0110_6^16 + 16516006883086106/4442407021129469*c_0110_6^15 - 19550934055792464/4442407021129469*c_0110_6^14 + 80907072231512704/4442407021129469*c_0110_6^13 + 104365681140180748/4442407021129469*c_0110_6^12 + 14415731065676147/4442407021129469*c_0110_6^11 + 316861191821967725/4442407021129469*c_0110_6^10 + 320602253830671013/4442407021129469*c_0110_6^9 + 8619620526196901/143303452294499*c_0110_6^8 + 472799670800744452/4442407021129469*c_0110_6^7 + 500143239871033044/4442407021129469*c_0110_6^6 + 570297983866455686/4442407021129469*c_0110_6^5 + 302902046952805011/4442407021129469*c_0110_6^4 + 37988047699038634/4442407021129469*c_0110_6^3 + 73935090220943285/4442407021129469*c_0110_6^2 + 65883591819121877/4442407021129469*c_0110_6 + 15916021481616591/4442407021129469, c_0101_0 - 1528822730626304/634629574447067*c_0110_6^16 - 4067716041613650/634629574447067*c_0110_6^15 + 7360330052821435/634629574447067*c_0110_6^14 - 26419727946150916/634629574447067*c_0110_6^13 - 18014255833892010/634629574447067*c_0110_6^12 + 2399155333980603/634629574447067*c_0110_6^11 - 89460247990486779/634629574447067*c_0110_6^10 - 54779669444002674/634629574447067*c_0110_6^9 - 1700648433584638/20471921756357*c_0110_6^8 - 108921806459339309/634629574447067*c_0110_6^7 - 99246952828741426/634629574447067*c_0110_6^6 - 116853984946464965/634629574447067*c_0110_6^5 - 36142669200346034/634629574447067*c_0110_6^4 + 6184407682786980/634629574447067*c_0110_6^3 - 21803422335608447/634629574447067*c_0110_6^2 - 10667605999234106/634629574447067*c_0110_6 + 236721128643345/634629574447067, c_0101_4 + 3630862553270364/4442407021129469*c_0110_6^16 + 10266659366264592/4442407021129469*c_0110_6^15 - 16000486769071773/4442407021129469*c_0110_6^14 + 59565608244783909/4442407021129469*c_0110_6^13 + 54143491166698396/4442407021129469*c_0110_6^12 - 1284159115129229/4442407021129469*c_0110_6^11 + 211639098544536693/4442407021129469*c_0110_6^10 + 167254715710263830/4442407021129469*c_0110_6^9 + 4451924124029197/143303452294499*c_0110_6^8 + 283731257068251731/4442407021129469*c_0110_6^7 + 276115394112560841/4442407021129469*c_0110_6^6 + 312399563917031061/4442407021129469*c_0110_6^5 + 136443181508258945/4442407021129469*c_0110_6^4 - 5826231702811561/4442407021129469*c_0110_6^3 + 61121275623169018/4442407021129469*c_0110_6^2 + 40522983529671961/4442407021129469*c_0110_6 + 2697259053594909/4442407021129469, c_0110_5 - 1767961424150902/634629574447067*c_0110_6^16 - 5319281792882117/634629574447067*c_0110_6^15 + 6922579561508725/634629574447067*c_0110_6^14 - 27560367920256442/634629574447067*c_0110_6^13 - 31904562812437955/634629574447067*c_0110_6^12 - 3086628568095589/634629574447067*c_0110_6^11 - 103960643583704077/634629574447067*c_0110_6^10 - 99301318981899046/634629574447067*c_0110_6^9 - 2603743886818742/20471921756357*c_0110_6^8 - 150665219154740587/634629574447067*c_0110_6^7 - 157792501191606073/634629574447067*c_0110_6^6 - 175752208542015834/634629574447067*c_0110_6^5 - 90094092614688457/634629574447067*c_0110_6^4 - 8707992010200041/634629574447067*c_0110_6^3 - 26970468447906636/634629574447067*c_0110_6^2 - 21340937690870238/634629574447067*c_0110_6 - 3308925882832163/634629574447067, c_0110_6^17 + 7/2*c_0110_6^16 - 5/2*c_0110_6^15 + 27/2*c_0110_6^14 + 26*c_0110_6^13 + 19/2*c_0110_6^12 + 59*c_0110_6^11 + 85*c_0110_6^10 + 139/2*c_0110_6^9 + 211/2*c_0110_6^8 + 257/2*c_0110_6^7 + 277/2*c_0110_6^6 + 191/2*c_0110_6^5 + 49/2*c_0110_6^4 + 31/2*c_0110_6^3 + 19*c_0110_6^2 + 13/2*c_0110_6 + 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB