Magma V2.19-8 Tue Aug 20 2013 16:17:25 on localhost [Seed = 1764292000] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1657 geometric_solution 5.39751832 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.525314256071 0.578900170922 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.710013889846 0.407712375852 3 1 4 5 2103 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 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 1.060480393965 0.758881514882 4 5 2 1 1023 0132 2103 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 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 1.060480393965 0.758881514882 6 3 6 2 0132 1023 1023 0132 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 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.879739515482 0.495577224459 5 3 2 5 3012 0132 0132 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.535411150481 0.646526302014 4 6 4 6 0132 1302 1023 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 -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.593069550298 0.167670342970 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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_3']), '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_0101_2'], 'c_0101_5' : negation(d['c_0011_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], '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_1001_1'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_1']), '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' : negation(d['c_0011_1']), 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : negation(d['c_0011_1']), 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_1001_1'], 'c_1010_2' : d['c_1001_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_2, c_0101_4, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 166949819625475656700004/441856068013213138876275*c_1001_1^14 + 51904804460518747845577/49095118668134793208475*c_1001_1^13 - 5662719254246859799372928/441856068013213138876275*c_1001_1^12 - 6454238244454497914236822/441856068013213138876275*c_1001_1^11 + 3620032819165898368812547/49095118668134793208475*c_1001_1^10 + 24937914915032493166053203/147285356004404379625425*c_1001_1^9 - 99050678566844416541162642/441856068013213138876275*c_1001_1^8 - 71166367512532150109029288/147285356004404379625425*c_1001_1^7 + 82970602841906899172867719/441856068013213138876275*c_1001_1^6 + 60478528267773032982636373/88371213602642627775255*c_1001_1^5 + 65128722270790624848397577/441856068013213138876275*c_1001_1^4 - 7833933743950744923960785/17674242720528525555051*c_1001_1^3 - 13251752211300574215379648/49095118668134793208475*c_1001_1^2 + 38928503389943552483489512/441856068013213138876275*c_1001_1 + 35407936687097500582787728/441856068013213138876275, c_0011_0 - 1, c_0011_1 + 1256521703921436/4933302719176709*c_1001_1^14 + 3156406702980715/4933302719176709*c_1001_1^13 - 43990719604833172/4933302719176709*c_1001_1^12 - 36774638505993166/4933302719176709*c_1001_1^11 + 272822500022175931/4933302719176709*c_1001_1^10 + 484331097211346611/4933302719176709*c_1001_1^9 - 987162772323803346/4933302719176709*c_1001_1^8 - 1414632838264174691/4933302719176709*c_1001_1^7 + 1489727593539638614/4933302719176709*c_1001_1^6 + 1982309961116504803/4933302719176709*c_1001_1^5 - 845551515291424397/4933302719176709*c_1001_1^4 - 1319275276370273165/4933302719176709*c_1001_1^3 + 58935127123435854/4933302719176709*c_1001_1^2 + 288801362045018730/4933302719176709*c_1001_1 + 36749904934163166/4933302719176709, c_0011_3 + 14657013701966840294/63348540216948120269*c_1001_1^14 + 40473931525556538130/63348540216948120269*c_1001_1^13 - 503487842923432237119/63348540216948120269*c_1001_1^12 - 556447355197193884385/63348540216948120269*c_1001_1^11 + 3057734368480372784338/63348540216948120269*c_1001_1^10 + 6454818541887376226349/63348540216948120269*c_1001_1^9 - 10002709980598923594837/63348540216948120269*c_1001_1^8 - 19346483718873748507387/63348540216948120269*c_1001_1^7 + 12739104717312184973243/63348540216948120269*c_1001_1^6 + 27598282718995955694051/63348540216948120269*c_1001_1^5 - 3246665511255394761306/63348540216948120269*c_1001_1^4 - 18171256441874814225218/63348540216948120269*c_1001_1^3 - 3710272239089897844378/63348540216948120269*c_1001_1^2 + 3758949688471906479018/63348540216948120269*c_1001_1 + 1389452955272201327169/63348540216948120269, c_0101_0 + 543878931675305/4933302719176709*c_1001_1^14 + 2370442971573545/4933302719176709*c_1001_1^13 - 16700793536274208/4933302719176709*c_1001_1^12 - 51442900357298367/4933302719176709*c_1001_1^11 + 95284560666092730/4933302719176709*c_1001_1^10 + 429855225440008913/4933302719176709*c_1001_1^9 - 81566712391868638/4933302719176709*c_1001_1^8 - 1452683771487537718/4933302719176709*c_1001_1^7 - 314232399914450522/4933302719176709*c_1001_1^6 + 2182318868359325175/4933302719176709*c_1001_1^5 + 934642775375484703/4933302719176709*c_1001_1^4 - 1423194452907858347/4933302719176709*c_1001_1^3 - 830135065677175904/4933302719176709*c_1001_1^2 + 293309259009461448/4933302719176709*c_1001_1 + 196921477818220050/4933302719176709, c_0101_2 + 8096121557189294018/63348540216948120269*c_1001_1^14 + 17334318302486082817/63348540216948120269*c_1001_1^13 - 290686940571790600532/63348540216948120269*c_1001_1^12 - 131520555701232713343/63348540216948120269*c_1001_1^11 + 1833881678044095329674/63348540216948120269*c_1001_1^10 + 2475886178052136344939/63348540216948120269*c_1001_1^9 - 7435291125855332676627/63348540216948120269*c_1001_1^8 - 6733449267303574547226/63348540216948120269*c_1001_1^7 + 12552498894463523233920/63348540216948120269*c_1001_1^6 + 9171113396517178919529/63348540216948120269*c_1001_1^5 - 9328911501241393265744/63348540216948120269*c_1001_1^4 - 6428513663945038111246/63348540216948120269*c_1001_1^3 + 2822714941411657622534/63348540216948120269*c_1001_1^2 + 1528693902689371425525/63348540216948120269*c_1001_1 - 227971759672423360642/63348540216948120269, c_0101_4 - 2666811522935743387/63348540216948120269*c_1001_1^14 - 9871330510779062132/63348540216948120269*c_1001_1^13 + 84863726495651146448/63348540216948120269*c_1001_1^12 + 187998051320118808050/63348540216948120269*c_1001_1^11 - 467616358994380243779/63348540216948120269*c_1001_1^10 - 1710419953280197475436/63348540216948120269*c_1001_1^9 + 772268670573847352733/63348540216948120269*c_1001_1^8 + 5348799011345984011223/63348540216948120269*c_1001_1^7 + 788893367979431449040/63348540216948120269*c_1001_1^6 - 7734963413093859922575/63348540216948120269*c_1001_1^5 - 3610380653803968319352/63348540216948120269*c_1001_1^4 + 4767156614867864465225/63348540216948120269*c_1001_1^3 + 3292396357795104824706/63348540216948120269*c_1001_1^2 - 816567752185897378871/63348540216948120269*c_1001_1 - 785191583922178570713/63348540216948120269, c_1001_1^15 + 2*c_1001_1^14 - 37*c_1001_1^13 - 13*c_1001_1^12 + 257*c_1001_1^11 + 291*c_1001_1^10 - 1138*c_1001_1^9 - 971*c_1001_1^8 + 2351*c_1001_1^7 + 1670*c_1001_1^6 - 2412*c_1001_1^5 - 1670*c_1001_1^4 + 1192*c_1001_1^3 + 848*c_1001_1^2 - 213*c_1001_1 - 155 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB