Magma V2.19-8 Tue Aug 20 2013 16:14:53 on localhost [Seed = 1275973668] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s856 geometric_solution 5.48439287 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.393441967013 0.249803230764 2 0 3 0 0132 2310 0132 0132 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 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.795116213058 0.900313068203 1 4 5 3 0132 0132 0132 2310 0 0 0 0 0 1 0 -1 -1 0 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 -1 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 0.161979438805 1.023475671426 2 5 4 1 3201 0132 3201 0132 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 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.161979438805 1.023475671426 3 2 4 4 2310 0132 2031 1302 0 0 0 0 0 -1 0 1 0 0 -1 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 1 0 -1 0 0 1 -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.508232308615 1.288466110864 5 3 5 2 2031 0132 1302 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.348448561033 0.991875783262 ==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_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_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_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_4'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), '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_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 19880307955721868639717427068359733301/7723412004309664012871806155\ 5318376*c_0101_4^25 + 1058752476891421803174769790762301941/1135795\ 882986715296010559728754682*c_0101_4^24 - 55122887028656120863642690500138220297/7723412004309664012871806155\ 5318376*c_0101_4^23 - 51697879730156673980153139628736034772/965426\ 5005387080016089757694414797*c_0101_4^22 - 183156761055403494123511693414928792975/193085300107741600321795153\ 88829594*c_0101_4^21 - 600683874429193619997450501403604096963/3861\ 7060021548320064359030777659188*c_0101_4^20 + 42825800747903103560077742440105228339/9654265005387080016089757694\ 414797*c_0101_4^19 + 68216313399206156850196261179651103993/1514394\ 510648953728014079638339576*c_0101_4^18 + 301089966440733506440267189931240369189/965426500538708001608975769\ 4414797*c_0101_4^17 + 680316334191000171717052706208034708207/12872\ 353340516106688119676925886396*c_0101_4^16 + 1080570497176888308593727144144537587299/77234120043096640128718061\ 555318376*c_0101_4^15 - 1455007584672972006151361133988130978409/85\ 81568893677404458746451283924264*c_0101_4^14 - 197191272962022833531741647376906129633/772341200430966401287180615\ 55318376*c_0101_4^13 + 500981663688984837600959504614153160807/7723\ 4120043096640128718061555318376*c_0101_4^12 + 629456373955901379932237303960205503965/193085300107741600321795153\ 88829594*c_0101_4^11 + 21025562788461547871305672638148250581415/77\ 234120043096640128718061555318376*c_0101_4^10 - 14866983305158138696553326087047232652723/7723412004309664012871806\ 1555318376*c_0101_4^9 + 3124271789095582548581378235712619636567/77\ 234120043096640128718061555318376*c_0101_4^8 - 11479602905760099112316329592670457553305/7723412004309664012871806\ 1555318376*c_0101_4^7 + 425376663619545440886928378887396318759/429\ 0784446838702229373225641962132*c_0101_4^6 + 1094410167980907416021718337047161467229/19308530010774160032179515\ 388829594*c_0101_4^5 - 254596339101824047816037620984046941463/9654\ 265005387080016089757694414797*c_0101_4^4 - 1469450054596930482052275743043668076455/77234120043096640128718061\ 555318376*c_0101_4^3 - 24611985918070705450332070049126709557/77234\ 120043096640128718061555318376*c_0101_4^2 + 12717121074103146133286553717332432335/4290784446838702229373225641\ 962132*c_0101_4 + 41069712018557720787511678670665829821/7723412004\ 3096640128718061555318376, c_0011_0 - 1, c_0011_1 - 94588943827382314558915667779147/894327466918673461425637581\ 6966*c_0101_4^25 - 170150448040119235668935068701776/44716373345933\ 67307128187908483*c_0101_4^24 + 134866748287042668741488635015553/4\ 471637334593367307128187908483*c_0101_4^23 + 1958908752620133496654742459686295/8943274669186734614256375816966*\ c_0101_4^22 + 3439847890488777255027033689875379/894327466918673461\ 4256375816966*c_0101_4^21 + 2823385264709967763452925371591743/4471\ 637334593367307128187908483*c_0101_4^20 - 1736313062130060320960068551605447/8943274669186734614256375816966*\ c_0101_4^19 - 914448498675462519313424021078931/4968485927325963674\ 58687545387*c_0101_4^18 - 5526591532525228188894065633790368/447163\ 7334593367307128187908483*c_0101_4^17 - 3208052258861288955732999289513148/1490545778197789102376062636161*\ c_0101_4^16 - 4791996192226757114027780017654795/894327466918673461\ 4256375816966*c_0101_4^15 + 6913716260578745874640014188188755/9936\ 97185465192734917375090774*c_0101_4^14 - 337873970235612374917672837911533/4471637334593367307128187908483*c\ _0101_4^13 - 2058204238359330699713791458370691/8943274669186734614\ 256375816966*c_0101_4^12 - 5916506658710845255037346011671481/44716\ 37334593367307128187908483*c_0101_4^11 - 49819303981411053125642315838414829/4471637334593367307128187908483\ *c_0101_4^10 + 36547217224811481567719226001834255/4471637334593367\ 307128187908483*c_0101_4^9 - 8621904481536633432554448071364412/447\ 1637334593367307128187908483*c_0101_4^8 + 27619906956485229703133350296193400/4471637334593367307128187908483\ *c_0101_4^7 - 12644778024438985467729066431888621/29810915563955782\ 04752125272322*c_0101_4^6 - 19575228597479279844093449776617629/894\ 3274669186734614256375816966*c_0101_4^5 + 5009999576596740477471717721259882/4471637334593367307128187908483*\ c_0101_4^4 + 3325716686265040726705067520303346/4471637334593367307\ 128187908483*c_0101_4^3 - 22636020884355639802064245060043/44716373\ 34593367307128187908483*c_0101_4^2 - 360377715945206143752180511211495/2981091556395578204752125272322*c\ _0101_4 - 78877255398724054532177854180382/447163733459336730712818\ 7908483, c_0011_3 - 21877730970020229814910590354724399/965426500538708001608975\ 7694414797*c_0101_4^25 - 4488694607404838970512770132966519/5678979\ 41493357648005279864377341*c_0101_4^24 + 146025113791001820782940894605109421/193085300107741600321795153888\ 29594*c_0101_4^23 + 908812253140007490704208733661232467/1930853001\ 0774160032179515388829594*c_0101_4^22 + 1489145366402120966424277044021785471/19308530010774160032179515388\ 829594*c_0101_4^21 + 1177383307882953658873207150661188460/96542650\ 05387080016089757694414797*c_0101_4^20 - 1277785394223082559527501303303299251/19308530010774160032179515388\ 829594*c_0101_4^19 - 154224101584285710264906208508899961/378598627\ 662238432003519909584894*c_0101_4^18 - 2194701624929714973106065272872814240/96542650053870800160897576944\ 14797*c_0101_4^17 - 429227805004892568778003447338736116/1072696111\ 709675557343306410490533*c_0101_4^16 - 226985924075153543070678526543111202/965426500538708001608975769441\ 4797*c_0101_4^15 + 1682367833386420998528078181951466204/1072696111\ 709675557343306410490533*c_0101_4^14 - 2590314628157767308056616482930050639/19308530010774160032179515388\ 829594*c_0101_4^13 - 1506140578535721380433083310590266765/96542650\ 05387080016089757694414797*c_0101_4^12 - 3201071222603519260948534341237730514/96542650053870800160897576944\ 14797*c_0101_4^11 - 46096187634403815827123234392791719573/19308530\ 010774160032179515388829594*c_0101_4^10 + 39060276779162449326032860068984035729/1930853001077416003217951538\ 8829594*c_0101_4^9 - 7436110354818735033009232239429940607/19308530\ 010774160032179515388829594*c_0101_4^8 + 25576529751294536916985052964975516889/1930853001077416003217951538\ 8829594*c_0101_4^7 - 6596838071880011957554829852453695021/64361766\ 70258053344059838462943198*c_0101_4^6 - 9349516048088585914284468063736539491/19308530010774160032179515388\ 829594*c_0101_4^5 + 3083843440976530651012950275616579833/965426500\ 5387080016089757694414797*c_0101_4^4 + 3505853668714189809926733648665434343/19308530010774160032179515388\ 829594*c_0101_4^3 - 194579011741757509973351459790280033/1930853001\ 0774160032179515388829594*c_0101_4^2 - 223515927128562856379129415343040647/643617667025805334405983846294\ 3198*c_0101_4 - 110916555925343666420261720734709227/19308530010774\ 160032179515388829594, c_0101_0 + 45940432339420340516040971330900426/965426500538708001608975\ 7694414797*c_0101_4^25 + 19246820821222560120764188164389093/113579\ 5882986715296010559728754682*c_0101_4^24 - 137002801206619797126563911240213394/965426500538708001608975769441\ 4797*c_0101_4^23 - 946527049627748645617628151309932788/96542650053\ 87080016089757694414797*c_0101_4^22 - 3272760140764023826629358539847455029/19308530010774160032179515388\ 829594*c_0101_4^21 - 5364693785660510425879686305423214949/19308530\ 010774160032179515388829594*c_0101_4^20 + 943881808343400931868780311980028255/965426500538708001608975769441\ 4797*c_0101_4^19 + 312344159356059902881353805126298329/37859862766\ 2238432003519909584894*c_0101_4^18 + 5083454664098227297204288479736242554/96542650053870800160897576944\ 14797*c_0101_4^17 + 3053603556579935347649540322748063630/321808833\ 5129026672029919231471599*c_0101_4^16 + 1972516478906222686530023869662710216/96542650053870800160897576944\ 14797*c_0101_4^15 - 6736964550784542934100063545564916849/214539222\ 3419351114686612820981066*c_0101_4^14 + 2826490838291221688220105947872545685/19308530010774160032179515388\ 829594*c_0101_4^13 + 945228799692559373047658246012066089/965426500\ 5387080016089757694414797*c_0101_4^12 + 11551614615276664552603252652759567815/1930853001077416003217951538\ 8829594*c_0101_4^11 + 48220752338453551086540626901766413835/965426\ 5005387080016089757694414797*c_0101_4^10 - 37262750051926356875162690375215182190/9654265005387080016089757694\ 414797*c_0101_4^9 + 9710631791598735148782801764609408956/965426500\ 5387080016089757694414797*c_0101_4^8 - 27280717959243742058964172273764256859/9654265005387080016089757694\ 414797*c_0101_4^7 + 2160390665093401856876506314277499593/107269611\ 1709675557343306410490533*c_0101_4^6 + 17655114698217548239025537009369092673/1930853001077416003217951538\ 8829594*c_0101_4^5 - 10289138112371242948337835212154684061/1930853\ 0010774160032179515388829594*c_0101_4^4 - 3044411372893536045541236607876158052/96542650053870800160897576944\ 14797*c_0101_4^3 + 96943649917898525845919845700418140/965426500538\ 7080016089757694414797*c_0101_4^2 + 57918756711671451310319994390463265/1072696111709675557343306410490\ 533*c_0101_4 + 139368636082759624574183943612777061/193085300107741\ 60032179515388829594, c_0101_1 - 20560191119645848408683089910829/894327466918673461425637581\ 6966*c_0101_4^25 - 74762599920503251805553714035401/894327466918673\ 4614256375816966*c_0101_4^24 + 27282658170562172646885536560811/447\ 1637334593367307128187908483*c_0101_4^23 + 423155427433720607526974093836985/8943274669186734614256375816966*c\ _0101_4^22 + 382651095434211466781008876092835/44716373345933673071\ 28187908483*c_0101_4^21 + 1281635829798322006195929559777861/894327\ 4669186734614256375816966*c_0101_4^20 - 274507283140624690020785392870691/8943274669186734614256375816966*c\ _0101_4^19 - 1164638546286853176913964766096455/2981091556395578204\ 752125272322*c_0101_4^18 - 1257767307306392575964359262983205/44716\ 37334593367307128187908483*c_0101_4^17 - 745134405659646926897128295305165/1490545778197789102376062636161*c\ _0101_4^16 - 1430137845213923923055389095811261/8943274669186734614\ 256375816966*c_0101_4^15 + 729397545914793281586953578672924/496848\ 592732596367458687545387*c_0101_4^14 + 141577903381239197872670022777617/8943274669186734614256375816966*c\ _0101_4^13 + 217729767464903264634245304982531/89432746691867346142\ 56375816966*c_0101_4^12 - 2307754312393731296862969198245869/894327\ 4669186734614256375816966*c_0101_4^11 - 10817752386885295292956903587775930/4471637334593367307128187908483\ *c_0101_4^10 + 7484125843922134077431000915137084/44716373345933673\ 07128187908483*c_0101_4^9 - 2216816887210715838742404730296301/4471\ 637334593367307128187908483*c_0101_4^8 + 6100657640839054302045419777673644/4471637334593367307128187908483*\ c_0101_4^7 - 877452866557926335376675724659953/99369718546519273491\ 7375090774*c_0101_4^6 - 1957101360441644771399944651958551/44716373\ 34593367307128187908483*c_0101_4^5 + 1809932697609754790424568273117009/8943274669186734614256375816966*\ c_0101_4^4 + 614898416701546429501846156950613/44716373345933673071\ 28187908483*c_0101_4^3 + 10196426849318914279718562030175/447163733\ 4593367307128187908483*c_0101_4^2 - 18692360174211792603777283216617/993697185465192734917375090774*c_0\ 101_4 - 22330388679091749387321426522067/89432746691867346142563758\ 16966, c_0101_4^26 + 3*c_0101_4^25 - 5*c_0101_4^24 - 19*c_0101_4^23 - 24*c_0101_4^22 - 38*c_0101_4^21 + 54*c_0101_4^20 + 163*c_0101_4^19 + 13*c_0101_4^18 + 134*c_0101_4^17 - 71*c_0101_4^16 - 688*c_0101_4^15 + 400*c_0101_4^14 + 16*c_0101_4^13 + 113*c_0101_4^12 + 979*c_0101_4^11 - 1402*c_0101_4^10 + 646*c_0101_4^9 - 696*c_0101_4^8 + 751*c_0101_4^7 - 34*c_0101_4^6 - 228*c_0101_4^5 - 7*c_0101_4^4 + 42*c_0101_4^3 + 11*c_0101_4^2 - 5*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB