Magma V2.19-8 Tue Aug 20 2013 16:17:16 on localhost [Seed = 2033771951] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1508 geometric_solution 5.31246040 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 -1 0 1 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 -1 0 1 0 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.540914107672 0.827043372602 3 2 4 0 0132 3012 0132 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 0 0 1 0 0 -1 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.989581371735 0.951479541241 1 3 0 4 1230 2310 0132 2310 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 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.989581371735 0.951479541241 1 5 5 2 0132 0132 1023 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 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.732926391061 0.338741966927 2 4 4 1 3201 1230 3012 0132 0 0 0 0 0 0 0 0 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 0 0 0 0 0 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.203419174799 0.524830446843 6 3 3 6 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.236226304816 0.381001720944 5 6 6 5 0132 1230 3012 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.551271480667 0.206503318508 ==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' : 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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_1']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0011_1'], 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_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_4, c_0101_0, c_0101_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 85271172749653149793159/48770424115062825309920*c_0101_6^17 + 497803503690773944058015/107294933053138215681824*c_0101_6^16 - 7336017047427959820027239/134118666316422769602280*c_0101_6^15 + 16654982935209824322558283/268237332632845539204560*c_0101_6^14 - 615520631780503520117335/4877042411506282530992*c_0101_6^13 + 4198795351513382315544407/134118666316422769602280*c_0101_6^12 + 34196584677613860285966585/107294933053138215681824*c_0101_6^11 - 2940545498056135382936311/4877042411506282530992*c_0101_6^10 + 23980271131769528648097419/26823733263284553920456*c_0101_6^9 - 483119436187015014177433393/536474665265691078409120*c_0101_6^8 + 265571076752285979906980443/268237332632845539204560*c_0101_6^7 - 10998377440592270883865791/48770424115062825309920*c_0101_6^6 + 19475631457817246511736171/536474665265691078409120*c_0101_6^5 + 473309409039342445247459/13411866631642276960228*c_0101_6^4 - 14176156748365168395263589/536474665265691078409120*c_0101_6^3 - 1356537975611646983812711/23324985446334394713440*c_0101_6^2 - 457911669444435498367011/12192606028765706327480*c_0101_6 - 349131104695813208951075/26823733263284553920456, c_0011_0 - 1, c_0011_1 - 158001393090922798537/2438521205753141265496*c_0101_6^17 - 30761450459825535883/304815150719142658187*c_0101_6^16 + 5308275301329547912777/2438521205753141265496*c_0101_6^15 - 11256404653667527324225/2438521205753141265496*c_0101_6^14 + 20551484303937397382427/2438521205753141265496*c_0101_6^13 - 19403004901560026073097/2438521205753141265496*c_0101_6^12 - 4441221302295866164527/609630301438285316374*c_0101_6^11 + 20591852836437833942097/609630301438285316374*c_0101_6^10 - 156686685633888986868581/2438521205753141265496*c_0101_6^9 + 206463456293170200406877/2438521205753141265496*c_0101_6^8 - 118462188632047884797369/1219260602876570632748*c_0101_6^7 + 182370658077760528340359/2438521205753141265496*c_0101_6^6 - 23674018128243366114151/609630301438285316374*c_0101_6^5 + 29270930239109181713935/2438521205753141265496*c_0101_6^4 - 1205666114463429183331/1219260602876570632748*c_0101_6^3 + 15941171565949274241/106022661119701794152*c_0101_6^2 + 468297321022595222157/1219260602876570632748*c_0101_6 + 8952570527718512935/609630301438285316374, c_0011_4 + 16990543350879373963/1219260602876570632748*c_0101_6^17 + 93382829670358393985/4877042411506282530992*c_0101_6^16 - 1202655514059058694659/2438521205753141265496*c_0101_6^15 + 634111150362343753249/609630301438285316374*c_0101_6^14 - 3136831564103062299063/2438521205753141265496*c_0101_6^13 + 231488268464925571048/304815150719142658187*c_0101_6^12 + 985216425587494967218/304815150719142658187*c_0101_6^11 - 42956452609562032548435/4877042411506282530992*c_0101_6^10 + 54348093966796315339569/4877042411506282530992*c_0101_6^9 - 48315954998590253528035/4877042411506282530992*c_0101_6^8 + 10124487491275153060635/1219260602876570632748*c_0101_6^7 - 3805949324497454158265/1219260602876570632748*c_0101_6^6 - 26133825193282915796285/4877042411506282530992*c_0101_6^5 + 1157810990939960680618/304815150719142658187*c_0101_6^4 + 6818704663302238652067/2438521205753141265496*c_0101_6^3 - 750054679374666970789/212045322239403588304*c_0101_6^2 + 624694123118351633021/2438521205753141265496*c_0101_6 + 1262350578612588876451/1219260602876570632748, c_0101_0 + 128287552149767356597/4877042411506282530992*c_0101_6^17 + 299231163576607228369/4877042411506282530992*c_0101_6^16 - 257189696327267159818/304815150719142658187*c_0101_6^15 + 731428412551428513351/609630301438285316374*c_0101_6^14 - 2757955464192455539881/1219260602876570632748*c_0101_6^13 + 2931496154738989603947/2438521205753141265496*c_0101_6^12 + 22703842600210796466763/4877042411506282530992*c_0101_6^11 - 25880826986406597827823/2438521205753141265496*c_0101_6^10 + 5183833865086523934075/304815150719142658187*c_0101_6^9 - 91916497396957534129955/4877042411506282530992*c_0101_6^8 + 23763844323381412721825/1219260602876570632748*c_0101_6^7 - 38858622098337290824225/4877042411506282530992*c_0101_6^6 + 4849705675607747931069/4877042411506282530992*c_0101_6^5 + 364970220698607885349/609630301438285316374*c_0101_6^4 - 11162349351502303405771/4877042411506282530992*c_0101_6^3 - 442304820309468561823/212045322239403588304*c_0101_6^2 + 2843810372320795818187/2438521205753141265496*c_0101_6 - 308037476701398311701/1219260602876570632748, c_0101_1 - 899295621695354235563/9754084823012565061984*c_0101_6^17 - 1535161027766613112875/9754084823012565061984*c_0101_6^16 + 14949859337026901650801/4877042411506282530992*c_0101_6^15 - 29794101270966397451197/4877042411506282530992*c_0101_6^14 + 55646871467408188413633/4877042411506282530992*c_0101_6^13 - 13010042857748062261469/1219260602876570632748*c_0101_6^12 - 102666692437381052049603/9754084823012565061984*c_0101_6^11 + 13676475832832395760867/304815150719142658187*c_0101_6^10 - 104730615221190719454949/1219260602876570632748*c_0101_6^9 + 1123854246044617482166391/9754084823012565061984*c_0101_6^8 - 324937692579061103043217/2438521205753141265496*c_0101_6^7 + 988907037487910532138271/9754084823012565061984*c_0101_6^6 - 548222691332831082153783/9754084823012565061984*c_0101_6^5 + 104893009187273552502555/4877042411506282530992*c_0101_6^4 - 5293820751556700785845/9754084823012565061984*c_0101_6^3 - 471753969875631218693/424090644478807176608*c_0101_6^2 - 186826219181261651927/4877042411506282530992*c_0101_6 + 614264259292340201561/2438521205753141265496, c_0101_5 + 235771029642833828899/9754084823012565061984*c_0101_6^17 - 151968844252297676739/9754084823012565061984*c_0101_6^16 - 4530120879815176574885/4877042411506282530992*c_0101_6^15 + 16770223203641831819303/4877042411506282530992*c_0101_6^14 - 28449360665679736626537/4877042411506282530992*c_0101_6^13 + 19777102223782517691401/2438521205753141265496*c_0101_6^12 - 5152211852047516446985/9754084823012565061984*c_0101_6^11 - 102160438272905142218333/4877042411506282530992*c_0101_6^10 + 226993362005535872956425/4877042411506282530992*c_0101_6^9 - 681059603231496115572721/9754084823012565061984*c_0101_6^8 + 197890175646427498693589/2438521205753141265496*c_0101_6^7 - 753397787162840803104351/9754084823012565061984*c_0101_6^6 + 409672112599363374054389/9754084823012565061984*c_0101_6^5 - 78446046122404881409329/4877042411506282530992*c_0101_6^4 + 15756286820748761553245/9754084823012565061984*c_0101_6^3 + 757561140042401162559/424090644478807176608*c_0101_6^2 + 3498556040765728282861/4877042411506282530992*c_0101_6 + 537199360768424009489/2438521205753141265496, c_0101_6^18 + 2*c_0101_6^17 - 33*c_0101_6^16 + 56*c_0101_6^15 - 96*c_0101_6^14 + 66*c_0101_6^13 + 169*c_0101_6^12 - 463*c_0101_6^11 + 740*c_0101_6^10 - 857*c_0101_6^9 + 915*c_0101_6^8 - 513*c_0101_6^7 + 120*c_0101_6^6 - c_0101_6^5 - 27*c_0101_6^4 - 24*c_0101_6^3 - c_0101_6^2 + 6*c_0101_6 + 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB