Magma V2.19-8 Tue Aug 20 2013 16:15:55 on localhost [Seed = 779072021] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0156 geometric_solution 3.64616698 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 2310 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.544863487357 0.041825951025 0 0 1 1 0132 3201 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.514978347243 0.015113502771 3 0 3 0 0132 0132 2310 1023 0 0 0 0 0 -1 1 0 -1 0 0 1 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 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 -1.859754802831 0.804429015200 2 2 4 5 0132 3201 0132 0132 0 0 0 0 0 -1 1 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 -1 0 1 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 1.275495601457 0.937666527623 5 6 5 3 1302 0132 1230 0132 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 1 -1 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.999054605162 0.504347437866 6 4 3 4 2310 2031 0132 3012 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 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.999054605162 0.504347437866 6 4 5 6 3201 0132 3201 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 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.202336609681 0.402680178949 ==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' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0101_6']), 'c_1100_4' : negation(d['c_0101_6']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0101_6']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(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' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0101_6']), 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0101_3']})} 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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 4968685748337396666445971712/8681387722911702902726671*c_0101_6^22 - 49140583832846675112055448997/8681387722911702902726671*c_0101_6^21 - 427695553380305088421161816624/8681387722911702902726671*c_0101_6\ ^20 + 841995182970051974529926809459/8681387722911702902726671*c_01\ 01_6^19 + 7292652612420321498158962366613/8681387722911702902726671\ *c_0101_6^18 - 5110441616925256866791996451520/86813877229117029027\ 26671*c_0101_6^17 - 49568254561208010286586017482466/86813877229117\ 02902726671*c_0101_6^16 + 17452682927834036409277795171138/86813877\ 22911702902726671*c_0101_6^15 + 168668262720824617427957480497165/8\ 681387722911702902726671*c_0101_6^14 - 38248632171532915070956129835469/8681387722911702902726671*c_0101_6\ ^13 - 323126268127424137369016070057116/8681387722911702902726671*c\ _0101_6^12 + 55702782595439963703615147948604/868138772291170290272\ 6671*c_0101_6^11 + 366985618369231120097495550726590/86813877229117\ 02902726671*c_0101_6^10 - 54789699191614463900018081342621/86813877\ 22911702902726671*c_0101_6^9 - 248604086911009735809173881593706/86\ 81387722911702902726671*c_0101_6^8 + 36969184435133380863443902468797/8681387722911702902726671*c_0101_6\ ^7 + 96618607706064874415879229036587/8681387722911702902726671*c_0\ 101_6^6 - 16849629235381308017830211224417/868138772291170290272667\ 1*c_0101_6^5 - 19274805241660964999524877601572/8681387722911702902\ 726671*c_0101_6^4 + 4608987079812956976006572572382/868138772291170\ 2902726671*c_0101_6^3 + 1394142452778391282811757263463/86813877229\ 11702902726671*c_0101_6^2 - 526098294053561062831045896061/86813877\ 22911702902726671*c_0101_6 + 42067343043205120841921416548/86813877\ 22911702902726671, c_0011_0 - 1, c_0011_4 - 128242523131494811239519770/8681387722911702902726671*c_0101\ _6^22 + 1254929580354178077866046124/8681387722911702902726671*c_01\ 01_6^21 + 11175081312814887675719112588/8681387722911702902726671*c\ _0101_6^20 - 20613764564141044466674699830/868138772291170290272667\ 1*c_0101_6^19 - 190825863082877298977415893597/86813877229117029027\ 26671*c_0101_6^18 + 112665238782018014462108907908/8681387722911702\ 902726671*c_0101_6^17 + 1298400070152723091661656378585/86813877229\ 11702902726671*c_0101_6^16 - 317447893271074005851357897678/8681387\ 722911702902726671*c_0101_6^15 - 4431315339388883237787400738964/86\ 81387722911702902726671*c_0101_6^14 + 527625991344569456026919416311/8681387722911702902726671*c_0101_6^1\ 3 + 8525867553990250004752918631582/8681387722911702902726671*c_010\ 1_6^12 - 548768030754242860527514675303/8681387722911702902726671*c\ _0101_6^11 - 9728408998020986611160965686121/8681387722911702902726\ 671*c_0101_6^10 + 406831468708942755688413840842/868138772291170290\ 2726671*c_0101_6^9 + 6616379224066636413590705494934/86813877229117\ 02902726671*c_0101_6^8 - 290099753640306983185090339743/86813877229\ 11702902726671*c_0101_6^7 - 2578292353506881764177723590511/8681387\ 722911702902726671*c_0101_6^6 + 196397488504767450840926909420/8681\ 387722911702902726671*c_0101_6^5 + 517345864868868390132164794692/8681387722911702902726671*c_0101_6^4 - 79206657429432129616511719401/8681387722911702902726671*c_0101_6^\ 3 - 39521012019804912576186429892/8681387722911702902726671*c_0101_\ 6^2 + 11343458341437597245344377687/8681387722911702902726671*c_010\ 1_6 - 795115095098070281294296806/8681387722911702902726671, c_0101_0 + 303567577391461260898520180/8681387722911702902726671*c_0101\ _6^22 - 3002394720120013578786049341/8681387722911702902726671*c_01\ 01_6^21 - 26128183758283895903954856572/8681387722911702902726671*c\ _0101_6^20 + 51427150117287668875005761945/868138772291170290272667\ 1*c_0101_6^19 + 445500048526664314703523031630/86813877229117029027\ 26671*c_0101_6^18 - 311257745714231227152932305650/8681387722911702\ 902726671*c_0101_6^17 - 3027214430366129415349463686283/86813877229\ 11702902726671*c_0101_6^16 + 1051532164274769126573829229812/868138\ 7722911702902726671*c_0101_6^15 + 10290253418459195780868514964617/\ 8681387722911702902726671*c_0101_6^14 - 2245425837392498980165357853199/8681387722911702902726671*c_0101_6^\ 13 - 19666360352195008422279754995984/8681387722911702902726671*c_0\ 101_6^12 + 3124522472110564260964712708151/868138772291170290272667\ 1*c_0101_6^11 + 22229049966739010562584656193035/868138772291170290\ 2726671*c_0101_6^10 - 2886696481610195262711973045014/8681387722911\ 702902726671*c_0101_6^9 - 14924918651125761711441639181409/86813877\ 22911702902726671*c_0101_6^8 + 1833717696782274344334676059518/8681\ 387722911702902726671*c_0101_6^7 + 5710229087585025178713384680569/8681387722911702902726671*c_0101_6^\ 6 - 816590680624603739205081516422/8681387722911702902726671*c_0101\ _6^5 - 1111343807084854370724145271836/8681387722911702902726671*c_\ 0101_6^4 + 228373357114514344020895189621/8681387722911702902726671\ *c_0101_6^3 + 78919894737307018580402225946/86813877229117029027266\ 71*c_0101_6^2 - 26576023727083362151306957635/868138772291170290272\ 6671*c_0101_6 + 2014173897485444942031257616/8681387722911702902726\ 671, c_0101_1 - 4425527655150836367443048/8681387722911702902726671*c_0101_6\ ^22 + 48199949250418140604720567/8681387722911702902726671*c_0101_6\ ^21 + 336530856531453820976181245/8681387722911702902726671*c_0101_\ 6^20 - 1122926526314186033525855956/8681387722911702902726671*c_010\ 1_6^19 - 5719919863373421710851818026/8681387722911702902726671*c_0\ 101_6^18 + 10723088621482314343741538289/8681387722911702902726671*\ c_0101_6^17 + 39116050306625319540134708564/86813877229117029027266\ 71*c_0101_6^16 - 55318683038825596670248951776/86813877229117029027\ 26671*c_0101_6^15 - 130501999420015456286493468842/8681387722911702\ 902726671*c_0101_6^14 + 158197565505986173628644350004/868138772291\ 1702902726671*c_0101_6^13 + 237337158689188859293710405675/86813877\ 22911702902726671*c_0101_6^12 - 259120506726914903933533967895/8681\ 387722911702902726671*c_0101_6^11 - 244692517741439869553308605542/8681387722911702902726671*c_0101_6^1\ 0 + 246923394597664462984779593454/8681387722911702902726671*c_0101\ _6^9 + 139030805967856066972956336280/8681387722911702902726671*c_0\ 101_6^8 - 134708208925607938389523244255/8681387722911702902726671*\ c_0101_6^7 - 37401168734038849482575879123/868138772291170290272667\ 1*c_0101_6^6 + 39575562950336328420373967347/8681387722911702902726\ 671*c_0101_6^5 + 1783287255801434840512751465/868138772291170290272\ 6671*c_0101_6^4 - 5352884737646218777059239629/86813877229117029027\ 26671*c_0101_6^3 + 748871052292231436147123724/86813877229117029027\ 26671*c_0101_6^2 + 169852507163435443178848855/86813877229117029027\ 26671*c_0101_6 - 40215330717201716788436140/86813877229117029027266\ 71, c_0101_2 - 1100330173605521620814140/8681387722911702902726671*c_0101_6\ ^22 + 13324265897439887510103717/8681387722911702902726671*c_0101_6\ ^21 + 70029063197796308350436746/8681387722911702902726671*c_0101_6\ ^20 - 389395877728923516316721981/8681387722911702902726671*c_0101_\ 6^19 - 1174746886529356681098650216/8681387722911702902726671*c_010\ 1_6^18 + 4457081139802102627901735290/8681387722911702902726671*c_0\ 101_6^17 + 7999803172535609943386151299/8681387722911702902726671*c\ _0101_6^16 - 24941350978707941264265802603/868138772291170290272667\ 1*c_0101_6^15 - 25242786826878668555669517210/868138772291170290272\ 6671*c_0101_6^14 + 72434265512460500410899263088/868138772291170290\ 2726671*c_0101_6^13 + 40667774228049724319753850337/868138772291170\ 2902726671*c_0101_6^12 - 116271654266256144324514701848/86813877229\ 11702902726671*c_0101_6^11 - 32988686190542627776991521652/86813877\ 22911702902726671*c_0101_6^10 + 105709751670237042880823382016/8681\ 387722911702902726671*c_0101_6^9 + 9685063239753827262152690944/8681387722911702902726671*c_0101_6^8 - 53051310346779407484484311107/8681387722911702902726671*c_0101_6^7 + 3405672001733052393648545284/8681387722911702902726671*c_0101_6^6 + 13171620464434637773488183907/8681387722911702902726671*c_0101_6^5 - 2929794094695986010115941325/8681387722911702902726671*c_0101_6^4 - 1083982753623366537723971297/8681387722911702902726671*c_0101_6^3 + 502416455661251561808497113/8681387722911702902726671*c_0101_6^2 - 47614465191912199110672786/8681387722911702902726671*c_0101_6 + 3899618213253884655930207/8681387722911702902726671, c_0101_3 + 258163288981858914107195314/8681387722911702902726671*c_0101\ _6^22 - 2529900278349431086785292744/8681387722911702902726671*c_01\ 01_6^21 - 22452970851515338740483679028/8681387722911702902726671*c\ _0101_6^20 + 41735251172229842355708984042/868138772291170290272667\ 1*c_0101_6^19 + 382861001020348973089801091196/86813877229117029027\ 26671*c_0101_6^18 - 231041868294835790997776599305/8681387722911702\ 902726671*c_0101_6^17 - 2598894729626224975949460363580/86813877229\ 11702902726671*c_0101_6^16 + 670817245361159904955660625211/8681387\ 722911702902726671*c_0101_6^15 + 8836168962230278873859729109265/86\ 81387722911702902726671*c_0101_6^14 - 1178680222247618629659418068042/8681387722911702902726671*c_0101_6^\ 13 - 16911160305200664837392633372678/8681387722911702902726671*c_0\ 101_6^12 + 1337337930505144173739187439680/868138772291170290272667\ 1*c_0101_6^11 + 19162947864042595710571909483927/868138772291170290\ 2726671*c_0101_6^10 - 1080444523268402176653886119048/8681387722911\ 702902726671*c_0101_6^9 - 12917157758252366834158876483920/86813877\ 22911702902726671*c_0101_6^8 + 741727898232479978514251265920/86813\ 87722911702902726671*c_0101_6^7 + 4975836754610518709454840404676/8\ 681387722911702902726671*c_0101_6^6 - 435660736972186515365398000677/8681387722911702902726671*c_0101_6^5 - 982809827766157515138053961835/8681387722911702902726671*c_0101_6\ ^4 + 158217274457183170882007616973/8681387722911702902726671*c_010\ 1_6^3 + 73176957835065814262364363268/8681387722911702902726671*c_0\ 101_6^2 - 21409214263386964035923702910/8681387722911702902726671*c\ _0101_6 + 1509922534109551493633736644/8681387722911702902726671, c_0101_6^23 - 10*c_0101_6^22 - 85*c_0101_6^21 + 179*c_0101_6^20 + 1450*c_0101_6^19 - 1190*c_0101_6^18 - 9877*c_0101_6^17 + 4595*c_0101_6^16 + 33635*c_0101_6^15 - 11314*c_0101_6^14 - 64355*c_0101_6^13 + 17978*c_0101_6^12 + 72766*c_0101_6^11 - 18497*c_0101_6^10 - 48768*c_0101_6^9 + 12342*c_0101_6^8 + 18469*c_0101_6^7 - 5239*c_0101_6^6 - 3421*c_0101_6^5 + 1287*c_0101_6^4 + 166*c_0101_6^3 - 130*c_0101_6^2 + 20*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB