Magma V2.19-8 Tue Aug 20 2013 16:14:15 on localhost [Seed = 3549581311] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s222 geometric_solution 4.37533177 oriented_manifold CS_known 0.0000000000000004 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 -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.607982664436 0.168709928754 2 0 2 0 0132 2310 1023 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 -1 1 1 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.864829287551 0.255071540432 1 3 1 4 0132 0132 1023 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 1 -1 -1 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 1.196658550156 0.527278786263 4 2 5 4 3012 0132 0132 1230 0 0 0 0 0 0 0 0 -1 0 0 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 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 1.182818384533 0.779831714867 3 5 2 3 3012 3201 0132 1230 0 0 0 0 0 -1 0 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 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.182818384533 0.779831714867 5 5 4 3 1302 2031 2310 0132 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 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.640462963502 0.611190121858 ==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' : negation(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' : negation(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_1'], 'c_1100_4' : d['c_0011_1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0011_1'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], '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_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0011_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_1'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0011_5'], '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_5, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 47143981628375194973519440752874027/5524167039393900629172252696309\ 536*c_0101_3^17 - 897936637452729520781416569333172995/552416703939\ 3900629172252696309536*c_0101_3^16 + 4073808003168489966933138680379057177/27620835196969503145861263481\ 54768*c_0101_3^15 - 23401906117647205732942005817732750207/27620835\ 19696950314586126348154768*c_0101_3^14 + 167890910355786397930785909961216294497/552416703939390062917225269\ 6309536*c_0101_3^13 - 352757654631742012684535844427083512749/55241\ 67039393900629172252696309536*c_0101_3^12 + 149666453061444657052372418167094913909/276208351969695031458612634\ 8154768*c_0101_3^11 + 314155967414623048874615772433147986419/55241\ 67039393900629172252696309536*c_0101_3^10 - 993686622532235900078593631298147222177/552416703939390062917225269\ 6309536*c_0101_3^9 + 319484332404201520987739573716162920473/276208\ 3519696950314586126348154768*c_0101_3^8 + 324466175495358764624419617203615637755/276208351969695031458612634\ 8154768*c_0101_3^7 - 435098612600770962612942428062120359219/276208\ 3519696950314586126348154768*c_0101_3^6 - 61316805641097206557332966839637400135/2762083519696950314586126348\ 154768*c_0101_3^5 + 305794308838705645927417856185683772887/5524167\ 039393900629172252696309536*c_0101_3^4 - 2241629098841918589870513946949809196/17263021998105939466163289675\ 9673*c_0101_3^3 - 2979303784662209757564550461043565185/34526043996\ 2118789323265793519346*c_0101_3^2 + 3908549224983900390545891371437140479/69052087992423757864653158703\ 8692*c_0101_3 + 595802148209258390497391458659503083/34526043996211\ 8789323265793519346, c_0011_0 - 1, c_0011_1 + 179093557388384999359214382271987/27620835196969503145861263\ 48154768*c_0101_3^17 - 3492065492441606021419082234826455/276208351\ 9696950314586126348154768*c_0101_3^16 + 16272075149259286549783202312509295/1381041759848475157293063174077\ 384*c_0101_3^15 - 96397694945297195386382631324967019/1381041759848\ 475157293063174077384*c_0101_3^14 + 727654155683448075860704576700568545/276208351969695031458612634815\ 4768*c_0101_3^13 - 1685460945408628509993096511813889001/2762083519\ 696950314586126348154768*c_0101_3^12 + 981639001302517721559794224067034319/138104175984847515729306317407\ 7384*c_0101_3^11 + 149065465026323389991371342068106995/27620835196\ 96950314586126348154768*c_0101_3^10 - 3636649289662520902689567699652618645/27620835196969503145861263481\ 54768*c_0101_3^9 + 2015775049926593931622886978211359043/1381041759\ 848475157293063174077384*c_0101_3^8 + 169863654270424834608215766675182831/138104175984847515729306317407\ 7384*c_0101_3^7 - 1515940791550924411971790245009056927/13810417598\ 48475157293063174077384*c_0101_3^6 + 413716339142524367293606411106816837/138104175984847515729306317407\ 7384*c_0101_3^5 + 527172516715507819753181182394084935/276208351969\ 6950314586126348154768*c_0101_3^4 - 91513815642844505402729569202034871/6905208799242375786465315870386\ 92*c_0101_3^3 + 229828042758126384725121418312189/17263021998105939\ 4661632896759673*c_0101_3^2 + 9621289719866668529629610649575971/34\ 5260439962118789323265793519346*c_0101_3 + 841965241050631971096992482908592/172630219981059394661632896759673\ , c_0011_5 - 201943686044481249566568500947201/27620835196969503145861263\ 48154768*c_0101_3^17 + 3914150979694201585425079252447973/276208351\ 9696950314586126348154768*c_0101_3^16 - 18117538903305525846328836006290017/1381041759848475157293063174077\ 384*c_0101_3^15 + 106526366817323544411752207017314481/138104175984\ 8475157293063174077384*c_0101_3^14 - 794490440748448139563335107691474011/276208351969695031458612634815\ 4768*c_0101_3^13 + 1800617141283729635239646587986528667/2762083519\ 696950314586126348154768*c_0101_3^12 - 987485695651401344671596120488718617/138104175984847515729306317407\ 7384*c_0101_3^11 - 469795128309005886539751523989401441/27620835196\ 96950314586126348154768*c_0101_3^10 + 4140520314839467211386273047854454527/27620835196969503145861263481\ 54768*c_0101_3^9 - 2040572784575636073076535858727179317/1381041759\ 848475157293063174077384*c_0101_3^8 - 501693731074148138371085540506422901/138104175984847515729306317407\ 7384*c_0101_3^7 + 1755129733877110848291313886374844485/13810417598\ 48475157293063174077384*c_0101_3^6 - 284508024196913438586602875180132455/138104175984847515729306317407\ 7384*c_0101_3^5 - 785904251404134894192075703985004365/276208351969\ 6950314586126348154768*c_0101_3^4 + 100831049948632030956092472089975659/690520879924237578646531587038\ 692*c_0101_3^3 + 2575537507345870263405184204121226/172630219981059\ 394661632896759673*c_0101_3^2 - 12578275774335806416508476931893465\ /345260439962118789323265793519346*c_0101_3 - 1192592928208107061625184925104416/17263021998105939466163289675967\ 3, c_0101_0 - 372307427051248983048149518963423/27620835196969503145861263\ 48154768*c_0101_3^17 + 7197202474792277894768934502410565/276208351\ 9696950314586126348154768*c_0101_3^16 - 16607332814931491639169657341603239/6905208799242375786465315870386\ 92*c_0101_3^15 + 194630909015133883399764761635891355/1381041759848\ 475157293063174077384*c_0101_3^14 - 1443611653332191748780477679660129785/27620835196969503145861263481\ 54768*c_0101_3^13 + 3238547008686328880052398807100353483/276208351\ 9696950314586126348154768*c_0101_3^12 - 215495512521048235073621660529165891/172630219981059394661632896759\ 673*c_0101_3^11 - 1106382929507694469650721873947404239/27620835196\ 96950314586126348154768*c_0101_3^10 + 7651605029103592225551886868530205083/27620835196969503145861263481\ 54768*c_0101_3^9 - 890965312858562106086142135873738185/34526043996\ 2118789323265793519346*c_0101_3^8 - 1177024528696486996137582489937023371/13810417598484751572930631740\ 77384*c_0101_3^7 + 3254165395453607135159976204244989453/1381041759\ 848475157293063174077384*c_0101_3^6 - 352102142662272848520565928471255407/138104175984847515729306317407\ 7384*c_0101_3^5 - 1610087549620535292081472433522382527/27620835196\ 96950314586126348154768*c_0101_3^4 + 354292326325582267236148101629013807/138104175984847515729306317407\ 7384*c_0101_3^3 + 34049322119490018670506696284514903/6905208799242\ 37578646531587038692*c_0101_3^2 - 123530685220336585588609130816394\ 80/172630219981059394661632896759673*c_0101_3 - 2646110706080519060113979255416565/17263021998105939466163289675967\ 3, c_0101_1 - 3365037316370343628536519986333/6736789072431586133136893532\ 0848*c_0101_3^17 + 65448114093387342150551637962051/673678907243158\ 61331368935320848*c_0101_3^16 - 152046471248810261216153455604097/1\ 6841972681078965332842233830212*c_0101_3^15 + 1795489829801313220231290096810163/33683945362157930665684467660424\ *c_0101_3^14 - 13479901284053240637951429038355579/6736789072431586\ 1331368935320848*c_0101_3^13 + 30909170468756584422635608164451845/\ 67367890724315861331368935320848*c_0101_3^12 - 2186376251292895422830970510532117/4210493170269741333210558457553*\ c_0101_3^11 - 5500275017587559225284903241518945/673678907243158613\ 31368935320848*c_0101_3^10 + 69446429391842202895590663106025453/67\ 367890724315861331368935320848*c_0101_3^9 - 4554030865848473432247547934266441/4210493170269741333210558457553*\ c_0101_3^8 - 5756723624280183796885067486157003/3368394536215793066\ 5684467660424*c_0101_3^7 + 29500173002120987515011781164809487/3368\ 3945362157930665684467660424*c_0101_3^6 - 6746975877105414181481882250633405/33683945362157930665684467660424\ *c_0101_3^5 - 11771845648162246637557758312229405/67367890724315861\ 331368935320848*c_0101_3^4 + 3512302062343218207786347853662659/336\ 83945362157930665684467660424*c_0101_3^3 + 28617989580001288663768114675811/8420986340539482666421116915106*c_\ 0101_3^2 - 99242909204369063677291701360900/42104931702697413332105\ 58457553*c_0101_3 - 15047999241248760899406706565874/42104931702697\ 41333210558457553, c_0101_3^18 - 19*c_0101_3^17 + 172*c_0101_3^16 - 986*c_0101_3^15 + 3527*c_0101_3^14 - 7389*c_0101_3^13 + 6280*c_0101_3^12 + 6289*c_0101_3^11 - 19917*c_0101_3^10 + 12464*c_0101_3^9 + 13066*c_0101_3^8 - 16054*c_0101_3^7 - 3678*c_0101_3^6 + 5249*c_0101_3^5 - 666*c_0101_3^4 - 980*c_0101_3^3 + 448*c_0101_3^2 + 272*c_0101_3 + 32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB