Magma V2.19-8 Tue Aug 20 2013 16:18:56 on localhost [Seed = 4172899729] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3098 geometric_solution 6.26257148 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.556225510737 1.243331547040 0 5 5 6 0132 0132 1023 0132 0 0 0 0 0 0 -1 1 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 -1 1 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.405348889716 0.249587374181 6 0 2 2 3201 0132 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 0.135524818902 1.145351663940 6 3 3 0 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.383878552072 0.455263604474 4 6 0 4 3201 0132 0132 2310 0 0 0 0 0 -1 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 0 0 0 0 0 -1 1 0 1 0 0 -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.535805275796 1.110332846661 5 1 1 5 3201 0132 1023 2310 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 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 1.086238182097 0.939410872349 3 4 1 2 0132 0132 0132 2310 0 0 0 0 0 1 -1 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 1 -1 0 0 0 0 0 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.556225510737 1.243331547040 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(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' : negation(d['1']), 's_1_2' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_0']), 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0110_2'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_2']), '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_0'], 'c_0011_4' : d['c_0011_3'], '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' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0110_2']), 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : negation(d['c_0110_2']), '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_0110_2'], 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : negation(d['c_0101_2']), 'c_1010_6' : negation(d['c_0110_2']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(d['c_0110_2'])})} 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_5, c_0110_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 4326454864974837654915503893286177034864200373677/22366673953976914\ 98739631977544967088976095190277*c_0110_2^20 + 635927780958187028330281534633097452208029000706/248518599488632388\ 748847997504996343219566132253*c_0110_2^19 + 107963399109699314944028295654782037497453045065943/149111159693179\ 4332493087985029978059317396793518*c_0110_2^18 - 715372143178842919878417697992976438759150727777377/447333479079538\ 2997479263955089934177952190380554*c_0110_2^17 - 1326674357474789465197325236120148939664534335435090/22366673953976\ 91498739631977544967088976095190277*c_0110_2^16 + 1134226181487768260095401441133159450407521761931479/49703719897726\ 4777497695995009992686439132264506*c_0110_2^15 - 2974708245775664288942630404007329647878080979053066/22366673953976\ 91498739631977544967088976095190277*c_0110_2^14 - 4149492606409181452038739621867363196173297889897893/74555579846589\ 7166246543992514989029658698396759*c_0110_2^13 + 30074544127316672333639762939654297049864934531176599/2236667395397\ 691498739631977544967088976095190277*c_0110_2^12 - 52749674326448606376132697381200734155935380625973639/4473334790795\ 382997479263955089934177952190380554*c_0110_2^11 + 125839716817595343255074973000069779310900975011405/745555798465897\ 166246543992514989029658698396759*c_0110_2^10 + 44978811751944999440058422189928338743968793495722593/4473334790795\ 382997479263955089934177952190380554*c_0110_2^9 - 24036218517352204036375007501630664780609565387102763/2236667395397\ 691498739631977544967088976095190277*c_0110_2^8 + 7137183593696219940751244656458500128955600965999633/14911115969317\ 94332493087985029978059317396793518*c_0110_2^7 + 965504255003258724188073552081392109198984990634292/223666739539769\ 1498739631977544967088976095190277*c_0110_2^6 - 4275602393780350148302715749700998507724426928557930/22366673953976\ 91498739631977544967088976095190277*c_0110_2^5 + 5402446303161678939337652764002991159264147206090809/44733347907953\ 82997479263955089934177952190380554*c_0110_2^4 - 869943463653370873466340141734582646547272149207824/223666739539769\ 1498739631977544967088976095190277*c_0110_2^3 + 83040624211908449115817522823977807334853954741721/1491111596931794\ 332493087985029978059317396793518*c_0110_2^2 - 1240887070566716484235372402390009894166048700671/22366673953976914\ 98739631977544967088976095190277*c_0110_2 - 4622393306627630818230980326763707277300775220514/22366673953976914\ 98739631977544967088976095190277, c_0011_0 - 1, c_0011_3 - 346322696533789559029204512094950595611717383/12813539545688\ 7026939339003611753721690933814*c_0110_2^20 + 45039351381773708646446844383004604779636244/7118633080938168163296\ 611311764095649496323*c_0110_2^19 + 3873406186297722450315080434413408519995096605/42711798485629008979\ 779667870584573896977938*c_0110_2^18 - 38743457599041205705072047017105178522139204883/1281353954568870269\ 39339003611753721690933814*c_0110_2^17 - 50959618935536213886056241004600474849557684695/1281353954568870269\ 39339003611753721690933814*c_0110_2^16 + 42981013354294905956532432422493705357325586423/1423726616187633632\ 6593222623528191298992646*c_0110_2^15 - 319719700485740851308178571254011475830678583010/640676977284435134\ 69669501805876860845466907*c_0110_2^14 + 83904953996976610898986442931417635581170810833/4271179848562900897\ 9779667870584573896977938*c_0110_2^13 + 310821539537585248531239531052586041331693110792/640676977284435134\ 69669501805876860845466907*c_0110_2^12 - 488756992917112761398290112271832863163540550515/640676977284435134\ 69669501805876860845466907*c_0110_2^11 + 73890919342693599200099954675428713421889788687/2135589924281450448\ 9889833935292286948488969*c_0110_2^10 + 130678867947847923468743959272484789364644714181/640676977284435134\ 69669501805876860845466907*c_0110_2^9 - 467579202501369769885107686472095433733968420827/128135395456887026\ 939339003611753721690933814*c_0110_2^8 + 38656383708775395475691399646875641539065387308/2135589924281450448\ 9889833935292286948488969*c_0110_2^7 + 1828802477058175304235017437743024276856946467/64067697728443513469\ 669501805876860845466907*c_0110_2^6 - 33240207125150025566113882717438375966714679086/6406769772844351346\ 9669501805876860845466907*c_0110_2^5 + 33170166733928045723523703169286963093259781161/1281353954568870269\ 39339003611753721690933814*c_0110_2^4 - 6797877869537646785097871622814466862039903467/12813539545688702693\ 9339003611753721690933814*c_0110_2^3 + 50446828625091556089601544955173794714980769/2135589924281450448988\ 9833935292286948488969*c_0110_2^2 - 634358422506645667724469827436819721763249435/128135395456887026939\ 339003611753721690933814*c_0110_2 + 116016844833449931050740097269874979459123229/128135395456887026939\ 339003611753721690933814, c_0101_0 - 1148619559359159725643173669405502403018585049/1708471939425\ 16035919118671482338295587911752*c_0110_2^20 + 37219984770297324640324587174769726068820423/2372877693646056054432\ 203770588031883165441*c_0110_2^19 + 12873191086383042365152794814784990105419477171/5694906464750534530\ 6372890494112765195970584*c_0110_2^18 - 128389317912260364733894028595701820519338674793/170847193942516035\ 919118671482338295587911752*c_0110_2^17 - 171899007461776527353076607238665011804092787047/170847193942516035\ 919118671482338295587911752*c_0110_2^16 + 143348042650753225595118093904392359644458533087/189830215491684484\ 35457630164704255065323528*c_0110_2^15 - 263356667444243634502482186385324238050645911134/213558992428145044\ 89889833935292286948488969*c_0110_2^14 + 247124234059744724595399432023913924219891591569/569490646475053453\ 06372890494112765195970584*c_0110_2^13 + 278433862058686034998973145982702959963517755883/213558992428145044\ 89889833935292286948488969*c_0110_2^12 - 1665300611173746914592122709971811953722970462593/85423596971258017\ 959559335741169147793955876*c_0110_2^11 + 56504094803412522413533763729864239198005030259/7118633080938168163\ 296611311764095649496323*c_0110_2^10 + 268767386350940651588372093974934125653616589749/427117984856290089\ 79779667870584573896977938*c_0110_2^9 - 1638651157677261802022058631930716800767325647133/17084719394251603\ 5919118671482338295587911752*c_0110_2^8 + 29979620878256972593205835468413723019575697607/7118633080938168163\ 296611311764095649496323*c_0110_2^7 + 9105415609404214634317547447983069479148185322/21355899242814504489\ 889833935292286948488969*c_0110_2^6 - 116907402306419267400316439104187498467672829527/854235969712580179\ 59559335741169147793955876*c_0110_2^5 + 100339330261295638145540163224768716978614320467/170847193942516035\ 919118671482338295587911752*c_0110_2^4 - 18956035829127670386439397672946389519188916551/1708471939425160359\ 19118671482338295587911752*c_0110_2^3 + 344753218605357999426624695789815141611455131/284745323237526726531\ 86445247056382597985292*c_0110_2^2 - 3139503076336735328021781102852395955799624055/17084719394251603591\ 9118671482338295587911752*c_0110_2 + 220568016713945313165360822121794608796722251/170847193942516035919\ 118671482338295587911752, c_0101_1 - 43404148566543060187493531342328183385665011/142372661618763\ 36326593222623528191298992646*c_0110_2^20 + 5637467178359560990264222887256619432987927/79095923121535201814406\ 7923529343961055147*c_0110_2^19 + 487236256816809910841401759983809\ 880237770263/4745755387292112108864407541176063766330882*c_0110_2^1\ 8 - 4865555747816036235389372433188445160148895923/1423726616187633\ 6326593222623528191298992646*c_0110_2^17 - 6563382393867764219627264144302277319741219755/14237266161876336326\ 593222623528191298992646*c_0110_2^16 + 5455730544823617077152676885992622957657622613/15819184624307040362\ 88135847058687922110294*c_0110_2^15 - 39788705082815795589198428120204650591605970490/7118633080938168163\ 296611311764095649496323*c_0110_2^14 + 8534728399008552641249201197803194597036581877/47457553872921121088\ 64407541176063766330882*c_0110_2^13 + 44974251501457843443611087093613358980745367203/7118633080938168163\ 296611311764095649496323*c_0110_2^12 - 66364840358779603788634546639090315453710537886/7118633080938168163\ 296611311764095649496323*c_0110_2^11 + 9129771930245644100977477708144124540880980083/23728776936460560544\ 32203770588031883165441*c_0110_2^10 + 21238284777036619247025555292758098773083664451/7118633080938168163\ 296611311764095649496323*c_0110_2^9 - 67760484075820779849191178726089128942897692527/1423726616187633632\ 6593222623528191298992646*c_0110_2^8 + 5506210329295307611429376269283712209811879532/23728776936460560544\ 32203770588031883165441*c_0110_2^7 + 81037877235196181588929615525297380758116366/7118633080938168163296\ 611311764095649496323*c_0110_2^6 - 4580008373747775514754053267680255027287296870/71186330809381681632\ 96611311764095649496323*c_0110_2^5 + 5030995687124299613624859073239963529565445229/14237266161876336326\ 593222623528191298992646*c_0110_2^4 - 1401098793839707059582915416825526609003712699/14237266161876336326\ 593222623528191298992646*c_0110_2^3 + 41875964650890128438898623484925648034859370/2372877693646056054432\ 203770588031883165441*c_0110_2^2 - 124034169369569625618196653939867039222343439/142372661618763363265\ 93222623528191298992646*c_0110_2 + 18824169202438381923341756171414786636900215/1423726616187633632659\ 3222623528191298992646, c_0101_2 - 4758032454772635144468077/5623539985329707979455913*c_0110_2\ ^20 + 1095973628877379767863453/624837776147745331050657*c_0110_2^1\ 9 + 55358684525534834070933811/1874513328443235993151971*c_0110_2^1\ 8 - 499363520716220850079962503/5623539985329707979455913*c_0110_2^\ 17 - 952409066077723247482373762/5623539985329707979455913*c_0110_2\ ^16 + 618435916813558024944411158/624837776147745331050657*c_0110_2\ ^15 - 7105721491247657915357398267/5623539985329707979455913*c_0110\ _2^14 - 916506072035490490688573503/1874513328443235993151971*c_011\ 0_2^13 + 17814376017166699164505269146/5623539985329707979455913*c_\ 0110_2^12 - 18964855276672664797348677077/5623539985329707979455913\ *c_0110_2^11 + 983444265728116468514173199/187451332844323599315197\ 1*c_0110_2^10 + 11922596028546388930663480498/562353998532970797945\ 5913*c_0110_2^9 - 12950271613676621761470691316/5623539985329707979\ 455913*c_0110_2^8 + 1723113555648771860333319866/187451332844323599\ 3151971*c_0110_2^7 + 847083705168460530467796353/562353998532970797\ 9455913*c_0110_2^6 - 2067950935021561788119449181/56235399853297079\ 79455913*c_0110_2^5 + 1075112501503737865132789429/5623539985329707\ 979455913*c_0110_2^4 - 280912702571888172410506195/5623539985329707\ 979455913*c_0110_2^3 + 14597701628654231265011450/18745133284432359\ 93151971*c_0110_2^2 - 12148949029324221001039715/562353998532970797\ 9455913*c_0110_2 + 3036273134200686019395106/5623539985329707979455\ 913, c_0101_5 + 297906160703142191088415568651715045461022857/19220309318533\ 0540409008505417630582536400721*c_0110_2^20 - 82375514656134511425758020498390886415356741/2135589924281450448988\ 9833935292286948488969*c_0110_2^19 - 3307858919216252772078083852262050491538380465/64067697728443513469\ 669501805876860845466907*c_0110_2^18 + 34876195608325531922305411759728308686519922162/1922030931853305404\ 09008505417630582536400721*c_0110_2^17 + 39920450522699452245402606491491579648820955188/1922030931853305404\ 09008505417630582536400721*c_0110_2^16 - 38067309044032146380775539234609853033970533554/2135589924281450448\ 9889833935292286948488969*c_0110_2^15 + 595573230427298493432036314840330094549134162407/192203093185330540\ 409008505417630582536400721*c_0110_2^14 - 88962694894514379719227766501726831995088723018/6406769772844351346\ 9669501805876860845466907*c_0110_2^13 - 562188214452372757264868239767140848560369948608/192203093185330540\ 409008505417630582536400721*c_0110_2^12 + 975028598558027970895996883590517515602308514212/192203093185330540\ 409008505417630582536400721*c_0110_2^11 - 172891768126905875191561105250474929309391840132/640676977284435134\ 69669501805876860845466907*c_0110_2^10 - 197115287647337549781585746124856228726826272876/192203093185330540\ 409008505417630582536400721*c_0110_2^9 + 482805838613039444752348449101379378198994216907/192203093185330540\ 409008505417630582536400721*c_0110_2^8 - 99868024926844849838475901312118306771102104934/6406769772844351346\ 9669501805876860845466907*c_0110_2^7 + 43152167380347095890394947431987106830889879261/1922030931853305404\ 09008505417630582536400721*c_0110_2^6 + 59100932167565147794309264322392887878210425931/1922030931853305404\ 09008505417630582536400721*c_0110_2^5 - 45136484462569086510896966321436794758733178157/1922030931853305404\ 09008505417630582536400721*c_0110_2^4 + 15561537584759662018967791484509911292943832688/1922030931853305404\ 09008505417630582536400721*c_0110_2^3 - 975129283433951307780271773767234542060954265/640676977284435134696\ 69501805876860845466907*c_0110_2^2 + 788497274413318203828176821827807118872976673/192203093185330540409\ 008505417630582536400721*c_0110_2 - 140175227316402916682514991790605654226310082/192203093185330540409\ 008505417630582536400721, c_0110_2^21 - 44/17*c_0110_2^20 - 33*c_0110_2^19 + 2045/17*c_0110_2^18 + 2043/17*c_0110_2^17 - 19691/17*c_0110_2^16 + 36148/17*c_0110_2^15 - 19531/17*c_0110_2^14 - 29396/17*c_0110_2^13 + 58234/17*c_0110_2^12 - 35264/17*c_0110_2^11 - 7996/17*c_0110_2^10 + 28029/17*c_0110_2^9 - 18980/17*c_0110_2^8 + 3784/17*c_0110_2^7 + 3070/17*c_0110_2^6 - 2691/17*c_0110_2^5 + 1043/17*c_0110_2^4 - 14*c_0110_2^3 + 71/17*c_0110_2^2 - 15/17*c_0110_2 + 4/17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB