Magma V2.19-8 Tue Aug 20 2013 16:17:50 on localhost [Seed = 795784141] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2070 geometric_solution 5.58800289 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 2 0132 3201 2310 0132 0 0 0 0 0 -1 -1 2 0 0 0 0 -1 1 0 0 -1 0 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 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.690369524105 0.888705076987 0 3 2 4 0132 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 1 -1 1 -1 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 -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.276481951991 0.970796465596 1 4 0 3 2310 1023 0132 1023 0 0 0 0 0 1 -2 1 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 -1 1 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.276481951991 0.970796465596 5 1 5 2 0132 0132 2310 1023 0 0 0 0 0 0 0 0 1 0 0 -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 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 1.016566324182 0.820604416263 2 4 1 4 1023 1302 0132 2031 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 0 0 0 0 0 0 0 0.243887891785 1.128647536791 3 3 6 6 0132 3201 3201 0132 0 0 0 0 0 0 0 0 -1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.394600777210 0.224644658868 5 6 5 6 2310 2310 0132 3201 0 0 0 0 0 -1 0 1 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 0 0 0 0 0 0 0 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.434614914174 0.379747361568 ==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' : negation(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_2_6' : d['1'], 's_1_6' : 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' : d['1'], 's_1_0' : negation(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' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_2']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_0']), 'c_0011_4' : 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' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0011_2'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : d['c_0101_5'], 'c_1010_0' : 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_2, c_0011_6, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 263574328974881936874618785636/4169668997439458456470327603*c_0101_\ 5^25 + 489342837358980171241491032545/4169668997439458456470327603*\ c_0101_5^24 + 9751623507771716748101385290957/166786759897578338258\ 81310412*c_0101_5^23 - 5736894242424888067284580168199/416966899743\ 9458456470327603*c_0101_5^22 - 21157207264023243507770277363827/166\ 78675989757833825881310412*c_0101_5^21 + 45982701615971386049921191130525/8339337994878916912940655206*c_010\ 1_5^20 - 35928588622610100387995657464961/1667867598975783382588131\ 0412*c_0101_5^19 - 37089474893183866784307304593864/416966899743945\ 8456470327603*c_0101_5^18 + 203690119778489812403882983086999/16678\ 675989757833825881310412*c_0101_5^17 + 14440705169625414470566666672025/8339337994878916912940655206*c_010\ 1_5^16 - 287004352030749694179468966703099/166786759897578338258813\ 10412*c_0101_5^15 + 52701735024268498299315203041626/41696689974394\ 58456470327603*c_0101_5^14 + 61471668780278373243032313269797/83393\ 37994878916912940655206*c_0101_5^13 - 281700813992418305853872851458333/16678675989757833825881310412*c_0\ 101_5^12 + 22326681451340287482060402131701/41696689974394584564703\ 27603*c_0101_5^11 + 143977119375904880668151263525191/1667867598975\ 7833825881310412*c_0101_5^10 - 146505608017038712968210423487351/16\ 678675989757833825881310412*c_0101_5^9 + 585535822835293479573522938535/8339337994878916912940655206*c_0101_\ 5^8 + 81445675557063133450732316282235/1667867598975783382588131041\ 2*c_0101_5^7 - 39068211401862274837279748342417/1667867598975783382\ 5881310412*c_0101_5^6 - 15817339286887876088912313704125/1667867598\ 9757833825881310412*c_0101_5^5 + 16686517205561713548250638925981/1\ 6678675989757833825881310412*c_0101_5^4 - 670105345569347402540278467593/8339337994878916912940655206*c_0101_\ 5^3 - 624933350061648053015682764335/4169668997439458456470327603*c\ _0101_5^2 + 50229565971451331331495922055/1516243271796166711443755\ 492*c_0101_5 + 63630525981846596865996589682/4169668997439458456470\ 327603, c_0011_0 - 1, c_0011_2 + 4239684512236734508968321208/379060817949041677860938873*c_0\ 101_5^25 - 10994196971419087398128761342/37906081794904167786093887\ 3*c_0101_5^24 - 78696865061324992328319917107/758121635898083355721\ 877746*c_0101_5^23 + 128266344950532887619833014936/379060817949041\ 677860938873*c_0101_5^22 + 154118965184946796666433638453/758121635\ 898083355721877746*c_0101_5^21 - 1045479710288267327271027091909/75\ 8121635898083355721877746*c_0101_5^20 + 234240404970150111045791889828/379060817949041677860938873*c_0101_5\ ^19 + 1790281249892451742031457812107/758121635898083355721877746*c\ _0101_5^18 - 2362619096330969281184190049417/7581216358980833557218\ 77746*c_0101_5^17 - 330283365549235736340159785332/3790608179490416\ 77860938873*c_0101_5^16 + 3686036386873396943458321809431/758121635\ 898083355721877746*c_0101_5^15 - 2145529742634663823009717634477/75\ 8121635898083355721877746*c_0101_5^14 - 2240397130634145431217854338161/758121635898083355721877746*c_0101_\ 5^13 + 1809024538241254473246817310977/379060817949041677860938873*\ c_0101_5^12 - 200225724954431184018827225566/3790608179490416778609\ 38873*c_0101_5^11 - 1262119515285825394945362878535/379060817949041\ 677860938873*c_0101_5^10 + 1630652154458243207079173998789/75812163\ 5898083355721877746*c_0101_5^9 + 607838160014484608686526595855/758\ 121635898083355721877746*c_0101_5^8 - 1265574808331960918465791310069/758121635898083355721877746*c_0101_\ 5^7 + 293735061532522321114066222633/758121635898083355721877746*c_\ 0101_5^6 + 499740485908844617609164725495/7581216358980833557218777\ 46*c_0101_5^5 - 111459641301146657988454672277/37906081794904167786\ 0938873*c_0101_5^4 - 50492892693584851789766928073/3790608179490416\ 77860938873*c_0101_5^3 + 24547897603010370375224818754/379060817949\ 041677860938873*c_0101_5^2 + 3594511390807708586090554657/379060817\ 949041677860938873*c_0101_5 - 3276458072762357486926603609/75812163\ 5898083355721877746, c_0011_6 - 24810193907514328447469892/1441295885737801056505471*c_0101_\ 5^25 + 37559697078995540934829285/1441295885737801056505471*c_0101_\ 5^24 + 1002107286426110064041396249/5765183542951204226021884*c_010\ 1_5^23 - 1845768002739882464164695667/5765183542951204226021884*c_0\ 101_5^22 - 2962439903130774293624728785/5765183542951204226021884*c\ _0101_5^21 + 8034902752755756789138860017/5765183542951204226021884\ *c_0101_5^20 + 487795243776275558799141555/576518354295120422602188\ 4*c_0101_5^19 - 15679829191931374948057501453/576518354295120422602\ 1884*c_0101_5^18 + 12836064231191896344162558371/576518354295120422\ 6021884*c_0101_5^17 + 11277307192707629284801249545/576518354295120\ 4226021884*c_0101_5^16 - 25238349644056156704334035199/576518354295\ 1204226021884*c_0101_5^15 + 7237053649167885038461589991/5765183542\ 951204226021884*c_0101_5^14 + 4916412954834286934933423630/14412958\ 85737801056505471*c_0101_5^13 - 19894794277606384499627922579/57651\ 83542951204226021884*c_0101_5^12 - 3743651605396800501063262971/5765183542951204226021884*c_0101_5^11 + 15829697115172062496936999359/5765183542951204226021884*c_0101_5^10 - 3161867774131319184820544063/2882591771475602113010942*c_0101_5^9 - 5391359391667189687467368281/5765183542951204226021884*c_0101_5^8 + 6526931333967554859162275405/5765183542951204226021884*c_0101_5^7 + 28651434273350654853033631/2882591771475602113010942*c_0101_5^6 - 653553385621155775154295603/1441295885737801056505471*c_0101_5^5 + 85269312755321568352090775/1441295885737801056505471*c_0101_5^4 + 423974898334573245070610123/5765183542951204226021884*c_0101_5^3 - 14261758696517678400155671/1441295885737801056505471*c_0101_5^2 - 15639898265732774153583417/5765183542951204226021884*c_0101_5 + 300038576608580548456813/5765183542951204226021884, c_0101_0 + 15199333855726244474178316728/379060817949041677860938873*c_\ 0101_5^25 - 17979199148528240514343926266/3790608179490416778609388\ 73*c_0101_5^24 - 316326882172921311544016290693/7581216358980833557\ 21877746*c_0101_5^23 + 928839612430000029214147424315/1516243271796\ 166711443755492*c_0101_5^22 + 1030183395314264576898149818123/75812\ 1635898083355721877746*c_0101_5^21 - 4302531348162730731989939666563/1516243271796166711443755492*c_0101\ _5^20 - 709994081606589248349962579717/758121635898083355721877746*\ c_0101_5^19 + 9247665732658050949306166811679/151624327179616671144\ 3755492*c_0101_5^18 - 2788161836212053819085270002941/7581216358980\ 83355721877746*c_0101_5^17 - 8472214599050867311706921694287/151624\ 3271796166711443755492*c_0101_5^16 + 3429387803588227283656235812830/379060817949041677860938873*c_0101_\ 5^15 - 1157042435467389979225451640795/1516243271796166711443755492\ *c_0101_5^14 - 6443410975212901662959305078473/75812163589808335572\ 1877746*c_0101_5^13 + 4850718274166072393783772170747/7581216358980\ 83355721877746*c_0101_5^12 + 4680287578621466331989068926721/151624\ 3271796166711443755492*c_0101_5^11 - 2328243880597315804820063678146/379060817949041677860938873*c_0101_\ 5^10 + 2204477312059349893747476722055/1516243271796166711443755492\ *c_0101_5^9 + 4185269271585776345891292116225/151624327179616671144\ 3755492*c_0101_5^8 - 880390777235084838255774723327/379060817949041\ 677860938873*c_0101_5^7 - 738143769013948172370475989373/1516243271\ 796166711443755492*c_0101_5^6 + 1640599279788613386969093094535/151\ 6243271796166711443755492*c_0101_5^5 - 68774290001169523703914433903/1516243271796166711443755492*c_0101_5\ ^4 - 326308269513643083448685987845/1516243271796166711443755492*c_\ 0101_5^3 + 21583623270858489681637822437/75812163589808335572187774\ 6*c_0101_5^2 + 5853091091112918611437142288/37906081794904167786093\ 8873*c_0101_5 - 3266405114863546698431231783/1516243271796166711443\ 755492, c_0101_1 + 12399413597383233931610476/1441295885737801056505471*c_0101_\ 5^25 + 3145316084604264162001173/1441295885737801056505471*c_0101_5\ ^24 - 634541242563738846463323743/5765183542951204226021884*c_0101_\ 5^23 + 23470607114417303964559657/2882591771475602113010942*c_0101_\ 5^22 + 3113792497474969943556881651/5765183542951204226021884*c_010\ 1_5^21 - 375080736593509829939225400/1441295885737801056505471*c_01\ 01_5^20 - 7276699898682906989136319345/5765183542951204226021884*c_\ 0101_5^19 + 1937037429594740757795175986/1441295885737801056505471*\ c_0101_5^18 + 7013842069774247297258159267/576518354295120422602188\ 4*c_0101_5^17 - 4330937456214708669634325451/1441295885737801056505\ 471*c_0101_5^16 + 3656174921731143676741849647/57651835429512042260\ 21884*c_0101_5^15 + 9136976531993362763337594125/288259177147560211\ 3010942*c_0101_5^14 - 8597763673667393006738465627/2882591771475602\ 113010942*c_0101_5^13 - 6200932667590892289051430399/57651835429512\ 04226021884*c_0101_5^12 + 4864733799063828438674673399/144129588573\ 7801056505471*c_0101_5^11 - 5727233495108613594916873391/5765183542\ 951204226021884*c_0101_5^10 - 10119328329318481605583814935/5765183\ 542951204226021884*c_0101_5^9 + 4345175301658196224035536045/288259\ 1771475602113010942*c_0101_5^8 + 912115516150695124317059627/576518\ 3542951204226021884*c_0101_5^7 - 5627676022761518872782042571/57651\ 83542951204226021884*c_0101_5^6 + 1518469529627008694070720315/5765\ 183542951204226021884*c_0101_5^5 + 1937187295794630838890395921/5765183542951204226021884*c_0101_5^4 - 145338696316471327343278249/1441295885737801056505471*c_0101_5^3 - 157796127666630821776237151/2882591771475602113010942*c_0101_5^2 + 60005397230456863994955453/5765183542951204226021884*c_0101_5 + 3638432449768405464122916/1441295885737801056505471, c_0101_3 - 13599567903817556125437728/1441295885737801056505471*c_0101_\ 5^25 + 23165070705952967027752784/1441295885737801056505471*c_0101_\ 5^24 + 133752243423651698853302000/1441295885737801056505471*c_0101\ _5^23 - 563379245998283517010415065/2882591771475602113010942*c_010\ 1_5^22 - 718923164547772034909371071/2882591771475602113010942*c_01\ 01_5^21 + 1206827430021059744939164545/1441295885737801056505471*c_\ 0101_5^20 - 313392978759145759889228289/2882591771475602113010942*c\ _0101_5^19 - 4521074308751247261841651015/2882591771475602113010942\ *c_0101_5^18 + 2277661073172761005903084763/14412958857378010565054\ 71*c_0101_5^17 + 2643644200164402748006075039/288259177147560211301\ 0942*c_0101_5^16 - 8061717554634201708361409775/2882591771475602113\ 010942*c_0101_5^15 + 1738623826760337004889943030/14412958857378010\ 56505471*c_0101_5^14 + 5590565448923433354988427119/288259177147560\ 2113010942*c_0101_5^13 - 3566830586043552104451059724/1441295885737\ 801056505471*c_0101_5^12 - 28677926681418640372255718/1441295885737\ 801056505471*c_0101_5^11 + 2588699686798573097933476865/14412958857\ 37801056505471*c_0101_5^10 - 1454295629781558891650952463/144129588\ 5737801056505471*c_0101_5^9 - 1415237347245309803172108431/28825917\ 71475602113010942*c_0101_5^8 + 1196770863779224551466749698/1441295\ 885737801056505471*c_0101_5^7 - 390220017434519044595667443/2882591\ 771475602113010942*c_0101_5^6 - 439173914967171018624061454/1441295\ 885737801056505471*c_0101_5^5 + 333562486830954551813855831/2882591\ 771475602113010942*c_0101_5^4 + 145041968980811703504290427/2882591\ 771475602113010942*c_0101_5^3 - 54941417942177252130209943/28825917\ 71475602113010942*c_0101_5^2 - 4629586276583170955962921/2882591771\ 475602113010942*c_0101_5 + 693103521633866422774283/288259177147560\ 2113010942, c_0101_5^26 - 5/4*c_0101_5^25 - 169/16*c_0101_5^24 + 259/16*c_0101_5^23 + 283/8*c_0101_5^22 - 1215/16*c_0101_5^21 - 219/8*c_0101_5^20 + 2687/16*c_0101_5^19 - 741/8*c_0101_5^18 - 2665/16*c_0101_5^17 + 1983/8*c_0101_5^16 + 33/16*c_0101_5^15 - 4075/16*c_0101_5^14 + 2675/16*c_0101_5^13 + 1835/16*c_0101_5^12 - 1473/8*c_0101_5^11 + 89/4*c_0101_5^10 + 773/8*c_0101_5^9 - 513/8*c_0101_5^8 - 99/4*c_0101_5^7 + 603/16*c_0101_5^6 + 33/16*c_0101_5^5 - 83/8*c_0101_5^4 + 5/16*c_0101_5^3 + 21/16*c_0101_5^2 - 1/16*c_0101_5 - 1/16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB