Magma V2.19-8 Tue Aug 20 2013 16:16:10 on localhost [Seed = 290491861] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0424 geometric_solution 4.47895044 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 1 0132 0132 3201 3201 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 0 0 0 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.340536625174 0.520125481094 0 0 3 3 0132 2310 3201 0132 0 0 0 0 0 1 0 -1 0 0 1 -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 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.161892977450 0.135685934584 0 0 2 2 2310 0132 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 2.287597177633 0.097687302048 1 4 1 5 2310 0132 0132 0132 0 0 0 0 0 0 1 -1 -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 -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.201560644554 1.884349795493 5 3 5 6 3201 0132 3012 0132 0 0 0 0 0 0 0 0 -1 0 1 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.275383172071 1.114600247635 6 4 3 4 3201 1230 0132 2310 0 0 0 0 0 -1 1 0 -1 0 0 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 0 0 0 1 0 -1 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.275383172071 1.114600247635 6 6 4 5 1230 3012 0132 2310 0 0 0 0 0 0 0 0 1 0 0 -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 0 0 0 -1 0 0 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.791086692226 0.845566643842 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : negation(d['1']), 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : negation(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' : negation(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_5'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0101_0']), 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_6'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : negation(d['c_0011_6']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_6'], 'c_0110_3' : negation(d['c_0011_6']), 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : negation(d['c_0101_4']), 'c_0110_4' : negation(d['c_0101_4']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : negation(d['c_0011_5']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : negation(d['c_0011_6']), '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_3, c_0011_5, c_0011_6, c_0101_0, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 3588639483788741919081308557699166087275738498729/72956885458992258\ 957509244211773573026115273928*c_0101_4^22 - 1054099044437335360732187020341596093487589324655/14591377091798451\ 7915018488423547146052230547856*c_0101_4^21 - 64105687419136861703487642215547716435393791877247/7295688545899225\ 8957509244211773573026115273928*c_0101_4^20 + 60397954997457599920828989701146294644744366440305/3647844272949612\ 9478754622105886786513057636964*c_0101_4^19 - 1550168043597931224780270589596038150522763117282567/14591377091798\ 4517915018488423547146052230547856*c_0101_4^18 + 5179338416488004002733693178790708055125940113773911/14591377091798\ 4517915018488423547146052230547856*c_0101_4^17 - 10273371844741763425301067997419801540797740977642411/1459137709179\ 84517915018488423547146052230547856*c_0101_4^16 - 204516332299441518139590565066172995234494726179107/911961068237403\ 2369688655526471696628264409241*c_0101_4^15 + 3154162033830774530967603442272482191905657087819891/72956885458992\ 258957509244211773573026115273928*c_0101_4^14 + 22634469587969247982744637871668115993558147752376925/7295688545899\ 2258957509244211773573026115273928*c_0101_4^13 - 2495713750458961795275614288729711826141546135131673/18239221364748\ 064739377311052943393256528818482*c_0101_4^12 - 23272013956675762807736924648203636464000957685616311/7295688545899\ 2258957509244211773573026115273928*c_0101_4^11 - 23918890199017329412145221010793903158645933702156239/7295688545899\ 2258957509244211773573026115273928*c_0101_4^10 + 75269630995427959156864052606907336464137458472643963/7295688545899\ 2258957509244211773573026115273928*c_0101_4^9 - 31896522580034982259906397730162111536104627584823915/7295688545899\ 2258957509244211773573026115273928*c_0101_4^8 - 32562829292243763470180457100083748483824832328385187/7295688545899\ 2258957509244211773573026115273928*c_0101_4^7 + 68851095822485014991017990259035533463719564067410971/1459137709179\ 84517915018488423547146052230547856*c_0101_4^6 - 10005418333672094381112058388369484772333009231619613/1459137709179\ 84517915018488423547146052230547856*c_0101_4^5 - 801483790702551409646676077108922375218328860172769/911961068237403\ 2369688655526471696628264409241*c_0101_4^4 + 3013171350473169339832196415859203905600044739133835/72956885458992\ 258957509244211773573026115273928*c_0101_4^3 - 207630487471380823383180663234617765787910245728549/145913770917984\ 517915018488423547146052230547856*c_0101_4^2 - 425960844934787239668474636741071917937747808039483/145913770917984\ 517915018488423547146052230547856*c_0101_4 + 77299359699361643518490003513964695397104968160967/1459137709179845\ 17915018488423547146052230547856, c_0011_0 - 1, c_0011_3 + 907176221901832836285629447501582873896999434/91196106823740\ 32369688655526471696628264409241*c_0101_4^22 + 392727625444755626591578579517113170619422449/911961068237403236968\ 8655526471696628264409241*c_0101_4^21 - 15908077202005221724439417297776621618528588619/9119610682374032369\ 688655526471696628264409241*c_0101_4^20 + 21306136003820292473530598395820257147487588543/9119610682374032369\ 688655526471696628264409241*c_0101_4^19 - 184816817842274396353574985421197886430715313896/911961068237403236\ 9688655526471696628264409241*c_0101_4^18 + 549775921074444861008574272605661108740301938770/911961068237403236\ 9688655526471696628264409241*c_0101_4^17 - 994814993259690374764787993717661916125606387555/911961068237403236\ 9688655526471696628264409241*c_0101_4^16 - 940669870751698727671251674909611476426741974758/911961068237403236\ 9688655526471696628264409241*c_0101_4^15 + 153081848429585081414512895758489056022313516596/911961068237403236\ 9688655526471696628264409241*c_0101_4^14 + 5779341688514573719615265725448546463881870539777/91196106823740323\ 69688655526471696628264409241*c_0101_4^13 + 876365812751889041755575133050232918013359955069/911961068237403236\ 9688655526471696628264409241*c_0101_4^12 - 4937952965948011504136298886774435562843387493161/91196106823740323\ 69688655526471696628264409241*c_0101_4^11 - 9080897177479920245750972472606319506845144732039/91196106823740323\ 69688655526471696628264409241*c_0101_4^10 + 13352044060665470895265818884114376079104895121106/9119610682374032\ 369688655526471696628264409241*c_0101_4^9 - 808752369502963379494114286081606761899173955957/911961068237403236\ 9688655526471696628264409241*c_0101_4^8 - 7294182833557675955523402555277619494285647927156/91196106823740323\ 69688655526471696628264409241*c_0101_4^7 + 3853626264571556844821123986681255214451319519381/91196106823740323\ 69688655526471696628264409241*c_0101_4^6 + 427324487465743781560654304655879590083802211918/911961068237403236\ 9688655526471696628264409241*c_0101_4^5 - 795509545376259775710585708524242338391847888015/911961068237403236\ 9688655526471696628264409241*c_0101_4^4 + 203865047924833704687230091918543932046866383415/911961068237403236\ 9688655526471696628264409241*c_0101_4^3 + 7109111036623371740879162950728324798161196543/91196106823740323696\ 88655526471696628264409241*c_0101_4^2 - 13403519309112486683296565092236823810730922454/9119610682374032369\ 688655526471696628264409241*c_0101_4 + 7270367201093506701811034987488937005751386948/91196106823740323696\ 88655526471696628264409241, c_0011_5 - 1342465120550710022684650879260475104256042605/1823922136474\ 8064739377311052943393256528818482*c_0101_4^22 - 644955429342386757544419215704914392205562771/911961068237403236968\ 8655526471696628264409241*c_0101_4^21 + 11870961301849124620273254554749249372858971783/9119610682374032369\ 688655526471696628264409241*c_0101_4^20 - 18657605884754417292299077805114582038934288351/1823922136474806473\ 9377311052943393256528818482*c_0101_4^19 + 248100204416604973111810648694748347067810014277/182392213647480647\ 39377311052943393256528818482*c_0101_4^18 - 661118110742577647945808938945165341089167385545/182392213647480647\ 39377311052943393256528818482*c_0101_4^17 + 471822834539141643034738610969761354246762101074/911961068237403236\ 9688655526471696628264409241*c_0101_4^16 + 1215827299411721782116971372705061637713712627801/91196106823740323\ 69688655526471696628264409241*c_0101_4^15 + 38714808041135015982747869680099598204854623507/9119610682374032369\ 688655526471696628264409241*c_0101_4^14 - 4710807179320942648629931135301186509375672785785/91196106823740323\ 69688655526471696628264409241*c_0101_4^13 - 2996523132978317511102049088943320284666582743803/91196106823740323\ 69688655526471696628264409241*c_0101_4^12 + 4902121305551333054258323786853387464983172318988/91196106823740323\ 69688655526471696628264409241*c_0101_4^11 + 9573410591314811170400642525167033884302199810302/91196106823740323\ 69688655526471696628264409241*c_0101_4^10 - 7465896340597478280278174718529992364410275088479/91196106823740323\ 69688655526471696628264409241*c_0101_4^9 - 7605878814606892263371139655803581547817386644302/91196106823740323\ 69688655526471696628264409241*c_0101_4^8 + 16626173136362973435495405622731010668279687834187/1823922136474806\ 4739377311052943393256528818482*c_0101_4^7 + 2253950455669524287258469134938711699746699615611/18239221364748064\ 739377311052943393256528818482*c_0101_4^6 - 3859091221885159590904406735326663727132708250908/91196106823740323\ 69688655526471696628264409241*c_0101_4^5 + 710755727568211753477231045362860141081318715742/911961068237403236\ 9688655526471696628264409241*c_0101_4^4 + 1257001913874410952376872202526239391252977513601/18239221364748064\ 739377311052943393256528818482*c_0101_4^3 - 477872239212974063868989399498162964409228335511/182392213647480647\ 39377311052943393256528818482*c_0101_4^2 - 36510949748752051459829991530681929967927073437/1823922136474806473\ 9377311052943393256528818482*c_0101_4 + 18038598798697802395029733568046879720590174751/9119610682374032369\ 688655526471696628264409241, c_0011_6 + 4954251929327578925379976231088500826597711101/1823922136474\ 8064739377311052943393256528818482*c_0101_4^22 + 569296797610390998791523221118860043714935929/911961068237403236968\ 8655526471696628264409241*c_0101_4^21 - 44015149127435466801312056206127083001611454122/9119610682374032369\ 688655526471696628264409241*c_0101_4^20 + 133761282671229068650351453671091453937646170559/182392213647480647\ 39377311052943393256528818482*c_0101_4^19 - 1020236828243808388273855321394279077894273226929/18239221364748064\ 739377311052943393256528818482*c_0101_4^18 + 3189422254224358668370922784530120182322843229053/18239221364748064\ 739377311052943393256528818482*c_0101_4^17 - 2948120378050950234970213449232484291957425943163/91196106823740323\ 69688655526471696628264409241*c_0101_4^16 - 2241364898401325198406334948407074688938127637359/91196106823740323\ 69688655526471696628264409241*c_0101_4^15 + 1346173052066444916119660270834383298273189546879/91196106823740323\ 69688655526471696628264409241*c_0101_4^14 + 16048267310304273630520544096592512438468119441135/9119610682374032\ 369688655526471696628264409241*c_0101_4^13 - 938076180983291677832989989086734017332966893823/911961068237403236\ 9688655526471696628264409241*c_0101_4^12 - 16337752216601017190642125952133458255195647688408/9119610682374032\ 369688655526471696628264409241*c_0101_4^11 - 22229612570307534611090863121118409573277722640206/9119610682374032\ 369688655526471696628264409241*c_0101_4^10 + 43744209896630387977862300082214389400941054207073/9119610682374032\ 369688655526471696628264409241*c_0101_4^9 - 5925307002845656535446213183464313419072377645899/91196106823740323\ 69688655526471696628264409241*c_0101_4^8 - 50419614345180799025069025848472696345275798895549/1823922136474806\ 4739377311052943393256528818482*c_0101_4^7 + 29694211697436268096415671831495940443333093882361/1823922136474806\ 4739377311052943393256528818482*c_0101_4^6 + 2131591760526230741277461256768155610521055561702/91196106823740323\ 69688655526471696628264409241*c_0101_4^5 - 3832752723526067629398249285693640168752449981665/91196106823740323\ 69688655526471696628264409241*c_0101_4^4 + 1375815395635484589415546813013807520980032592599/18239221364748064\ 739377311052943393256528818482*c_0101_4^3 + 395901874748077387274178969398798244264589032939/182392213647480647\ 39377311052943393256528818482*c_0101_4^2 - 133796186675559198553708677705380145529993876129/182392213647480647\ 39377311052943393256528818482*c_0101_4 + 939185670202322319263074777795182547182219903/911961068237403236968\ 8655526471696628264409241, c_0101_0 + 4006557610616712638660048141799181695229731719/1823922136474\ 8064739377311052943393256528818482*c_0101_4^22 + 1106962225879989845458957700605545440824762153/91196106823740323696\ 88655526471696628264409241*c_0101_4^21 - 35309031398796067162123229822267613691353474081/9119610682374032369\ 688655526471696628264409241*c_0101_4^20 + 85172834523992912686510158667539881810280396701/1823922136474806473\ 9377311052943393256528818482*c_0101_4^19 - 795223071249930235987916409335199277038270620707/182392213647480647\ 39377311052943393256528818482*c_0101_4^18 + 2321816863945979847630944216047497613265665713289/18239221364748064\ 739377311052943393256528818482*c_0101_4^17 - 1996368011700438615563589726471679767225631887946/91196106823740323\ 69688655526471696628264409241*c_0101_4^16 - 2484683643716149985275152331103722239918480462042/91196106823740323\ 69688655526471696628264409241*c_0101_4^15 + 324394938462335428353582781861757470671046157136/911961068237403236\ 9688655526471696628264409241*c_0101_4^14 + 13229719281717137308499646374612210180694386086470/9119610682374032\ 369688655526471696628264409241*c_0101_4^13 + 3583421332034156151904824969622484989203814347138/91196106823740323\ 69688655526471696628264409241*c_0101_4^12 - 12452311216481346476886090664567226307666047182306/9119610682374032\ 369688655526471696628264409241*c_0101_4^11 - 22480209243496427312751529755741574776389903774599/9119610682374032\ 369688655526471696628264409241*c_0101_4^10 + 28286694803789842469984683930862628376854268439498/9119610682374032\ 369688655526471696628264409241*c_0101_4^9 + 5166840032770442379367803786261144352801651211463/91196106823740323\ 69688655526471696628264409241*c_0101_4^8 - 38047187874606615543870183365684545277873916195785/1823922136474806\ 4739377311052943393256528818482*c_0101_4^7 + 10504396737913225607931925305533890419791622464951/1823922136474806\ 4739377311052943393256528818482*c_0101_4^6 + 4118156994714975918865026268381285188050074747148/91196106823740323\ 69688655526471696628264409241*c_0101_4^5 - 1885945235924076792342890698086705975910874247136/91196106823740323\ 69688655526471696628264409241*c_0101_4^4 - 573902205353535976842756392966378078536958592791/182392213647480647\ 39377311052943393256528818482*c_0101_4^3 + 486577271268097292908105476256129855166280445057/182392213647480647\ 39377311052943393256528818482*c_0101_4^2 - 5815946264646046151129843728868086723504195853/18239221364748064739\ 377311052943393256528818482*c_0101_4 - 19382329244030634070879095500939632868531972217/9119610682374032369\ 688655526471696628264409241, c_0101_2 + 6106488868068459286818971706064646878278196805/9119610682374\ 032369688655526471696628264409241*c_0101_4^22 + 542447324601504702087415103809210906609219459/911961068237403236968\ 8655526471696628264409241*c_0101_4^21 - 109129712865857776593878534350095729200705762647/911961068237403236\ 9688655526471696628264409241*c_0101_4^20 + 179704051892201730941661633690482378346528850924/911961068237403236\ 9688655526471696628264409241*c_0101_4^19 - 1273437197747613047257458151259858230015605193022/91196106823740323\ 69688655526471696628264409241*c_0101_4^18 + 4103281132933089898491550475304156801642083437356/91196106823740323\ 69688655526471696628264409241*c_0101_4^17 - 7740293283428725105806257143500580147217127583096/91196106823740323\ 69688655526471696628264409241*c_0101_4^16 - 4703458463198452951368922103327725839888787835681/91196106823740323\ 69688655526471696628264409241*c_0101_4^15 + 4407739602208775688532430008858980144841191168560/91196106823740323\ 69688655526471696628264409241*c_0101_4^14 + 39820366925218529951281034790334393404053407675444/9119610682374032\ 369688655526471696628264409241*c_0101_4^13 - 7638016257316465918098503135202384146983241908041/91196106823740323\ 69688655526471696628264409241*c_0101_4^12 - 42617346660066982610206821108339681483767435863526/9119610682374032\ 369688655526471696628264409241*c_0101_4^11 - 51263330244898272257226712022958354369229328157768/9119610682374032\ 369688655526471696628264409241*c_0101_4^10 + 117306844424107575586407229730133436144786620278920/911961068237403\ 2369688655526471696628264409241*c_0101_4^9 - 24335123526434062009655203364045672759151039069401/9119610682374032\ 369688655526471696628264409241*c_0101_4^8 - 63432214426019498481684271159008821453744275495225/9119610682374032\ 369688655526471696628264409241*c_0101_4^7 + 42284653214093903553386916673120024438473426162043/9119610682374032\ 369688655526471696628264409241*c_0101_4^6 + 3450442730592395436649018079505901798181202048430/91196106823740323\ 69688655526471696628264409241*c_0101_4^5 - 10215047299728569630831247135491344542726806446336/9119610682374032\ 369688655526471696628264409241*c_0101_4^4 + 2088485640254718309024996761850098271711710928798/91196106823740323\ 69688655526471696628264409241*c_0101_4^3 + 467259755806491239430157226055032398842031179785/911961068237403236\ 9688655526471696628264409241*c_0101_4^2 - 192849085926434059875279209776900181320090980868/911961068237403236\ 9688655526471696628264409241*c_0101_4 + 6569308096744931163288934061198287408438311571/91196106823740323696\ 88655526471696628264409241, c_0101_4^23 - 18*c_0101_4^21 + 31*c_0101_4^20 - 209*c_0101_4^19 + 687*c_0101_4^18 - 1302*c_0101_4^17 - 738*c_0101_4^16 + 942*c_0101_4^15 + 6552*c_0101_4^14 - 1906*c_0101_4^13 - 7646*c_0101_4^12 - 7650*c_0101_4^11 + 20750*c_0101_4^10 - 4684*c_0101_4^9 - 12287*c_0101_4^8 + 8345*c_0101_4^7 + 1154*c_0101_4^6 - 2552*c_0101_4^5 + 441*c_0101_4^4 + 245*c_0101_4^3 - 83*c_0101_4^2 - 6*c_0101_4 + 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.240 seconds, Total memory usage: 32.09MB