Magma V2.19-8 Tue Aug 20 2013 16:18:33 on localhost [Seed = 273780001] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2745 geometric_solution 5.98415982 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.419827327880 0.143607901159 0 2 0 3 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 -1 1 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.249682558357 1.652033143714 4 1 5 6 0132 0132 0132 0132 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 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.680314226783 0.659802980613 6 5 1 4 0132 1023 0132 3201 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 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.680314226783 0.659802980613 2 3 4 4 0132 2310 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 0.654617204486 1.018572209321 3 5 5 2 1023 1230 3012 0132 0 0 0 0 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.856059717333 0.555991400256 3 6 2 6 0132 1302 0132 2031 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 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.857448419586 0.497345143810 ==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' : negation(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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : d['c_0101_5'], '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_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : negation(d['c_0011_3']), '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' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_5'], 'c_1010_0' : d['c_0011_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_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 5570772381860906699851814788304655/53668585901127805098795708446384\ *c_0101_5^18 + 3446929977227110290606753824366985/13417146475281951\ 274698927111596*c_0101_5^17 - 21273580657042272663628371508332151/5\ 3668585901127805098795708446384*c_0101_5^16 + 240627677020496321828255785060441941/536685859011278050987957084463\ 84*c_0101_5^15 + 75147158802110502856089366607080701/53668585901127\ 805098795708446384*c_0101_5^14 - 2419523876418719858949439267395218\ 201/53668585901127805098795708446384*c_0101_5^13 + 318757791427049299545089784350615676/335428661882048781867473177789\ 9*c_0101_5^12 + 1404760165725259441448091206123398857/1341714647528\ 1951274698927111596*c_0101_5^11 - 347769991448637242734516157952110\ 09847/53668585901127805098795708446384*c_0101_5^10 + 9382952198252228770239487247028893887/53668585901127805098795708446\ 384*c_0101_5^9 + 1236789307234785472371388768307639539/130898990002\ 7507441434041669424*c_0101_5^8 - 3709956070837543510310222826509305\ 4607/53668585901127805098795708446384*c_0101_5^7 - 21412147765254969354998998090572385681/5366858590112780509879570844\ 6384*c_0101_5^6 + 696618917313288251808602633313695/122107266793610\ 7687904889617*c_0101_5^5 - 196454638047888336451937784683947003/335\ 4286618820487818674731777899*c_0101_5^4 - 1901267212777724212305591774534874815/13417146475281951274698927111\ 596*c_0101_5^3 + 665212681355912271461987138316697327/1341714647528\ 1951274698927111596*c_0101_5^2 + 3118825293438024691084997089642425\ 33/53668585901127805098795708446384*c_0101_5 - 94751984854126909114858312421380297/2683429295056390254939785422319\ 2, c_0011_0 - 1, c_0011_3 + 316024952879302490549484216835/32724747500687686035851041735\ 6*c_0101_5^18 + 393107684750642713158310960485/16362373750343843017\ 9255208678*c_0101_5^17 - 1198730862939882252574100262203/3272474750\ 06876860358510417356*c_0101_5^16 + 13632828773216556874683092897711/327247475006876860358510417356*c_0\ 101_5^15 + 4447601314727696438798529071987/327247475006876860358510\ 417356*c_0101_5^14 - 137302643775620030417932207424247/327247475006\ 876860358510417356*c_0101_5^13 + 143831719220992286434272876258001/\ 163623737503438430179255208678*c_0101_5^12 + 80790174659481167899469546988131/81811868751719215089627604339*c_01\ 01_5^11 - 1971556994032508114247108766813307/3272474750068768603585\ 10417356*c_0101_5^10 + 508848380258431784246607146454249/3272474750\ 06876860358510417356*c_0101_5^9 + 289359612786272983861069501842108\ 1/327247475006876860358510417356*c_0101_5^8 - 2086900207375854354393809539779577/327247475006876860358510417356*c\ _0101_5^7 - 1233064488227799683132900572052811/32724747500687686035\ 8510417356*c_0101_5^6 + 12960648314926027432800918449601/2442145335\ 872215375809779234*c_0101_5^5 - 44049795368657685661828741242434/81\ 811868751719215089627604339*c_0101_5^4 - 107366757334113285385765806348552/81811868751719215089627604339*c_0\ 101_5^3 + 37685639720633778808611253549702/818118687517192150896276\ 04339*c_0101_5^2 + 16528280570719525536417170011489/327247475006876\ 860358510417356*c_0101_5 - 2600349433869319886587481960449/81811868\ 751719215089627604339, c_0101_0 + 110401086147464584319391097595/81811868751719215089627604339\ *c_0101_5^18 + 270783611177600872721593974992/818118687517192150896\ 27604339*c_0101_5^17 - 429738048524238144053155846886/8181186875171\ 9215089627604339*c_0101_5^16 + 4773242713596573310854914418997/8181\ 1868751719215089627604339*c_0101_5^15 + 1390643418492179732729484680784/81811868751719215089627604339*c_010\ 1_5^14 - 48073280449744829159988575398635/8181186875171921508962760\ 4339*c_0101_5^13 + 102126457839891392576371732989141/81811868751719\ 215089627604339*c_0101_5^12 + 109967986811091669924560824108016/818\ 11868751719215089627604339*c_0101_5^11 - 693622717317810699691830153271870/81811868751719215089627604339*c_0\ 101_5^10 + 199675671353606206320526202500043/8181186875171921508962\ 7604339*c_0101_5^9 + 1012919351614002992250470758089451/81811868751\ 719215089627604339*c_0101_5^8 - 762073665803194057175209679001193/8\ 1811868751719215089627604339*c_0101_5^7 - 422285099001589520513589403962064/81811868751719215089627604339*c_0\ 101_5^6 + 9350982086168536081740774810909/1221072667936107687904889\ 617*c_0101_5^5 - 71113008877424725660505925649315/81811868751719215\ 089627604339*c_0101_5^4 - 155399825557775002093289230508784/8181186\ 8751719215089627604339*c_0101_5^3 + 56008542041528209551706391071403/81811868751719215089627604339*c_01\ 01_5^2 + 6264146688425613942528884257703/81811868751719215089627604\ 339*c_0101_5 - 3981350781480727781166101358775/81811868751719215089\ 627604339, c_0101_1 + 146439879231990831133790945209/16362373750343843017925520867\ 8*c_0101_5^18 + 179145730461904993464261730591/81811868751719215089\ 627604339*c_0101_5^17 - 571554795917433526196263141959/163623737503\ 438430179255208678*c_0101_5^16 + 6335830160924642133626553160593/16\ 3623737503438430179255208678*c_0101_5^15 + 1802873086573856516530809702089/163623737503438430179255208678*c_01\ 01_5^14 - 63746828521626126653705495755667/163623737503438430179255\ 208678*c_0101_5^13 + 67915213325481104116155258750830/8181186875171\ 9215089627604339*c_0101_5^12 + 72391658493170867602367525923655/818\ 11868751719215089627604339*c_0101_5^11 - 920103776286395054973709225724745/163623737503438430179255208678*c_\ 0101_5^10 + 270341381058921643615401183741793/163623737503438430179\ 255208678*c_0101_5^9 + 1337984684703782680416941377077943/163623737\ 503438430179255208678*c_0101_5^8 - 1014315682653564080562958590458839/163623737503438430179255208678*c\ _0101_5^7 - 551948197038461486507929478264809/163623737503438430179\ 255208678*c_0101_5^6 + 6180333925409070241981799541127/122107266793\ 6107687904889617*c_0101_5^5 - 48393840094075916099506277760106/8181\ 1868751719215089627604339*c_0101_5^4 - 101922603816663184896820710279183/81811868751719215089627604339*c_0\ 101_5^3 + 36895489697549894353013421811921/818118687517192150896276\ 04339*c_0101_5^2 + 8268142865096706624650601667235/1636237375034384\ 30179255208678*c_0101_5 - 2562418967483806567421260128684/818118687\ 51719215089627604339, c_0101_2 + 20077891139930232730827695819/327247475006876860358510417356\ *c_0101_5^18 + 26981668672159032453023681917/1636237375034384301792\ 55208678*c_0101_5^17 - 60104490597076084148609574167/32724747500687\ 6860358510417356*c_0101_5^16 + 872274794103282815888948954323/32724\ 7475006876860358510417356*c_0101_5^15 + 452332182545876042257123174435/327247475006876860358510417356*c_010\ 1_5^14 - 8415333545612695439421095728459/32724747500687686035851041\ 7356*c_0101_5^13 + 8441164645549231643756439921321/1636237375034384\ 30179255208678*c_0101_5^12 + 5451363339695139379226568745366/818118\ 68751719215089627604339*c_0101_5^11 - 118161524853595739372455642067015/327247475006876860358510417356*c_\ 0101_5^10 + 17550371239778221304772454729969/3272474750068768603585\ 10417356*c_0101_5^9 + 161286279844670191116301874731657/32724747500\ 6876860358510417356*c_0101_5^8 - 118879107712226897092032568836245/\ 327247475006876860358510417356*c_0101_5^7 - 60354614498819918388045058529419/327247475006876860358510417356*c_0\ 101_5^6 + 760092941757992992973265489113/24421453358722153758097792\ 34*c_0101_5^5 - 5305746669026357832771989327007/8181186875171921508\ 9627604339*c_0101_5^4 - 5879637510932719458880483599683/81811868751\ 719215089627604339*c_0101_5^3 + 3203082613098912615970018205769/818\ 11868751719215089627604339*c_0101_5^2 - 201706786383369234938734846383/327247475006876860358510417356*c_010\ 1_5 - 195657532205236158286211965057/81811868751719215089627604339, c_0101_4 - 72660868355635411234654398535/81811868751719215089627604339*\ c_0101_5^18 - 178379343677880191152980775910/8181186875171921508962\ 7604339*c_0101_5^17 + 281293263438531201926478198346/81811868751719\ 215089627604339*c_0101_5^16 - 3143056757636884258841564995639/81811\ 868751719215089627604339*c_0101_5^15 - 916329008091641659624298021627/81811868751719215089627604339*c_0101\ _5^14 + 31586582460071330872964327386907/81811868751719215089627604\ 339*c_0101_5^13 - 67127652411326358128338183693547/8181186875171921\ 5089627604339*c_0101_5^12 - 72026582286695504349386247829896/818118\ 68751719215089627604339*c_0101_5^11 + 455062001283985763421037962432130/81811868751719215089627604339*c_0\ 101_5^10 - 130887252169166828553690034908530/8181186875171921508962\ 7604339*c_0101_5^9 - 659649885194362176140838465105530/818118687517\ 19215089627604339*c_0101_5^8 + 494862686435210711938273247125375/81\ 811868751719215089627604339*c_0101_5^7 + 271136255881726629433631415397105/81811868751719215089627604339*c_0\ 101_5^6 - 6030443267134388476021676738973/1221072667936107687904889\ 617*c_0101_5^5 + 46627022781217529286693092291748/81811868751719215\ 089627604339*c_0101_5^4 + 98936108831348041225207679293053/81811868\ 751719215089627604339*c_0101_5^3 - 35936333319791137033919708338925/81811868751719215089627604339*c_01\ 01_5^2 - 3862306988908399671707339505964/81811868751719215089627604\ 339*c_0101_5 + 2548174481674985776614106333019/81811868751719215089\ 627604339, c_0101_5^19 + 2*c_0101_5^18 - 5*c_0101_5^17 + 45*c_0101_5^16 - 7*c_0101_5^15 - 441*c_0101_5^14 + 1122*c_0101_5^13 + 576*c_0101_5^12 - 6729*c_0101_5^11 + 4651*c_0101_5^10 + 8335*c_0101_5^9 - 11023*c_0101_5^8 - 689*c_0101_5^7 + 7362*c_0101_5^6 - 3196*c_0101_5^5 - 1100*c_0101_5^4 + 1132*c_0101_5^3 - 173*c_0101_5^2 - 60*c_0101_5 + 16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB