Magma V2.19-8 Tue Aug 20 2013 16:17:17 on localhost [Seed = 2699115639] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1516 geometric_solution 5.31778175 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 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 1 -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 0 0 0 2.098856081615 0.770284682509 0 2 3 0 0132 0132 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 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.127991979891 0.561541741539 4 1 5 3 0132 0132 0132 2031 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.312168977698 0.673761005170 5 2 4 1 2310 1302 2310 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 -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.312168977698 0.673761005170 2 3 6 6 0132 3201 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 0 0 0 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.394022193367 2.009145280054 5 5 3 2 1230 3012 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.306376549735 0.881917625448 6 4 4 6 3201 3201 0132 2310 0 0 0 0 0 -1 0 1 -1 0 0 1 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 1 0 0 -1 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.566589456127 0.296492961022 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(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' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0011_5'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0011_5'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : d['c_0011_6'], '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_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : negation(d['c_0011_5']), 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : d['c_0101_1'], '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_3, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 743278537642953033053003361770/32697250317449595564327946533*c_0101\ _4^18 - 1489824819976811888833823410946/108990834391498651881093155\ 11*c_0101_4^17 - 4963589474280283118279228698699/326972503174495955\ 64327946533*c_0101_4^16 + 233927349059807009736061132175272/4904587\ 54761743933464919197995*c_0101_4^15 + 1771566662951522645103127338031766/1471376264285231800394757593985*\ c_0101_4^14 + 251196997646820879397647328296467/1471376264285231800\ 394757593985*c_0101_4^13 - 2754476591123475688926849375929467/14713\ 76264285231800394757593985*c_0101_4^12 - 2239814766710358628282860190261021/1471376264285231800394757593985*\ c_0101_4^11 + 245608521945693842019019116565471/4904587547617439334\ 64919197995*c_0101_4^10 + 608174610568696233050968899591088/1471376\ 264285231800394757593985*c_0101_4^9 - 859218005411675703033468067565789/1471376264285231800394757593985*c\ _0101_4^8 + 496612168672588656415680669200561/147137626428523180039\ 4757593985*c_0101_4^7 + 180975737743398771263575974142922/163486251\ 587247977821639732665*c_0101_4^6 + 18912162802016587798046080425181/54495417195749325940546577555*c_01\ 01_4^5 + 29264704257243212874478733787466/1471376264285231800394757\ 593985*c_0101_4^4 + 316235343466043745908719516982839/1471376264285\ 231800394757593985*c_0101_4^3 + 8355199849158015626760194651366/980\ 91750952348786692983839599*c_0101_4^2 - 280297892007333854676073250534/32697250317449595564327946533*c_0101\ _4 + 1081439552429310085089078418217/163486251587247977821639732665\ , c_0011_0 - 1, c_0011_3 + 14855789066804143833361714160/10899083439149865188109315511*\ c_0101_4^18 + 65276059249014271757545479594/10899083439149865188109\ 315511*c_0101_4^17 - 8697360635516469845184746924/10899083439149865\ 188109315511*c_0101_4^16 - 4143319083273824043015127981978/16348625\ 1587247977821639732665*c_0101_4^15 - 7897719468978864343948573780334/490458754761743933464919197995*c_01\ 01_4^14 + 13196653526786427095701088186767/490458754761743933464919\ 197995*c_0101_4^13 + 2545981255960883648246627171848/49045875476174\ 3933464919197995*c_0101_4^12 - 9660199374143706019754325238931/4904\ 58754761743933464919197995*c_0101_4^11 + 3263733390690140957670109773307/54495417195749325940546577555*c_010\ 1_4^10 + 33294026555861586664780569407828/4904587547617439334649191\ 97995*c_0101_4^9 - 25091584947197652782911309549639/490458754761743\ 933464919197995*c_0101_4^8 - 19546996211229199024956391968134/49045\ 8754761743933464919197995*c_0101_4^7 + 7245998869768371568441392717116/163486251587247977821639732665*c_01\ 01_4^6 - 4574982653548296705754965149171/16348625158724797782163973\ 2665*c_0101_4^5 - 29090833495760000191886244643024/4904587547617439\ 33464919197995*c_0101_4^4 + 6548219534433329463152132575169/4904587\ 54761743933464919197995*c_0101_4^3 - 3348874644320117478180015199/32697250317449595564327946533*c_0101_4\ ^2 - 482328664806425863469086928009/32697250317449595564327946533*c\ _0101_4 + 193425813036510621514056110282/54495417195749325940546577\ 555, c_0011_5 + 12951744142514961315478661022/10899083439149865188109315511*\ c_0101_4^18 + 215050614046026040958093967864/5449541719574932594054\ 6577555*c_0101_4^17 - 84321515833561327527193158345/108990834391498\ 65188109315511*c_0101_4^16 - 1498075791908655176999663521292/544954\ 17195749325940546577555*c_0101_4^15 + 2198844630276774281371126645184/163486251587247977821639732665*c_01\ 01_4^14 + 4136327774094464085227062116797/5449541719574932594054657\ 7555*c_0101_4^13 - 249730114213663583561700521102/54495417195749325\ 940546577555*c_0101_4^12 - 5673390931345781759502664160819/54495417\ 195749325940546577555*c_0101_4^11 + 1404518003757704013040235614522/163486251587247977821639732665*c_01\ 01_4^10 + 14780845211939996483279001391831/163486251587247977821639\ 732665*c_0101_4^9 - 2598319005248598727235056719318/544954171957493\ 25940546577555*c_0101_4^8 - 2226226943603929186463044795084/3269725\ 0317449595564327946533*c_0101_4^7 + 10798497484580315349299970238879/163486251587247977821639732665*c_0\ 101_4^6 + 247741569105836562217205333007/10899083439149865188109315\ 511*c_0101_4^5 - 6810072574565897890086495999356/163486251587247977\ 821639732665*c_0101_4^4 + 876706036538648895462280031286/5449541719\ 5749325940546577555*c_0101_4^3 + 1848633713905809949814470460186/16\ 3486251587247977821639732665*c_0101_4^2 - 494601231675606517544214773567/54495417195749325940546577555*c_0101\ _4 + 140859074979549345302836754692/54495417195749325940546577555, c_0011_6 - 21119909748736624219878172521/10899083439149865188109315511*\ c_0101_4^18 - 491021752064199079508478274302/5449541719574932594054\ 6577555*c_0101_4^17 + 2861384358414047681459691240/1089908343914986\ 5188109315511*c_0101_4^16 + 2403545978829491231767423708936/5449541\ 7195749325940546577555*c_0101_4^15 + 6544024014946759206164517673238/163486251587247977821639732665*c_01\ 01_4^14 - 10115074386979406016315213414748/163486251587247977821639\ 732665*c_0101_4^13 - 13725239607148799910993880220782/1634862515872\ 47977821639732665*c_0101_4^12 + 4738609712569923300098910979661/163\ 486251587247977821639732665*c_0101_4^11 + 1865003083349571889464697753488/54495417195749325940546577555*c_010\ 1_4^10 - 8832728752409593371010468901183/16348625158724797782163973\ 2665*c_0101_4^9 + 53228708910806667086223227677/1634862515872479778\ 21639732665*c_0101_4^8 + 2235812469512688100286716342111/3269725031\ 7449595564327946533*c_0101_4^7 - 44670830004815874686994391304/5449\ 5417195749325940546577555*c_0101_4^6 - 104741508333752235200889170486/10899083439149865188109315511*c_0101\ _4^5 + 4511541799170474345226359224593/1634862515872479778216397326\ 65*c_0101_4^4 - 411535485190286181691336691669/16348625158724797782\ 1639732665*c_0101_4^3 - 227655932830019517275197801536/544954171957\ 49325940546577555*c_0101_4^2 + 287301634970935197865362021401/54495\ 417195749325940546577555*c_0101_4 - 129385298083772153490108429296/54495417195749325940546577555, c_0101_0 - 37193373178574567690919378537/10899083439149865188109315511*\ c_0101_4^18 - 698097406488323268900851549799/5449541719574932594054\ 6577555*c_0101_4^17 + 923094550470834322231257030123/54495417195749\ 325940546577555*c_0101_4^16 + 4778333250472024163503435676961/54495\ 417195749325940546577555*c_0101_4^15 - 55196602422289028499732962261/54495417195749325940546577555*c_0101_\ 4^14 - 37428280745549069224238231230733/163486251587247977821639732\ 665*c_0101_4^13 - 15332683762294032923292309733664/1634862515872479\ 77821639732665*c_0101_4^12 + 46529455991017891633441190125336/16348\ 6251587247977821639732665*c_0101_4^11 + 21443832559385352298827672262279/163486251587247977821639732665*c_0\ 101_4^10 - 12448497688597040341483205639306/54495417195749325940546\ 577555*c_0101_4^9 - 735720888812440251810805278439/1634862515872479\ 77821639732665*c_0101_4^8 + 6759982201714065226030946454829/3269725\ 0317449595564327946533*c_0101_4^7 - 13391901918143837133721015160852/163486251587247977821639732665*c_0\ 101_4^6 - 1373802925221407921763160054199/1089908343914986518810931\ 5511*c_0101_4^5 + 673377875697749607686884669454/108990834391498651\ 88109315511*c_0101_4^4 + 663852344777094975387131984024/16348625158\ 7247977821639732665*c_0101_4^3 - 5083078832420712334435574405551/16\ 3486251587247977821639732665*c_0101_4^2 + 534645878960152333530167419821/54495417195749325940546577555*c_0101\ _4 + 44266238088648237754041192896/54495417195749325940546577555, c_0101_1 + 55393270092744278257739623622/10899083439149865188109315511*\ c_0101_4^18 + 1277786061579606299592769406634/544954171957493259405\ 46577555*c_0101_4^17 - 97328670571701076424032303552/54495417195749\ 325940546577555*c_0101_4^16 - 3827966629379336767000355693150/32697\ 250317449595564327946533*c_0101_4^15 - 49766636964137177588795276336693/490458754761743933464919197995*c_0\ 101_4^14 + 85513220634053290457767750587886/49045875476174393346491\ 9197995*c_0101_4^13 + 109961436178269998512959251557588/49045875476\ 1743933464919197995*c_0101_4^12 - 48990360824788096649572286990381/\ 490458754761743933464919197995*c_0101_4^11 - 3695201877589209852793618603492/32697250317449595564327946533*c_010\ 1_4^10 + 78849859109351815359619029879818/4904587547617439334649191\ 97995*c_0101_4^9 + 10758092422446040971506274491291/490458754761743\ 933464919197995*c_0101_4^8 - 96913257493674912625118520807188/49045\ 8754761743933464919197995*c_0101_4^7 - 587249236899465265899252978354/54495417195749325940546577555*c_0101\ _4^6 + 7990571937633527906540658080773/1634862515872479778216397326\ 65*c_0101_4^5 - 32109319290334700246993281785349/490458754761743933\ 464919197995*c_0101_4^4 - 3614548124630974297278338782567/490458754\ 761743933464919197995*c_0101_4^3 + 846294568187717645308755225552/54495417195749325940546577555*c_0101\ _4^2 - 1584951737785618498921481210584/1634862515872479778216397326\ 65*c_0101_4 + 155527585253167838401429249934/5449541719574932594054\ 6577555, c_0101_4^19 + 27/5*c_0101_4^18 + 16/5*c_0101_4^17 - 353/15*c_0101_4^16 - 1681/45*c_0101_4^15 + 932/45*c_0101_4^14 + 3128/45*c_0101_4^13 + 70/9*c_0101_4^12 - 572/15*c_0101_4^11 + 1108/45*c_0101_4^10 + 1441/45*c_0101_4^9 - 1933/45*c_0101_4^8 - 463/15*c_0101_4^7 + 221/15*c_0101_4^6 - 434/45*c_0101_4^5 - 148/9*c_0101_4^4 + 11/3*c_0101_4^3 + 1/15*c_0101_4^2 - 12/5*c_0101_4 + 3/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB