Magma V2.19-8 Tue Aug 20 2013 16:14:54 on localhost [Seed = 2513701374] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s872 geometric_solution 5.55943615 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 0 1 -1 0 0 1 -1 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 1 0 -1 -1 0 1 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.522949400804 0.691249940146 0 3 5 4 0132 0132 0132 0132 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 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.512250252486 0.553040173063 3 0 4 5 3201 0132 3201 2310 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 -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.512250252486 0.553040173063 3 1 3 2 2310 0132 3201 2310 0 0 0 0 0 0 0 0 1 0 0 -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 1 0 0 -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.401380403490 1.367167584442 2 4 1 4 2310 2310 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.782791065587 1.339003123897 2 5 5 1 3201 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.803038030803 0.670789735394 ==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_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_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_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0101_5']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : negation(d['c_0101_0'])})} 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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 79783702784456612248334930/24838866482994230123866653*c_0101_5^16 + 578992794862841454971986450/24838866482994230123866653*c_0101_5^15 + 157012989587487834345747206/8279622160998076707955551*c_0101_5^14 + 47518824151419078065194928/8279622160998076707955551*c_0101_5^13 + 2489574995825641187196061780/8279622160998076707955551*c_0101_5^12 - 13234493134817904114530762105/24838866482994230123866653*c_0101_5^1\ 1 + 4313404190355262287130596898/24838866482994230123866653*c_0101_\ 5^10 + 10015274319138316421892549278/24838866482994230123866653*c_0\ 101_5^9 - 12606493269883556488739191658/8279622160998076707955551*c\ _0101_5^8 + 10665495715522169336680555379/8279622160998076707955551\ *c_0101_5^7 + 45968095752842439853521236429/24838866482994230123866\ 653*c_0101_5^6 - 55068544779484464352203890471/24838866482994230123\ 866653*c_0101_5^5 - 25707680283033354424015017100/24838866482994230\ 123866653*c_0101_5^4 + 49643014018485527239615047740/24838866482994\ 230123866653*c_0101_5^3 - 16702363300982993057541843616/24838866482\ 994230123866653*c_0101_5^2 - 293234394336703354131546689/2759874053\ 666025569318517*c_0101_5 - 328487463867010808390460406/248388664829\ 94230123866653, c_0011_0 - 1, c_0011_4 + 525101718301001807419955/8279622160998076707955551*c_0101_5^\ 16 + 3686996973966855858634303/8279622160998076707955551*c_0101_5^1\ 5 + 742270348661444922489050/2759874053666025569318517*c_0101_5^14 + 144744459312027761211044/2759874053666025569318517*c_0101_5^13 + 16495505098415817851217718/2759874053666025569318517*c_0101_5^12 - 98013295929818527418766662/8279622160998076707955551*c_0101_5^11 + 51691504051092832176180019/8279622160998076707955551*c_0101_5^10 + 60241546501752619308414596/8279622160998076707955551*c_0101_5^9 - 89209244176255890238933151/2759874053666025569318517*c_0101_5^8 + 90016796467662475931197166/2759874053666025569318517*c_0101_5^7 + 247475254869425192704659983/8279622160998076707955551*c_0101_5^6 - 445558097445191077585305263/8279622160998076707955551*c_0101_5^5 - 64997576119280987884154857/8279622160998076707955551*c_0101_5^4 + 386268039991421534055401927/8279622160998076707955551*c_0101_5^3 - 204951296117978072322116668/8279622160998076707955551*c_0101_5^2 - 131028902005366310779165/919958017888675189772839*c_0101_5 + 11223405434470100790144194/8279622160998076707955551, c_0101_0 + 1779681467529057462146/919958017888675189772839*c_0101_5^16 + 2651455795596654666686/919958017888675189772839*c_0101_5^15 - 65353913685964773822506/919958017888675189772839*c_0101_5^14 - 71389864567015385299332/919958017888675189772839*c_0101_5^13 + 105075843459512618968656/919958017888675189772839*c_0101_5^12 - 1333484431765431323517444/919958017888675189772839*c_0101_5^11 + 1571587426049495478685898/919958017888675189772839*c_0101_5^10 - 570294049273302188748494/919958017888675189772839*c_0101_5^9 - 2189213223106680618590719/919958017888675189772839*c_0101_5^8 + 5569181790077889218133097/919958017888675189772839*c_0101_5^7 - 2633136953933241814929718/919958017888675189772839*c_0101_5^6 - 6368547691622023634508947/919958017888675189772839*c_0101_5^5 + 6761517185281361500659245/919958017888675189772839*c_0101_5^4 + 2894775155147909790858471/919958017888675189772839*c_0101_5^3 - 7375907135010453885113407/919958017888675189772839*c_0101_5^2 + 2892243065460200327471318/919958017888675189772839*c_0101_5 + 447177709503737990607274/919958017888675189772839, c_0101_1 - 89012497558632638041305/919958017888675189772839*c_0101_5^16 - 629580511202293874570644/919958017888675189772839*c_0101_5^15 - 403765724403819046891959/919958017888675189772839*c_0101_5^14 - 43904441888435801208633/919958017888675189772839*c_0101_5^13 - 8305930353146487712938004/919958017888675189772839*c_0101_5^12 + 16266930957010609551972514/919958017888675189772839*c_0101_5^11 - 7303282505247261249481172/919958017888675189772839*c_0101_5^10 - 10991231254333087969386587/919958017888675189772839*c_0101_5^9 + 44494372668625138796836231/919958017888675189772839*c_0101_5^8 - 42945631292470635132190286/919958017888675189772839*c_0101_5^7 - 46045002107064244849698176/919958017888675189772839*c_0101_5^6 + 72737884588236445138398697/919958017888675189772839*c_0101_5^5 + 19698624644273405447720389/919958017888675189772839*c_0101_5^4 - 63847005587476868315324229/919958017888675189772839*c_0101_5^3 + 27555809967956219180811020/919958017888675189772839*c_0101_5^2 + 2365579065357184154247509/919958017888675189772839*c_0101_5 - 1361066445339997190444951/919958017888675189772839, c_0101_2 - 2807997242320828082/37350948752872846281*c_0101_5^16 - 20069538536812223926/37350948752872846281*c_0101_5^15 - 4702522423707782813/12450316250957615427*c_0101_5^14 - 502528186784998022/12450316250957615427*c_0101_5^13 - 86999259579395293177/12450316250957615427*c_0101_5^12 + 495026966672282333528/37350948752872846281*c_0101_5^11 - 180819725368677165859/37350948752872846281*c_0101_5^10 - 375220311444970302956/37350948752872846281*c_0101_5^9 + 461452297871411494913/12450316250957615427*c_0101_5^8 - 413498358434971224542/12450316250957615427*c_0101_5^7 - 1608251576702700472400/37350948752872846281*c_0101_5^6 + 2212696447585125559952/37350948752872846281*c_0101_5^5 + 827203938219494193694/37350948752872846281*c_0101_5^4 - 2022454734013329826067/37350948752872846281*c_0101_5^3 + 707674258212846728497/37350948752872846281*c_0101_5^2 + 22324635171095991663/4150105416985871809*c_0101_5 - 49272041689385176763/37350948752872846281, c_0101_5^17 + 7*c_0101_5^16 + 4*c_0101_5^15 + 93*c_0101_5^13 - 190*c_0101_5^12 + 93*c_0101_5^11 + 119*c_0101_5^10 - 511*c_0101_5^9 + 519*c_0101_5^8 + 493*c_0101_5^7 - 860*c_0101_5^6 - 160*c_0101_5^5 + 738*c_0101_5^4 - 369*c_0101_5^3 - 7*c_0101_5^2 + 22*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB