Magma V2.19-8 Tue Aug 20 2013 16:15:52 on localhost [Seed = 4299834] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0094 geometric_solution 3.63107969 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 3201 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 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.372228537200 0.039550823598 0 0 2 2 0132 2310 2310 0132 0 0 0 0 0 0 0 0 -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 1 -1 0 -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 1.928392817039 0.261280666795 3 1 1 3 0132 3201 0132 1023 0 0 0 0 0 1 0 -1 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 -1 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 1.263885259184 0.188159182372 2 4 5 2 0132 0132 0132 1023 0 0 0 0 0 0 1 -1 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 1 -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.769638643323 0.972753323501 5 3 6 5 2310 0132 0132 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 -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.198440901858 0.406410014696 6 4 4 3 1023 2310 3201 0132 0 0 0 0 0 1 0 -1 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 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.198440901858 0.406410014696 6 5 6 4 2310 1023 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 -1 1 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.970143961542 1.986869732882 ==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_2_6' : negation(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' : d['1'], 's_0_6' : negation(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_6' : negation(d['c_0011_5']), 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], '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_2'], 'c_0011_6' : d['c_0011_5'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_4']), 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), '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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 2422420918842688633215447132830754781/16776457238216018511772419390\ 118206*c_0101_4^22 + 28778852213012362776878676083039727647/1677645\ 7238216018511772419390118206*c_0101_4^21 + 587888908519408460163982548133262603/279607620636933641862873656501\ 9701*c_0101_4^20 + 692260153789634396469673558603679785943/16776457\ 238216018511772419390118206*c_0101_4^19 + 156645197214311858320192129248066790721/838822861910800925588620969\ 5059103*c_0101_4^18 + 1043268796497469621059204605858662787198/2796\ 076206369336418628736565019701*c_0101_4^17 + 138365850083572854126234854837582199733/129049671063200142398249379\ 9239862*c_0101_4^16 + 27922265432295029737539139092003719119291/167\ 76457238216018511772419390118206*c_0101_4^15 + 43148570405748066591921988979423718695/1928328418185749254226714872\ 42738*c_0101_4^14 + 68384348723742947232645234453537290883929/16776\ 457238216018511772419390118206*c_0101_4^13 + 560303842140885467681026343963315994420/279607620636933641862873656\ 5019701*c_0101_4^12 + 32357492636948853952789366389793107896879/559\ 2152412738672837257473130039402*c_0101_4^11 + 571857479447476563093822678405428284039/838822861910800925588620969\ 5059103*c_0101_4^10 + 40911038609484282848822902655179822988095/838\ 8228619108009255886209695059103*c_0101_4^9 + 10494804437215456401058839544618347796/2892492627278623881340072308\ 64107*c_0101_4^8 + 20465327281121202282359446684355458186213/838822\ 8619108009255886209695059103*c_0101_4^7 + 398137575151707976453318520508729642909/559215241273867283725747313\ 0039402*c_0101_4^6 + 11814483233299592577863942318483281368935/1677\ 6457238216018511772419390118206*c_0101_4^5 + 280400907398551645994632898188568463107/559215241273867283725747313\ 0039402*c_0101_4^4 + 905428117012640833635126896628958849720/838822\ 8619108009255886209695059103*c_0101_4^3 + 3108117042968391718337414548622768116/21508278510533357066374896653\ 9977*c_0101_4^2 + 112545700509562770522347788205672118583/167764572\ 38216018511772419390118206*c_0101_4 + 4268609770882038088869034758759405776/27960762063693364186287365650\ 19701, c_0011_0 - 1, c_0011_2 + 3460929477682019685749283346928/1628044630738437456664205802\ 237*c_0101_4^22 - 40107154261897775715076736878877/1628044630738437\ 456664205802237*c_0101_4^21 - 17723197629816034680976203530233/1628\ 044630738437456664205802237*c_0101_4^20 - 982876810666570582001379870036931/1628044630738437456664205802237*c\ _0101_4^19 - 80882770020690778323569248291809/180893847859826384073\ 800644693*c_0101_4^18 - 8875888594427620722533396157930317/16280446\ 30738437456664205802237*c_0101_4^17 - 4923848131652122181790734854738466/1628044630738437456664205802237*\ c_0101_4^16 - 38805227220225323295879167501169844/16280446307384374\ 56664205802237*c_0101_4^15 - 15057703242902354660292779661456977/16\ 28044630738437456664205802237*c_0101_4^14 - 91136318645470312398060674882186734/1628044630738437456664205802237\ *c_0101_4^13 - 26243666258180286293114586777744757/1628044630738437\ 456664205802237*c_0101_4^12 - 40322510124118832817612946107734591/5\ 42681543579479152221401934079*c_0101_4^11 - 27741190030418312190753261790320667/1628044630738437456664205802237\ *c_0101_4^10 - 92009388784736285305057538533930847/1628044630738437\ 456664205802237*c_0101_4^9 - 2002548057753926802178607271645071/180\ 893847859826384073800644693*c_0101_4^8 - 13133647137673919232016611037092256/542681543579479152221401934079*\ c_0101_4^7 - 7106733324818680755514996735491571/1628044630738437456\ 664205802237*c_0101_4^6 - 8984629369420741426030698206731897/162804\ 4630738437456664205802237*c_0101_4^5 - 1566326645157706559543153757394171/1628044630738437456664205802237*\ c_0101_4^4 - 918501116941631686462463108250712/16280446307384374566\ 64205802237*c_0101_4^3 - 164863924021539565384911785369278/16280446\ 30738437456664205802237*c_0101_4^2 - 19022263111404677873183831194112/1628044630738437456664205802237*c_\ 0101_4 - 2337789136483485616049906648819/16280446307384374566642058\ 02237, c_0011_5 + 611871443631701162552646050669/16280446307384374566642058022\ 37*c_0101_4^22 - 5514403153054851511716182062673/162804463073843745\ 6664205802237*c_0101_4^21 - 21855913301651258680664987587186/162804\ 4630738437456664205802237*c_0101_4^20 - 176532992147304599289982743523588/1628044630738437456664205802237*c\ _0101_4^19 - 191375335330023522345208731828025/54268154357947915222\ 1401934079*c_0101_4^18 - 1773957615816232031199487971217733/1628044\ 630738437456664205802237*c_0101_4^17 - 4825521649564938576946816232267114/1628044630738437456664205802237*\ c_0101_4^16 - 7996380902333788343284457165431936/162804463073843745\ 6664205802237*c_0101_4^15 - 19784884203012563019009134324473502/162\ 8044630738437456664205802237*c_0101_4^14 - 18366126024988258679211104443618693/1628044630738437456664205802237\ *c_0101_4^13 - 44606694713850636334508199012043492/1628044630738437\ 456664205802237*c_0101_4^12 - 7756845517834564950065615386317887/54\ 2681543579479152221401934079*c_0101_4^11 - 57500067366725720288098891504537009/1628044630738437456664205802237\ *c_0101_4^10 - 16754169986080211599444467816485795/1628044630738437\ 456664205802237*c_0101_4^9 - 14207079137408524816595600376053446/54\ 2681543579479152221401934079*c_0101_4^8 - 770517698656188112290550708064121/180893847859826384073800644693*c_\ 0101_4^7 - 17737485647691027746298901654757098/16280446307384374566\ 64205802237*c_0101_4^6 - 1707385262004918767853230810511088/1628044\ 630738437456664205802237*c_0101_4^5 - 3884956488918901564451139334600336/1628044630738437456664205802237*\ c_0101_4^4 - 246511954644141080150172024871195/16280446307384374566\ 64205802237*c_0101_4^3 - 373967777734261683661752814011763/16280446\ 30738437456664205802237*c_0101_4^2 - 19093840769389869563075754163397/1628044630738437456664205802237*c_\ 0101_4 - 5645227389352333843400778250433/16280446307384374566642058\ 02237, c_0101_0 - 522343366489158253694172799270/16280446307384374566642058022\ 37*c_0101_4^22 + 5898603061850925101830585576597/162804463073843745\ 6664205802237*c_0101_4^21 + 4670847151278456002531837225570/1628044\ 630738437456664205802237*c_0101_4^20 + 146668672989212228506801032902573/1628044630738437456664205802237*c\ _0101_4^19 + 51270791647770705576666756443851/542681543579479152221\ 401934079*c_0101_4^18 + 1314848070812068774041909033416410/16280446\ 30738437456664205802237*c_0101_4^17 + 1123920075136945185630827461280725/1628044630738437456664205802237*\ c_0101_4^16 + 5579399261490414492858485291334653/162804463073843745\ 6664205802237*c_0101_4^15 + 3964124575439445177973827344685841/1628\ 044630738437456664205802237*c_0101_4^14 + 12331777308765258556971274235804237/1628044630738437456664205802237\ *c_0101_4^13 + 8230584240383183916904733734049156/16280446307384374\ 56664205802237*c_0101_4^12 + 4906482546404011537459769254343806/542\ 681543579479152221401934079*c_0101_4^11 + 10563165037199960001185570111566631/1628044630738437456664205802237\ *c_0101_4^10 + 9289903330377219160323820449252706/16280446307384374\ 56664205802237*c_0101_4^9 + 2811617558992675054201500071492905/5426\ 81543579479152221401934079*c_0101_4^8 + 937688155504396682187905647330126/542681543579479152221401934079*c_\ 0101_4^7 + 4073632843386726398929531479789707/162804463073843745666\ 4205802237*c_0101_4^6 + 327983059835072616969525839023478/162804463\ 0738437456664205802237*c_0101_4^5 + 1084422008557574259863115974014967/1628044630738437456664205802237*\ c_0101_4^4 + 19395334609173203463845683118957/162804463073843745666\ 4205802237*c_0101_4^3 + 132615197301484444822234953021584/162804463\ 0738437456664205802237*c_0101_4^2 + 5284789558745969980573364844745/1628044630738437456664205802237*c_0\ 101_4 + 2891584845246867648658309997413/162804463073843745666420580\ 2237, c_0101_1 - 86400144609374269592100565780/180893847859826384073800644693\ *c_0101_4^22 + 3135951014774137154075860799456/54268154357947915222\ 1401934079*c_0101_4^21 - 284157148604613553509152967877/54268154357\ 9479152221401934079*c_0101_4^20 + 24613921570175997161255276911296/\ 180893847859826384073800644693*c_0101_4^19 + 17572082272940279022379094303192/542681543579479152221401934079*c_0\ 101_4^18 + 659369702009998906933831475112544/5426815435794791522214\ 01934079*c_0101_4^17 + 16706479251510829181938084535347/18089384785\ 9826384073800644693*c_0101_4^16 + 291873109228259955738096594657581\ 8/542681543579479152221401934079*c_0101_4^15 - 216076092075669676421708169733178/542681543579479152221401934079*c_\ 0101_4^14 + 2367419997805007474133779021870385/18089384785982638407\ 3800644693*c_0101_4^13 - 1095793364337318818148832146228400/5426815\ 43579479152221401934079*c_0101_4^12 + 3318253382020386695107796048138779/180893847859826384073800644693*c\ _0101_4^11 - 622937093473926987581944337262316/18089384785982638407\ 3800644693*c_0101_4^10 + 8147115139152502271530627659877211/5426815\ 43579479152221401934079*c_0101_4^9 - 1595275102798381858813785291960436/542681543579479152221401934079*c\ _0101_4^8 + 3800816134198503457672182814597690/54268154357947915222\ 1401934079*c_0101_4^7 - 742364123897690540886243717716548/542681543\ 579479152221401934079*c_0101_4^6 + 309452334192922473384555813815678/180893847859826384073800644693*c_\ 0101_4^5 - 192840318657462923410532240563117/5426815435794791522214\ 01934079*c_0101_4^4 + 30925674275552919002913015356544/180893847859\ 826384073800644693*c_0101_4^3 - 24879745410224460114386819629033/54\ 2681543579479152221401934079*c_0101_4^2 + 38902468744839999603562631063/180893847859826384073800644693*c_0101\ _4 - 847037109019009784800553088152/542681543579479152221401934079, c_0101_3 - 764854887574160002821538791422/16280446307384374566642058022\ 37*c_0101_4^22 + 9108038184642304749836030660081/162804463073843745\ 6664205802237*c_0101_4^21 + 1159433886554312123424781424785/1628044\ 630738437456664205802237*c_0101_4^20 + 214863065668030957768406624317045/1628044630738437456664205802237*c\ _0101_4^19 + 31202744110458432830821862222432/542681543579479152221\ 401934079*c_0101_4^18 + 1889682212671816720663407066540812/16280446\ 30738437456664205802237*c_0101_4^17 + 505863172187004691922403158599427/1628044630738437456664205802237*c\ _0101_4^16 + 8075318517000684022951033169862994/1628044630738437456\ 664205802237*c_0101_4^15 + 1002557375960169290853102877195118/16280\ 44630738437456664205802237*c_0101_4^14 + 18484308781280188528982082638015980/1628044630738437456664205802237\ *c_0101_4^13 + 1172050547340067438663652802850993/16280446307384374\ 56664205802237*c_0101_4^12 + 7859533400490698265939962400145508/542\ 681543579479152221401934079*c_0101_4^11 + 1538344001175503273976348515841247/1628044630738437456664205802237*\ c_0101_4^10 + 16809904100053605414024583650444962/16280446307384374\ 56664205802237*c_0101_4^9 + 673620915411050950758418222696706/54268\ 1543579479152221401934079*c_0101_4^8 + 2153902536904317517417597141267913/542681543579479152221401934079*c\ _0101_4^7 + 1521055828108850761842975179405446/16280446307384374566\ 64205802237*c_0101_4^6 + 1239748061990090048629895412168040/1628044\ 630738437456664205802237*c_0101_4^5 + 528398275812668084473597087159336/1628044630738437456664205802237*c\ _0101_4^4 + 107940510953016103541835638350057/162804463073843745666\ 4205802237*c_0101_4^3 + 75169157366109311879164630064473/1628044630\ 738437456664205802237*c_0101_4^2 + 3593235724469900057934954856430/1628044630738437456664205802237*c_0\ 101_4 + 1557213847707640335101578793240/162804463073843745666420580\ 2237, c_0101_4^23 - 12*c_0101_4^22 - 286*c_0101_4^20 - 95*c_0101_4^19 - 2578*c_0101_4^18 - 434*c_0101_4^17 - 11523*c_0101_4^16 - 165*c_0101_4^15 - 28431*c_0101_4^14 + 2066*c_0101_4^13 - 40886*c_0101_4^12 + 4579*c_0101_4^11 - 35178*c_0101_4^10 + 4193*c_0101_4^9 - 18168*c_0101_4^8 + 1864*c_0101_4^7 - 5512*c_0101_4^6 + 386*c_0101_4^5 - 919*c_0101_4^4 + 23*c_0101_4^3 - 69*c_0101_4^2 - 2*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB