Magma V2.19-8 Tue Aug 20 2013 16:16:26 on localhost [Seed = 3953817348] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0720 geometric_solution 4.67114945 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 0321 0132 0132 0 0 0 0 0 -1 0 1 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 1 -1 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.351757922437 0.647797250271 0 2 3 0 0132 2103 3012 0321 0 0 0 0 0 -1 0 1 0 0 -1 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 1 -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.771846255893 0.771316610732 4 1 4 0 0132 2103 2310 0132 0 0 0 0 0 -1 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 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.785108120214 1.060876252251 5 1 0 5 0132 1230 0132 1023 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 1.146117924764 0.813699976454 2 2 6 6 0132 3201 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.356898771244 0.185110893741 3 5 5 3 0132 1230 3012 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.709947817425 0.290060245104 6 4 6 4 2310 2310 3201 0132 0 0 0 0 0 -1 1 0 -1 0 1 0 -1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.532189831001 0.373708612180 ==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' : negation(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' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : negation(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' : d['c_0011_2'], 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_1001_0'], 'c_1100_0' : negation(d['c_0011_2']), 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : d['c_0011_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : negation(d['c_0011_2']), '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' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_2']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0011_0']), 'c_1001_1' : d['c_0011_2'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_1001_0']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0011_0']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0011_0']), 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0011_0'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_0']), 'c_1010_0' : negation(d['c_1001_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_2, c_0011_6, c_0101_1, c_0101_2, c_0101_5, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 3130827195328412/1565069893741*c_1001_0^18 + 4774190306862693/1565069893741*c_1001_0^17 + 22547671567457980/1565069893741*c_1001_0^16 - 5582347324763057/1565069893741*c_1001_0^15 - 78522507891288484/1565069893741*c_1001_0^14 - 143506814461254467/1565069893741*c_1001_0^13 - 81051578737589514/1565069893741*c_1001_0^12 + 108660105044294905/1565069893741*c_1001_0^11 - 16015297351351970/1565069893741*c_1001_0^10 - 401811993217133381/1565069893741*c_1001_0^9 - 249251602182642400/1565069893741*c_1001_0^8 + 328968758541165428/1565069893741*c_1001_0^7 + 516958067216713388/1565069893741*c_1001_0^6 + 210508890399797279/1565069893741*c_1001_0^5 - 152284755135095247/1565069893741*c_1001_0^4 - 171376095469134850/1565069893741*c_1001_0^3 - 16560119253648767/1565069893741*c_1001_0^2 + 24605615902570729/1565069893741*c_1001_0 + 5999311434130503/1565069893741, c_0011_0 - 1, c_0011_2 - 16434011740498/1565069893741*c_1001_0^18 + 24487504751094/1565069893741*c_1001_0^17 + 119377198947647/1565069893741*c_1001_0^16 - 25412668642085/1565069893741*c_1001_0^15 - 414408003857001/1565069893741*c_1001_0^14 - 766916092189290/1565069893741*c_1001_0^13 - 447355570739458/1565069893741*c_1001_0^12 + 561178312263611/1565069893741*c_1001_0^11 - 63158638651938/1565069893741*c_1001_0^10 - 2121331342544825/1565069893741*c_1001_0^9 - 1380789833930713/1565069893741*c_1001_0^8 + 1703943234722153/1565069893741*c_1001_0^7 + 2777451345146873/1565069893741*c_1001_0^6 + 1171294061161378/1565069893741*c_1001_0^5 - 782149997169403/1565069893741*c_1001_0^4 - 925558223754207/1565069893741*c_1001_0^3 - 103332574831386/1565069893741*c_1001_0^2 + 134733206577534/1565069893741*c_1001_0 + 33311856962556/1565069893741, c_0011_6 - 76581842739290/1565069893741*c_1001_0^18 + 113146587012507/1565069893741*c_1001_0^17 + 558319069815056/1565069893741*c_1001_0^16 - 112612145760052/1565069893741*c_1001_0^15 - 1935635423109620/1565069893741*c_1001_0^14 - 3596855732086799/1565069893741*c_1001_0^13 - 2118971017183831/1565069893741*c_1001_0^12 + 2613053969342121/1565069893741*c_1001_0^11 - 245944764936728/1565069893741*c_1001_0^10 - 9895199213743698/1565069893741*c_1001_0^9 - 6542705346878501/1565069893741*c_1001_0^8 + 7913312803710074/1565069893741*c_1001_0^7 + 13084076267306880/1565069893741*c_1001_0^6 + 5603271773383707/1565069893741*c_1001_0^5 - 3645479122542452/1565069893741*c_1001_0^4 - 4409426581286167/1565069893741*c_1001_0^3 - 535321294808460/1565069893741*c_1001_0^2 + 629318823240113/1565069893741*c_1001_0 + 166324240470749/1565069893741, c_0101_1 + 33311856962556/1565069893741*c_1001_0^18 - 49745868703054/1565069893741*c_1001_0^17 - 242007350949354/1565069893741*c_1001_0^16 + 52753485022535/1565069893741*c_1001_0^15 + 840695612384371/1565069893741*c_1001_0^14 + 1550991556933803/1565069893741*c_1001_0^13 + 898676755938510/1565069893741*c_1001_0^12 - 1146904566953134/1565069893741*c_1001_0^11 + 128124171750383/1565069893741*c_1001_0^10 + 4300694623442898/1565069893741*c_1001_0^9 + 2775511630950907/1565069893741*c_1001_0^8 - 3479436822571741/1565069893741*c_1001_0^7 - 5624665297040167/1565069893741*c_1001_0^6 - 2352574627086751/1565069893741*c_1001_0^5 + 1604348201674606/1565069893741*c_1001_0^4 + 1882798559835077/1565069893741*c_1001_0^3 + 207044912972697/1565069893741*c_1001_0^2 - 269891859644166/1565069893741*c_1001_0 - 66703005091543/1565069893741, c_0101_2 - 2405782543/64728479*c_1001_0^18 + 3528390462/64728479*c_1001_0^17 + 17577455409/64728479*c_1001_0^16 - 3356160153/64728479*c_1001_0^15 - 60831097871/64728479*c_1001_0^14 - 113586200871/64728479*c_1001_0^13 - 67796818980/64728479*c_1001_0^12 + 81126314331/64728479*c_1001_0^11 - 7308446162/64728479*c_1001_0^10 - 311284066627/64728479*c_1001_0^9 - 208742502512/64728479*c_1001_0^8 + 246248302678/64728479*c_1001_0^7 + 412467131877/64728479*c_1001_0^6 + 179507624062/64728479*c_1001_0^5 - 111913139993/64728479*c_1001_0^4 - 138291249741/64728479*c_1001_0^3 - 17499444134/64728479*c_1001_0^2 + 19493667153/64728479*c_1001_0 + 5214446628/64728479, c_0101_5 - 48180798809313/1565069893741*c_1001_0^18 + 71103233666666/1565069893741*c_1001_0^17 + 351994130534555/1565069893741*c_1001_0^16 - 71905874089656/1565069893741*c_1001_0^15 - 1220672078579070/1565069893741*c_1001_0^14 - 2260000063054676/1565069893741*c_1001_0^13 - 1325686418059335/1565069893741*c_1001_0^12 + 1654870502829551/1565069893741*c_1001_0^11 - 158416342633760/1565069893741*c_1001_0^10 - 6249868277676213/1565069893741*c_1001_0^9 - 4098393878813203/1565069893741*c_1001_0^8 + 5026873067919794/1565069893741*c_1001_0^7 + 8214308254938120/1565069893741*c_1001_0^6 + 3470656311860935/1565069893741*c_1001_0^5 - 2312939913838182/1565069893741*c_1001_0^4 - 2756709477095831/1565069893741*c_1001_0^3 - 308812417910342/1565069893741*c_1001_0^2 + 395234646859254/1565069893741*c_1001_0 + 98449792160358/1565069893741, c_1001_0^19 - c_1001_0^18 - 8*c_1001_0^17 - 2*c_1001_0^16 + 26*c_1001_0^15 + 59*c_1001_0^14 + 50*c_1001_0^13 - 21*c_1001_0^12 - 13*c_1001_0^11 + 131*c_1001_0^10 + 147*c_1001_0^9 - 63*c_1001_0^8 - 220*c_1001_0^7 - 154*c_1001_0^6 + 13*c_1001_0^5 + 80*c_1001_0^4 + 34*c_1001_0^3 - 5*c_1001_0^2 - 6*c_1001_0 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB