Magma V2.19-8 Tue Aug 20 2013 16:14:25 on localhost [Seed = 1882319986] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s418 geometric_solution 4.68904872 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 1 2 1 3 0132 0132 0213 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.661958020359 0.627962472896 0 0 3 2 0132 0213 1230 2103 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 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.664639861332 1.234665858218 4 0 4 1 0132 0132 1023 2103 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 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.653661271372 0.786894411965 5 5 0 1 0132 3201 0132 3012 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 0.916499043211 1.420350859544 2 4 2 4 0132 1302 1023 2031 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 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.520548752921 0.148455417563 3 5 3 5 0132 1302 2310 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.841525932621 0.671945316909 ==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' : negation(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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : 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' : negation(d['1']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_0']), 'c_1100_1' : negation(d['c_0101_4']), 'c_1100_0' : negation(d['c_1001_0']), 'c_1100_3' : negation(d['c_1001_0']), 'c_1100_2' : d['c_0011_0'], 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], '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' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_0'], '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' : d['c_0101_1'], 'c_1001_4' : d['c_0101_2'], 'c_1001_1' : d['c_1001_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_4'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_4']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : d['c_0011_0'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_0']), 'c_1010_0' : d['c_0101_4']})} 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_3, c_0101_1, c_0101_2, c_0101_4, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 1256943107250867195/2759280702295528*c_1001_0^18 - 299489516290839885/1379640351147764*c_1001_0^17 + 4873900787448860539/1379640351147764*c_1001_0^16 - 8711594701407871995/2759280702295528*c_1001_0^15 - 39714516219174227841/2759280702295528*c_1001_0^14 - 6830908091000301677/344910087786941*c_1001_0^13 + 11957261084796216463/1379640351147764*c_1001_0^12 + 128714035170019450597/2759280702295528*c_1001_0^11 + 49080885467899958915/1379640351147764*c_1001_0^10 + 236794728343990320763/2759280702295528*c_1001_0^9 + 20151904676711020217/2759280702295528*c_1001_0^8 - 203140359405279899665/2759280702295528*c_1001_0^7 - 87755700178606173931/2759280702295528*c_1001_0^6 - 50791374063717377177/2759280702295528*c_1001_0^5 + 87371043880905114493/2759280702295528*c_1001_0^4 + 41918419873553395945/2759280702295528*c_1001_0^3 - 13902704789386668105/1379640351147764*c_1001_0^2 - 4978081727704769133/2759280702295528*c_1001_0 + 2598206294709597329/2759280702295528, c_0011_0 - 1, c_0011_3 - 18708377405457786/344910087786941*c_1001_0^18 + 10090818128547374/344910087786941*c_1001_0^17 - 145206256733415523/344910087786941*c_1001_0^16 + 139022465296401432/344910087786941*c_1001_0^15 + 586370456414793266/344910087786941*c_1001_0^14 + 776749617735743271/344910087786941*c_1001_0^13 - 422510932537199645/344910087786941*c_1001_0^12 - 1926924548163230405/344910087786941*c_1001_0^11 - 1358941499454709770/344910087786941*c_1001_0^10 - 3393267194976734065/344910087786941*c_1001_0^9 - 4139776605214631/344910087786941*c_1001_0^8 + 3179186587880580330/344910087786941*c_1001_0^7 + 1239398707897907923/344910087786941*c_1001_0^6 + 669656661920697096/344910087786941*c_1001_0^5 - 1404018396161812822/344910087786941*c_1001_0^4 - 598519700345706239/344910087786941*c_1001_0^3 + 441943414015730228/344910087786941*c_1001_0^2 + 69788009124034165/344910087786941*c_1001_0 - 40179474369620908/344910087786941, c_0101_1 + 4322813374047072/344910087786941*c_1001_0^18 - 2688760978912282/344910087786941*c_1001_0^17 + 33446130072176567/344910087786941*c_1001_0^16 - 34896725171454214/344910087786941*c_1001_0^15 - 135177329655566643/344910087786941*c_1001_0^14 - 167340353645974644/344910087786941*c_1001_0^13 + 122112892685334022/344910087786941*c_1001_0^12 + 454947213549219411/344910087786941*c_1001_0^11 + 281035345871319896/344910087786941*c_1001_0^10 + 730888700104583602/344910087786941*c_1001_0^9 - 100383668917223945/344910087786941*c_1001_0^8 - 811286544529587961/344910087786941*c_1001_0^7 - 270284928770882745/344910087786941*c_1001_0^6 - 110646531046926964/344910087786941*c_1001_0^5 + 365381748446916973/344910087786941*c_1001_0^4 + 140518975242995856/344910087786941*c_1001_0^3 - 117756575105306778/344910087786941*c_1001_0^2 - 17859980322747003/344910087786941*c_1001_0 + 11172579800414869/344910087786941, c_0101_2 - 8120139686829659/344910087786941*c_1001_0^18 + 4950876594629507/344910087786941*c_1001_0^17 - 62832002620120493/344910087786941*c_1001_0^16 + 64819676607892381/344910087786941*c_1001_0^15 + 254200228793182533/344910087786941*c_1001_0^14 + 317987947300165014/344910087786941*c_1001_0^13 - 223433655215078336/344910087786941*c_1001_0^12 - 854764099301019251/344910087786941*c_1001_0^11 - 540014647556205235/344910087786941*c_1001_0^10 - 1386106091242203022/344910087786941*c_1001_0^9 + 167305192586556379/344910087786941*c_1001_0^8 + 1514068865856724443/344910087786941*c_1001_0^7 + 526744886055336014/344910087786941*c_1001_0^6 + 225291560456308993/344910087786941*c_1001_0^5 - 681162476951774492/344910087786941*c_1001_0^4 - 270173886551261304/344910087786941*c_1001_0^3 + 213377396275708191/344910087786941*c_1001_0^2 + 34280670214636354/344910087786941*c_1001_0 - 19052808766056944/344910087786941, c_0101_4 + 1634052395134790/344910087786941*c_1001_0^18 - 1136376920200009/344910087786941*c_1001_0^17 + 12654221943063578/344910087786941*c_1001_0^16 - 14138555182248627/344910087786941*c_1001_0^15 - 50624392546703700/344910087786941*c_1001_0^14 - 59445269024643002/344910087786941*c_1001_0^13 + 52925569762841715/344910087786941*c_1001_0^12 + 172965011520143096/344910087786941*c_1001_0^11 + 95435134119664018/344910087786941*c_1001_0^10 + 262732654502730103/344910087786941*c_1001_0^9 - 67762644193491577/344910087786941*c_1001_0^8 - 322158689259447609/344910087786941*c_1001_0^7 - 93355277550738676/344910087786941*c_1001_0^6 - 32317081965413651/344910087786941*c_1001_0^5 + 149164601991090000/344910087786941*c_1001_0^4 + 50833146482529030/344910087786941*c_1001_0^3 - 48119673941076507/344910087786941*c_1001_0^2 - 5773763607986478/344910087786941*c_1001_0 + 4322813374047072/344910087786941, c_1001_0^19 - c_1001_0^18 + 8*c_1001_0^17 - 11*c_1001_0^16 - 28*c_1001_0^15 - 27*c_1001_0^14 + 42*c_1001_0^13 + 93*c_1001_0^12 + 25*c_1001_0^11 + 147*c_1001_0^10 - 84*c_1001_0^9 - 172*c_1001_0^8 + 12*c_1001_0^7 - 4*c_1001_0^6 + 92*c_1001_0^5 - 2*c_1001_0^4 - 39*c_1001_0^3 + 7*c_1001_0^2 + 4*c_1001_0 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB