Magma V2.19-8 Tue Aug 20 2013 16:19:03 on localhost [Seed = 2884253377] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3192 geometric_solution 6.34084376 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 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 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.406194390915 0.235158872681 2 0 3 0 0132 2310 0132 0132 0 0 0 0 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 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.749928027745 0.832320597956 1 4 5 6 0132 0132 0132 0132 0 0 0 0 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 -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.403224648603 1.400274686437 6 5 4 1 3201 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 0 -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.403224648603 1.400274686437 3 2 6 6 2310 0132 1302 2031 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 -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.054387104095 0.797577161591 3 5 5 2 1023 3201 2310 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 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.160927032366 0.660682766863 4 4 2 3 2031 1302 0132 2310 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 -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.516812681594 0.877632689067 ==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' : negation(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' : negation(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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(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' : d['c_0011_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_1'], 's_3_6' : d['1'], '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_6' : d['c_0101_1'], 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : negation(d['c_0011_6']), '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_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_6'], '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' : negation(d['c_0011_6']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : d['c_0011_6'], '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' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : d['c_0011_6'], 'c_1010_4' : d['c_0011_6'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_3']), '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t + 44407007744845402110431930055969/107908746170610571906684368460672*\ c_0101_0*c_0101_3^16 - 222788098429496717918660620147077/2158174923\ 41221143813368736921344*c_0101_0*c_0101_3^15 - 2251385279201889204980709155842915/21581749234122114381336873692134\ 4*c_0101_0*c_0101_3^14 + 210070748246001264842799709430313/21581749\ 2341221143813368736921344*c_0101_0*c_0101_3^13 - 11700559168299013342878445971271519/2158174923412211438133687369213\ 44*c_0101_0*c_0101_3^12 + 2164353250751577413961474763902707/308310\ 70334460163401909819560192*c_0101_0*c_0101_3^11 + 23905576616374293609177048623107549/2158174923412211438133687369213\ 44*c_0101_0*c_0101_3^10 + 212315158502064766399189694397689555/2158\ 17492341221143813368736921344*c_0101_0*c_0101_3^9 + 44124586114928026694264534969427153/2158174923412211438133687369213\ 44*c_0101_0*c_0101_3^8 + 22837708521328608089799611752242277/539543\ 73085305285953342184230336*c_0101_0*c_0101_3^7 - 320747237903557438980040776022100779/107908746170610571906684368460\ 672*c_0101_0*c_0101_3^6 - 21641504422764684302276587906816189/26977\ 186542652642976671092115168*c_0101_0*c_0101_3^5 - 93970045072774049808950308289794323/1348859327132632148833554605758\ 4*c_0101_0*c_0101_3^4 - 19449463515772098033604569690154113/6744296\ 635663160744167773028792*c_0101_0*c_0101_3^3 - 317235882184911525281318385999673/613117875969378249469797548072*c_\ 0101_0*c_0101_3^2 + 288654759908751660742033221373759/4817354739759\ 40053154840930628*c_0101_0*c_0101_3 + 182339577547870755751965951546797/1686074158915790186041943257198*c\ _0101_0, c_0011_0 - 1, c_0011_1 - 63088785406171958592131043/2452471503877512997879190192288*c\ _0101_3^16 + 330071872531357421604055039/24524715038775129978791901\ 92288*c_0101_3^15 + 5517459375481356872227866327/980988601551005199\ 1516760769152*c_0101_3^14 - 20707642607392705538754004427/980988601\ 5510051991516760769152*c_0101_3^13 + 14348817591447916266018334909/9809886015510051991516760769152*c_010\ 1_3^12 - 16477444055080966780449248131/1401412287930007427359537252\ 736*c_0101_3^11 - 50536507131806213836385806615/9809886015510051991\ 516760769152*c_0101_3^10 - 206381402900225093881216227473/980988601\ 5510051991516760769152*c_0101_3^9 + 1715453942497477981663386414835/9809886015510051991516760769152*c_0\ 101_3^8 + 1722886177080695565662064027541/9809886015510051991516760\ 769152*c_0101_3^7 + 405509498815277550884182552801/2452471503877512\ 997879190192288*c_0101_3^6 - 716800717331336685550496457371/1226235\ 751938756498939595096144*c_0101_3^5 - 21031854061251194993641835612/76639734496172281183724693509*c_0101_\ 3^4 - 440589455449947060120753981267/613117875969378249469797548072\ *c_0101_3^3 - 320032340961113510293103316503/3065589379846891247348\ 98774036*c_0101_3^2 - 280215508990007999823717975/21897066998906366\ 052492769574*c_0101_3 + 48339416996384319188407266938/7663973449617\ 2281183724693509, c_0011_3 + 3357589474737986781771145235/9809886015510051991516760769152\ *c_0101_0*c_0101_3^16 - 11821878676234770519508933067/1961977203102\ 0103983033521538304*c_0101_0*c_0101_3^15 - 185460892453478502639536528299/19619772031020103983033521538304*c_0\ 101_0*c_0101_3^14 - 102930374905846249421333181063/1961977203102010\ 3983033521538304*c_0101_0*c_0101_3^13 - 809824194959609699283099760841/19619772031020103983033521538304*c_0\ 101_0*c_0101_3^12 + 60797577324733727987086203759/28028245758600148\ 54719074505472*c_0101_0*c_0101_3^11 + 2989575433474889013535996349471/19619772031020103983033521538304*c_\ 0101_0*c_0101_3^10 + 16756627122128961147147967045683/1961977203102\ 0103983033521538304*c_0101_0*c_0101_3^9 + 14934880934201636382823753947407/19619772031020103983033521538304*c\ _0101_0*c_0101_3^8 + 1863971732762317373962949388323/98098860155100\ 51991516760769152*c_0101_0*c_0101_3^7 - 4889175758952693387749008249621/2452471503877512997879190192288*c_0\ 101_0*c_0101_3^6 - 6307283788142504481258436024737/2452471503877512\ 997879190192288*c_0101_0*c_0101_3^5 - 3314373246033997864065131055667/613117875969378249469797548072*c_01\ 01_0*c_0101_3^4 - 4537406747218155429389029245537/61311787596937824\ 9469797548072*c_0101_0*c_0101_3^3 - 20596325102733396973274244749/76639734496172281183724693509*c_0101_\ 0*c_0101_3^2 - 6580615667570555746336638708/10948533499453183026246\ 384787*c_0101_0*c_0101_3 + 2534797441038423795652021668/76639734496\ 172281183724693509*c_0101_0, c_0011_6 + 8936858444155479045599006485/9809886015510051991516760769152\ *c_0101_0*c_0101_3^16 - 47003823019534849116819734825/1961977203102\ 0103983033521538304*c_0101_0*c_0101_3^15 - 448475464023345864588225975863/19619772031020103983033521538304*c_0\ 101_0*c_0101_3^14 + 101241152012640758526757741869/1961977203102010\ 3983033521538304*c_0101_0*c_0101_3^13 - 2345394775992724480861010173721/19619772031020103983033521538304*c_\ 0101_0*c_0101_3^12 + 469907996600654298280821996671/280282457586001\ 4854719074505472*c_0101_0*c_0101_3^11 + 4595004861123611329284460743839/19619772031020103983033521538304*c_\ 0101_0*c_0101_3^10 + 41681100707716630039145461802239/1961977203102\ 0103983033521538304*c_0101_0*c_0101_3^9 + 3928106198371135060412737772939/19619772031020103983033521538304*c_\ 0101_0*c_0101_3^8 + 3885541391133521960408202446845/490494300775502\ 5995758380384576*c_0101_0*c_0101_3^7 - 32010649761418478630153640872503/4904943007755025995758380384576*c_\ 0101_0*c_0101_3^6 - 2639778188269455246115221583473/245247150387751\ 2997879190192288*c_0101_0*c_0101_3^5 - 17936796516980968453492307208141/1226235751938756498939595096144*c_\ 0101_0*c_0101_3^4 - 3008566855439157371074984645807/613117875969378\ 249469797548072*c_0101_0*c_0101_3^3 + 32235977032968032230416971621/76639734496172281183724693509*c_0101_\ 0*c_0101_3^2 + 5135626697342306981704772909/10948533499453183026246\ 384787*c_0101_0*c_0101_3 - 5598676108243668258599506812/76639734496\ 172281183724693509*c_0101_0, c_0101_0^2 - 63088785406171958592131043/2452471503877512997879190192288\ *c_0101_3^16 + 330071872531357421604055039/245247150387751299787919\ 0192288*c_0101_3^15 + 5517459375481356872227866327/9809886015510051\ 991516760769152*c_0101_3^14 - 20707642607392705538754004427/9809886\ 015510051991516760769152*c_0101_3^13 + 14348817591447916266018334909/9809886015510051991516760769152*c_010\ 1_3^12 - 16477444055080966780449248131/1401412287930007427359537252\ 736*c_0101_3^11 - 50536507131806213836385806615/9809886015510051991\ 516760769152*c_0101_3^10 - 206381402900225093881216227473/980988601\ 5510051991516760769152*c_0101_3^9 + 1715453942497477981663386414835/9809886015510051991516760769152*c_0\ 101_3^8 + 1722886177080695565662064027541/9809886015510051991516760\ 769152*c_0101_3^7 + 405509498815277550884182552801/2452471503877512\ 997879190192288*c_0101_3^6 - 716800717331336685550496457371/1226235\ 751938756498939595096144*c_0101_3^5 - 21031854061251194993641835612/76639734496172281183724693509*c_0101_\ 3^4 - 440589455449947060120753981267/613117875969378249469797548072\ *c_0101_3^3 - 320032340961113510293103316503/3065589379846891247348\ 98774036*c_0101_3^2 - 280215508990007999823717975/21897066998906366\ 052492769574*c_0101_3 - 28300317499787961995317426571/7663973449617\ 2281183724693509, c_0101_1 + 361772689262783987788654277/4904943007755025995758380384576*\ c_0101_3^16 - 3100591813230429232364919023/980988601551005199151676\ 0769152*c_0101_3^15 - 1981470894944866077367075625/1226235751938756\ 498939595096144*c_0101_3^14 + 18288135294323263469914720961/4904943\ 007755025995758380384576*c_0101_3^13 - 10134381652444547646839528617/1226235751938756498939595096144*c_010\ 1_3^12 + 10065932525209187110271443327/3503530719825018568398843131\ 84*c_0101_3^11 + 19128223439154088593813139659/24524715038775129978\ 79190192288*c_0101_3^10 + 588671225950647449137236139005/4904943007\ 755025995758380384576*c_0101_3^9 - 1387928965108340716374327073693/4904943007755025995758380384576*c_0\ 101_3^8 - 1771411036956713647273241465173/9809886015510051991516760\ 769152*c_0101_3^7 - 1441378599155540352215593277469/245247150387751\ 2997879190192288*c_0101_3^6 + 1671107635794863629549591239389/24524\ 71503877512997879190192288*c_0101_3^5 - 310366660006892666849486738699/1226235751938756498939595096144*c_01\ 01_3^4 + 934884473827550030400428511233/613117875969378249469797548\ 072*c_0101_3^3 + 347958761434107626122638135715/1532794689923445623\ 67449387018*c_0101_3^2 + 580773831976012233790758503/21897066998906\ 366052492769574*c_0101_3 - 1118678330710226096963995621/76639734496\ 172281183724693509, c_0101_3^17 - 5/2*c_0101_3^16 - 51/2*c_0101_3^15 + 5/2*c_0101_3^14 - 257/2*c_0101_3^13 + 337/2*c_0101_3^12 + 575/2*c_0101_3^11 + 4735/2*c_0101_3^10 + 971/2*c_0101_3^9 + 732*c_0101_3^8 - 7216*c_0101_3^7 - 2112*c_0101_3^6 - 15984*c_0101_3^5 - 7072*c_0101_3^4 + 768*c_0101_3^3 + 1920*c_0101_3^2 + 128*c_0101_3 - 256 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB