Magma V2.19-8 Tue Aug 20 2013 16:14:26 on localhost [Seed = 2244221316] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s425 geometric_solution 4.72571627 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 1 1 0 0 0132 3201 1230 3012 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 1 0 -1 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.348625977951 0.222393259541 0 2 0 3 0132 0132 2310 0132 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 0 -1 1 0 0 1 -1 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.612611715913 1.078160983019 4 1 3 3 0132 0132 2310 3120 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 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.278003511427 0.690326403873 2 2 1 4 3120 3201 0132 3201 0 0 0 0 0 0 0 0 1 0 -1 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 1 -1 0 -1 0 1 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.278003511427 0.690326403873 2 3 5 5 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.945663246366 2.677412545611 5 4 4 5 3012 3201 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.156670771620 0.252842929683 ==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' : negation(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' : 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' : 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_5'], 'c_1100_4' : d['c_0011_5'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_3'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_0']), '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_0101_4']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : negation(d['c_0011_3']), '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_0011_5'], 'c_0110_4' : d['c_0101_2'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : negation(d['c_0011_3']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : d['c_0011_3']})} 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_3, c_0011_5, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 415889081958319308880598779805452898954702131855/173042366639683341\ 79541034579281676365236481056*c_0101_4^23 - 90860405967987691967758365711823296937698896377/1081514791498020886\ 221314661205104772827280066*c_0101_4^22 + 1396773147052566536685439315781053974307105769551/17304236663968334\ 179541034579281676365236481056*c_0101_4^21 + 532165722461432056417624655680868071034694268557/173042366639683341\ 79541034579281676365236481056*c_0101_4^20 - 1205883160898798826123348516325593626429605838933/86521183319841670\ 89770517289640838182618240528*c_0101_4^19 + 374639340464407576143468319769919264375603062575/216302958299604177\ 2442629322410209545654560132*c_0101_4^18 - 3698446294774900696558602821773192400256040269001/17304236663968334\ 179541034579281676365236481056*c_0101_4^17 + 1330198964806334913180601837749439063177903135315/43260591659920835\ 44885258644820419091309120264*c_0101_4^16 - 190992596194946768956446602138732554081259247605/108151479149802088\ 6221314661205104772827280066*c_0101_4^15 - 862515513078147439084477742540356023895399549851/432605916599208354\ 4885258644820419091309120264*c_0101_4^14 + 2861545481900520038660865431386761797704823777291/86521183319841670\ 89770517289640838182618240528*c_0101_4^13 - 1685778713359114757223625166467125272727265186045/17304236663968334\ 179541034579281676365236481056*c_0101_4^12 - 1016282369989967404789145114493739073584601727787/17304236663968334\ 179541034579281676365236481056*c_0101_4^11 - 132141475705762016437169170384662678402732405399/865211833198416708\ 9770517289640838182618240528*c_0101_4^10 + 1364884168120025486333324175997283731252295775579/43260591659920835\ 44885258644820419091309120264*c_0101_4^9 - 5317127752476865766122736858979436673915213593733/17304236663968334\ 179541034579281676365236481056*c_0101_4^8 - 779637050713355795071100097187161957318513438755/432605916599208354\ 4885258644820419091309120264*c_0101_4^7 + 189590113002390826455477778197592365313119156069/216302958299604177\ 2442629322410209545654560132*c_0101_4^6 - 37610654925745086874700029149858195113482394623/4326059165992083544\ 885258644820419091309120264*c_0101_4^5 + 799342574465478555090929497822309412048515264237/865211833198416708\ 9770517289640838182618240528*c_0101_4^4 + 446834601091548716042695716917762121909799399461/173042366639683341\ 79541034579281676365236481056*c_0101_4^3 + 148219790483105490125775342122812508845070951165/432605916599208354\ 4885258644820419091309120264*c_0101_4^2 + 38335667258564467276963026607256211979994842649/4326059165992083544\ 885258644820419091309120264*c_0101_4 - 36502091941487361150571503930054849563910605535/1730423666396833417\ 9541034579281676365236481056, c_0011_0 - 1, c_0011_3 - 208197820466564347678434503325461396151270645/54075739574901\ 0443110657330602552386413640033*c_0101_4^23 + 893586939085757860880424429734653892788940668/540757395749010443110\ 657330602552386413640033*c_0101_4^22 - 957482390712801889594929141725401946591276654/540757395749010443110\ 657330602552386413640033*c_0101_4^21 - 600281905932309410891145112643814498232107378/540757395749010443110\ 657330602552386413640033*c_0101_4^20 + 1907769622206166618792452851019251997304020842/54075739574901044311\ 0657330602552386413640033*c_0101_4^19 - 1891940155702180401870775739839128445946238926/54075739574901044311\ 0657330602552386413640033*c_0101_4^18 + 1970849601915697989807155825299641555323495027/54075739574901044311\ 0657330602552386413640033*c_0101_4^17 - 3103996857372175890510783130728699813500960538/54075739574901044311\ 0657330602552386413640033*c_0101_4^16 + 1750054382387207389241392628214342616903872836/54075739574901044311\ 0657330602552386413640033*c_0101_4^15 + 3715943664912141415200056883712016705210195014/54075739574901044311\ 0657330602552386413640033*c_0101_4^14 - 5520468076586245935666666770365442953551701231/54075739574901044311\ 0657330602552386413640033*c_0101_4^13 + 1327413764175506643873895968752839609600915122/54075739574901044311\ 0657330602552386413640033*c_0101_4^12 + 973435247197697559462040721790198051881818337/540757395749010443110\ 657330602552386413640033*c_0101_4^11 + 1075187705255307366703366793630314394623812263/54075739574901044311\ 0657330602552386413640033*c_0101_4^10 - 3391255198839616741688625894633326655962874553/54075739574901044311\ 0657330602552386413640033*c_0101_4^9 + 3525564989476276646367543644353151404237524507/54075739574901044311\ 0657330602552386413640033*c_0101_4^8 + 3881988431613249506994395727262986686985126853/54075739574901044311\ 0657330602552386413640033*c_0101_4^7 - 3179356874037631608254440964851202693173577633/54075739574901044311\ 0657330602552386413640033*c_0101_4^6 - 2270913161786587285476162114255910860910989039/54075739574901044311\ 0657330602552386413640033*c_0101_4^5 - 2574325916298345826224628606969561497571788429/54075739574901044311\ 0657330602552386413640033*c_0101_4^4 + 1238996503751711349090364722486577174174313994/54075739574901044311\ 0657330602552386413640033*c_0101_4^3 - 22462033633380594890312691945548119675743495/5407573957490104431106\ 57330602552386413640033*c_0101_4^2 - 56704450141722924882227439958895552615865355/5407573957490104431106\ 57330602552386413640033*c_0101_4 + 515236097137143921094263236363130658660128266/540757395749010443110\ 657330602552386413640033, c_0011_5 - 951566193043607831194188613050/12457397258546370547761038722\ 27*c_0101_4^23 + 2407660193940552926046571313510/124573972585463705\ 4776103872227*c_0101_4^22 - 768366103832465516835735091876/12457397\ 25854637054776103872227*c_0101_4^21 - 2239609062993856373707994028866/1245739725854637054776103872227*c_0\ 101_4^20 + 3350946502791809686022477809815/124573972585463705477610\ 3872227*c_0101_4^19 - 3405482611190084784951386279292/1245739725854\ 637054776103872227*c_0101_4^18 + 6007287945699201973571522161177/12\ 45739725854637054776103872227*c_0101_4^17 - 8122193083297198230422794617623/1245739725854637054776103872227*c_0\ 101_4^16 - 284874168115871592775038179727/1245739725854637054776103\ 872227*c_0101_4^15 + 9606115520944252089193979047830/12457397258546\ 37054776103872227*c_0101_4^14 - 6529672926386158750613946232987/124\ 5739725854637054776103872227*c_0101_4^13 + 258473940267545134160797335075/1245739725854637054776103872227*c_01\ 01_4^12 - 3188605444787179502176983037871/1245739725854637054776103\ 872227*c_0101_4^11 + 4667541699592449940268974852343/12457397258546\ 37054776103872227*c_0101_4^10 - 9756129638605364169766538528487/124\ 5739725854637054776103872227*c_0101_4^9 - 1466335027977368199962717057496/1245739725854637054776103872227*c_0\ 101_4^8 + 9976344541276765296951084203853/1245739725854637054776103\ 872227*c_0101_4^7 + 6618356658006827967417018788886/124573972585463\ 7054776103872227*c_0101_4^6 + 2493750040043991482170245771943/12457\ 39725854637054776103872227*c_0101_4^5 - 4846217109509761029553008091030/1245739725854637054776103872227*c_0\ 101_4^4 + 863798128609080881826996141197/12457397258546370547761038\ 72227*c_0101_4^3 - 1195979287956686856234894329591/1245739725854637\ 054776103872227*c_0101_4^2 - 1415979618784889598991042426009/124573\ 9725854637054776103872227*c_0101_4 + 557092478286509060629918014083/1245739725854637054776103872227, c_0101_1 + 18251805134946719297909595081527262597998735/540757395749010\ 443110657330602552386413640033*c_0101_4^23 + 232831677103298057046024313489910402168281541/540757395749010443110\ 657330602552386413640033*c_0101_4^22 - 437179316206763694318346328831536801597854114/540757395749010443110\ 657330602552386413640033*c_0101_4^21 - 781910228259298310924568465928291166548422798/540757395749010443110\ 657330602552386413640033*c_0101_4^20 + 2281044604251457786231523389710532548388097162/54075739574901044311\ 0657330602552386413640033*c_0101_4^19 - 1790410319700542061716336592384005699713720571/54075739574901044311\ 0657330602552386413640033*c_0101_4^18 - 705779545370838462533167014507100852272359229/540757395749010443110\ 657330602552386413640033*c_0101_4^17 + 2132076178409120550913043923846964268606332231/54075739574901044311\ 0657330602552386413640033*c_0101_4^16 - 2309482253473312634810912921303965849063422815/54075739574901044311\ 0657330602552386413640033*c_0101_4^15 + 5275811232090123935121495454459295187740275457/54075739574901044311\ 0657330602552386413640033*c_0101_4^14 - 7439903871742217977655295456054808450036935332/54075739574901044311\ 0657330602552386413640033*c_0101_4^13 + 2204015185256543438719309106962065473450367513/54075739574901044311\ 0657330602552386413640033*c_0101_4^12 + 5751071424009758345678349748855387729377223476/54075739574901044311\ 0657330602552386413640033*c_0101_4^11 - 5859398329497118492829624191753669426420220413/54075739574901044311\ 0657330602552386413640033*c_0101_4^10 + 722981899894719715120906338784585348610198823/540757395749010443110\ 657330602552386413640033*c_0101_4^9 + 4678057826175354852608300475664073853129153110/54075739574901044311\ 0657330602552386413640033*c_0101_4^8 + 2202466529621128738847814756153985893535267360/54075739574901044311\ 0657330602552386413640033*c_0101_4^7 - 8968558607216635351018085174007976426634807877/54075739574901044311\ 0657330602552386413640033*c_0101_4^6 + 1884040171096671958908458424416345521117407123/54075739574901044311\ 0657330602552386413640033*c_0101_4^5 + 1046773003118249748970948801039696896885642206/54075739574901044311\ 0657330602552386413640033*c_0101_4^4 - 2480485529762852033574953070063994526311950863/54075739574901044311\ 0657330602552386413640033*c_0101_4^3 + 717773965286053125887158055983576630733936628/540757395749010443110\ 657330602552386413640033*c_0101_4^2 - 21535539942859949444129207451019118115922305/5407573957490104431106\ 57330602552386413640033*c_0101_4 + 592824521904406099992546580524942447906703589/540757395749010443110\ 657330602552386413640033, c_0101_2 - 22124868943083094639525612767972629422193405/540757395749010\ 443110657330602552386413640033*c_0101_4^23 + 108310375367833811808470248767433910892812857/540757395749010443110\ 657330602552386413640033*c_0101_4^22 - 60216335240202079088136224996106027371623098/5407573957490104431106\ 57330602552386413640033*c_0101_4^21 + 15580837389410718483888217149495914861804079/5407573957490104431106\ 57330602552386413640033*c_0101_4^20 - 391548311314238100800529319400821874353282271/540757395749010443110\ 657330602552386413640033*c_0101_4^19 + 301156796667500793424391880246485952539204876/540757395749010443110\ 657330602552386413640033*c_0101_4^18 + 418981454292964931774668396861095305245974405/540757395749010443110\ 657330602552386413640033*c_0101_4^17 - 1173742381846670376932450651487568992088426678/54075739574901044311\ 0657330602552386413640033*c_0101_4^16 + 950806854323015315432309962160126801809786034/540757395749010443110\ 657330602552386413640033*c_0101_4^15 - 539117078486006676585540566643596217148292364/540757395749010443110\ 657330602552386413640033*c_0101_4^14 + 1459032932968151346523466989313184095334494394/54075739574901044311\ 0657330602552386413640033*c_0101_4^13 - 975650701403655450995260339176975100548097960/540757395749010443110\ 657330602552386413640033*c_0101_4^12 - 1251941691887428830689416302903953284077571136/54075739574901044311\ 0657330602552386413640033*c_0101_4^11 + 1875472274424300951745945024311681642173198519/54075739574901044311\ 0657330602552386413640033*c_0101_4^10 + 2869009091274387542441674466653218366727410/54075739574901044311065\ 7330602552386413640033*c_0101_4^9 - 488850725214698251288945396229674038853124904/540757395749010443110\ 657330602552386413640033*c_0101_4^8 + 1351857548469087868081502395388792738618656446/54075739574901044311\ 0657330602552386413640033*c_0101_4^7 + 2472611297210114329627559484665890725403872911/54075739574901044311\ 0657330602552386413640033*c_0101_4^6 - 1727499606305690438189915863060186809669746088/54075739574901044311\ 0657330602552386413640033*c_0101_4^5 - 2620807508835209964047389673950393589072942603/54075739574901044311\ 0657330602552386413640033*c_0101_4^4 - 702564797968002657864005039559838869716537923/540757395749010443110\ 657330602552386413640033*c_0101_4^3 - 730571020618607227741228340390624323606014242/540757395749010443110\ 657330602552386413640033*c_0101_4^2 - 461054667625357170733016478121880815921569478/540757395749010443110\ 657330602552386413640033*c_0101_4 + 206265821651829111906422112084217299880754473/540757395749010443110\ 657330602552386413640033, c_0101_4^24 - 192/55*c_0101_4^23 + 183/55*c_0101_4^22 + 17/11*c_0101_4^21 - 362/55*c_0101_4^20 + 8*c_0101_4^19 - 481/55*c_0101_4^18 + 636/55*c_0101_4^17 - 304/55*c_0101_4^16 - 588/55*c_0101_4^15 + 934/55*c_0101_4^14 - 31/5*c_0101_4^13 - 39/11*c_0101_4^12 + 114/55*c_0101_4^11 + 652/55*c_0101_4^10 - 701/55*c_0101_4^9 - 444/55*c_0101_4^8 + 72/11*c_0101_4^7 - 188/55*c_0101_4^6 + 34/11*c_0101_4^5 + 93/55*c_0101_4^4 + 68/55*c_0101_4^3 + 68/55*c_0101_4^2 - 7/55*c_0101_4 + 16/55 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB