Magma V2.19-8 Tue Aug 20 2013 16:17:34 on localhost [Seed = 3886447416] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1804 geometric_solution 5.47140540 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -1 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 1 -1 -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.914459966069 1.195078602615 0 4 2 3 0132 3120 1302 1302 0 0 0 0 0 1 0 -1 -1 0 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 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.596166836062 0.527756699206 1 0 5 5 2031 0132 3201 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.250188444626 1.044462170517 3 3 1 0 1302 2031 2031 0132 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 0 1 0 -1 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.416456631691 0.458480013536 6 1 0 6 0132 3120 0132 3201 0 0 0 0 0 -1 0 1 -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 0 0 1 -1 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.047022998661 0.543501717334 2 5 2 5 2310 1302 0132 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.825259446730 1.152833171565 4 4 6 6 0132 2310 1230 3012 0 0 0 0 0 0 1 -1 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 -1 1 -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 2.288496937466 0.708674659304 ==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' : negation(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' : negation(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' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_0'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_0'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0011_0'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_3'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : negation(d['c_0011_0']), 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : d['c_0011_3'], 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0101_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0011_0'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_0'], 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : negation(d['c_0011_4']), 'c_1010_0' : negation(d['c_0101_5'])})} 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_3, c_0011_4, c_0011_5, c_0101_0, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 33 Groebner basis: [ t - 247713708033344866298250802/35757218405207351251355877*c_0101_6^32 - 1831974788197436341298341/1521583761923717074525782*c_0101_6^31 + 719201660329253315235292961/4206731577083217794277162*c_0101_6^30 + 2959204210721115769731284617/71514436810414702502711754*c_0101_6^29 - 2889130893411031484263881379/1521583761923717074525782*c_0101_6^2\ 8 - 711378493403595752739560165/1212109098481605127164606*c_0101_6^\ 27 + 447938904489828508205684840365/35757218405207351251355877*c_01\ 01_6^26 + 167962394236175595410550070394/35757218405207351251355877\ *c_0101_6^25 - 1947392480258704101063826501072/35757218405207351251\ 355877*c_0101_6^24 - 40828440107226206384605227742/1702724685962254\ 821493137*c_0101_6^23 + 82698505756057083303215353453/5071945873079\ 05691508594*c_0101_6^22 + 5909683494695488932593817508759/715144368\ 10414702502711754*c_0101_6^21 - 8089299727296691989243514176629/238\ 38145603471567500903918*c_0101_6^20 - 4682482000406274462460395275585/23838145603471567500903918*c_0101_6\ ^19 + 815044269753828340097619229634/1702724685962254821493137*c_01\ 01_6^18 + 1269471748100933904627170067164/3973024267245261250150653\ *c_0101_6^17 - 2134973349521822102004298349075/51081740578867644644\ 79411*c_0101_6^16 - 1732052699743945872811580735983/510817405788676\ 4464479411*c_0101_6^15 + 5598422047565216595602922454295/3575721840\ 5207351251355877*c_0101_6^14 + 148236385955804724999098247998/72973\ 9151126680637782773*c_0101_6^13 + 15846946044508799241432654371/243\ 246383708893545927591*c_0101_6^12 - 1119253056230248300177199760953/35757218405207351251355877*c_0101_6\ ^11 - 2706963566100772484345958480496/35757218405207351251355877*c_\ 0101_6^10 - 2117026021962073913207169241667/71514436810414702502711\ 754*c_0101_6^9 - 84852202546230118370075096201/71514436810414702502\ 711754*c_0101_6^8 + 21349403244849051806293147028/39730242672452612\ 50150653*c_0101_6^7 + 16356021181473106487374194991/113514979064150\ 3214328758*c_0101_6^6 + 138934870465650158602200645773/238381456034\ 71567500903918*c_0101_6^5 + 90494628778481820018932771893/715144368\ 10414702502711754*c_0101_6^4 + 9592559149815570093569213626/3575721\ 8405207351251355877*c_0101_6^3 - 1852727124541458166953579511/34054\ 49371924509642986274*c_0101_6^2 - 140052817415796204122300747/14594\ 78302253361275565546*c_0101_6 - 1998792765385265252313422735/357572\ 18405207351251355877, c_0011_0 - 1, c_0011_3 - 18654317577390489080/101479509265287253203*c_0101_6^32 - 2931552703010552837/101479509265287253203*c_0101_6^31 + 458460501279036151570/101479509265287253203*c_0101_6^30 + 99576179167240637989/101479509265287253203*c_0101_6^29 - 5067656621183703382184/101479509265287253203*c_0101_6^28 - 23555405666534415764/1719991682462495817*c_0101_6^27 + 33257472282945685388216/101479509265287253203*c_0101_6^26 + 10901129109476803489204/101479509265287253203*c_0101_6^25 - 143759064633451754996513/101479509265287253203*c_0101_6^24 - 18093869766685627312514/33826503088429084401*c_0101_6^23 + 142622542186307952037058/33826503088429084401*c_0101_6^22 + 181377273239830860917284/101479509265287253203*c_0101_6^21 - 295217283641929187584610/33826503088429084401*c_0101_6^20 - 138119828907479002884419/33826503088429084401*c_0101_6^19 + 415060618725779121845845/33826503088429084401*c_0101_6^18 + 70939101259135727600618/11275501029476361467*c_0101_6^17 - 1092955097131203165713878/101479509265287253203*c_0101_6^16 - 623195658540172094995841/101479509265287253203*c_0101_6^15 + 436337715912521757132901/101479509265287253203*c_0101_6^14 + 314016936472581167326525/101479509265287253203*c_0101_6^13 + 39538692561250897531546/33826503088429084401*c_0101_6^12 - 337507911964596260761/101479509265287253203*c_0101_6^11 - 155679736706124866922371/101479509265287253203*c_0101_6^10 - 63021370314292775740631/101479509265287253203*c_0101_6^9 - 14987195584918967579867/101479509265287253203*c_0101_6^8 - 186389508320374710558/11275501029476361467*c_0101_6^7 + 3977772497324715647553/11275501029476361467*c_0101_6^6 + 3633649010296345076330/33826503088429084401*c_0101_6^5 + 3261334596457801341748/101479509265287253203*c_0101_6^4 + 3059329165608381819074/101479509265287253203*c_0101_6^3 - 392500730334652326634/33826503088429084401*c_0101_6^2 + 83731440043975895788/101479509265287253203*c_0101_6 - 89129645486702046634/101479509265287253203, c_0011_4 - c_0101_6^2 + 1, c_0011_5 + 16408124533582/96180265193899*c_0101_6^32 + 12711002514578/96180265193899*c_0101_6^31 - 405492083587301/96180265193899*c_0101_6^30 - 338839330927221/96180265193899*c_0101_6^29 + 4491334931283662/96180265193899*c_0101_6^28 + 4035198170824479/96180265193899*c_0101_6^27 - 29395515510280809/96180265193899*c_0101_6^26 - 28368692043384343/96180265193899*c_0101_6^25 + 125872577386053382/96180265193899*c_0101_6^24 + 130806450552709504/96180265193899*c_0101_6^23 - 367326101551949090/96180265193899*c_0101_6^22 - 414449468046672317/96180265193899*c_0101_6^21 + 732352165576456571/96180265193899*c_0101_6^20 + 915076003613144297/96180265193899*c_0101_6^19 - 954879415376356743/96180265193899*c_0101_6^18 - 1387075229224343918/96180265193899*c_0101_6^17 + 691114693265330379/96180265193899*c_0101_6^16 + 1360960548019849684/96180265193899*c_0101_6^15 - 50991359676445742/96180265193899*c_0101_6^14 - 721829989873213999/96180265193899*c_0101_6^13 - 345683533188452368/96180265193899*c_0101_6^12 + 44150776957249763/96180265193899*c_0101_6^11 + 211422558205410632/96180265193899*c_0101_6^10 + 132338706075500732/96180265193899*c_0101_6^9 + 24291630148387890/96180265193899*c_0101_6^8 - 9435734283910714/96180265193899*c_0101_6^7 - 36032660417715307/96180265193899*c_0101_6^6 - 26079385164988359/96180265193899*c_0101_6^5 - 7066986953071826/96180265193899*c_0101_6^4 - 1381426132456679/96180265193899*c_0101_6^3 + 401248778563500/96180265193899*c_0101_6^2 + 369007934115077/96180265193899*c_0101_6 + 92171857565044/96180265193899, c_0101_0 - 21890260389263537548/101479509265287253203*c_0101_6^32 + 2391910834196616929/101479509265287253203*c_0101_6^31 + 550204217758412469914/101479509265287253203*c_0101_6^30 - 19808990080888810882/101479509265287253203*c_0101_6^29 - 6242702983354652987479/101479509265287253203*c_0101_6^28 - 3751369831658043379/1719991682462495817*c_0101_6^27 + 42236517560926285153120/101479509265287253203*c_0101_6^26 + 4410665993853243573791/101479509265287253203*c_0101_6^25 - 189265889750102363908201/101479509265287253203*c_0101_6^24 - 10763486211141717963565/33826503088429084401*c_0101_6^23 + 196161750598498047659155/33826503088429084401*c_0101_6^22 + 137881543672891541250893/101479509265287253203*c_0101_6^21 - 429324315201590563700359/33826503088429084401*c_0101_6^20 - 127459312308693367679656/33826503088429084401*c_0101_6^19 + 652333932437874248591615/33826503088429084401*c_0101_6^18 + 78751283526531393301415/11275501029476361467*c_0101_6^17 - 1952719885346686673861078/101479509265287253203*c_0101_6^16 - 862072029328783826405026/101479509265287253203*c_0101_6^15 + 1081319149383333391798334/101479509265287253203*c_0101_6^14 + 633162288280610045574626/101479509265287253203*c_0101_6^13 - 31731239857953757023856/33826503088429084401*c_0101_6^12 - 210897050874968958264383/101479509265287253203*c_0101_6^11 - 211277921956802872706404/101479509265287253203*c_0101_6^10 - 20417211952938602214376/101479509265287253203*c_0101_6^9 + 39171190635831842359427/101479509265287253203*c_0101_6^8 + 1838258563056348232870/11275501029476361467*c_0101_6^7 + 4648829623314298498618/11275501029476361467*c_0101_6^6 + 2816298612999076955287/33826503088429084401*c_0101_6^5 - 4663156611510710308072/101479509265287253203*c_0101_6^4 - 89456220968280871943/101479509265287253203*c_0101_6^3 - 506603483123366356622/33826503088429084401*c_0101_6^2 + 118561842443599573652/101479509265287253203*c_0101_6 + 14466315454680004264/101479509265287253203, c_0101_5 + c_0101_6^3 - 2*c_0101_6, c_0101_6^33 - c_0101_6^32 - 25*c_0101_6^31 + 23*c_0101_6^30 + 284*c_0101_6^29 - 237*c_0101_6^28 - 1940*c_0101_6^27 + 1443*c_0101_6^26 + 8870*c_0101_6^25 - 5747*c_0101_6^24 - 28521*c_0101_6^23 + 15574*c_0101_6^22 + 65734*c_0101_6^21 - 28659*c_0101_6^20 - 108066*c_0101_6^19 + 33753*c_0101_6^18 + 122444*c_0101_6^17 - 19824*c_0101_6^16 - 87004*c_0101_6^15 - 4921*c_0101_6^14 + 27769*c_0101_6^13 + 16694*c_0101_6^12 + 6282*c_0101_6^11 - 8584*c_0101_6^10 - 5617*c_0101_6^9 - 1184*c_0101_6^8 - 1386*c_0101_6^7 + 1572*c_0101_6^6 + 988*c_0101_6^5 + 216*c_0101_6^4 + 182*c_0101_6^3 - 56*c_0101_6^2 - 3*c_0101_6 - 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB