Magma V2.19-8 Tue Aug 20 2013 16:14:44 on localhost [Seed = 4038159592] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s710 geometric_solution 5.22010094 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 1.564773026772 0.476923173009 0 2 3 0 3201 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 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.814382198699 0.482905169563 4 1 3 5 0132 0132 1302 0132 0 0 0 0 0 0 0 0 -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 0 0 0 -1 0 0 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.567615775761 0.598580814815 2 5 4 1 2031 2310 1023 0132 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 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.567615775761 0.598580814815 2 4 3 4 0132 1302 1023 2031 0 0 0 0 0 0 0 0 1 0 -1 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 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.451391754763 0.943301821243 5 5 2 3 1302 2031 0132 3201 0 0 0 0 0 0 0 0 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 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.500579302670 0.539355723446 ==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' : 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_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_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_1']), 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], '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_0110_5']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_1' : negation(d['c_0110_5']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_5']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_3']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_1'], 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : negation(d['c_0110_5']), '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_5, c_0101_0, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 207407673085266329382523120229/13957618132832366673851897728*c_0110\ _5^19 + 2221228370009306282291281435955/139576181328323666738518977\ 28*c_0110_5^18 - 265016598908408502879609658873/4361755666510114585\ 57871804*c_0110_5^17 + 231517094934872430365344589345/1395761813283\ 2366673851897728*c_0110_5^16 + 97345553167779187415941260017629/139\ 57618132832366673851897728*c_0110_5^15 - 172699052969885968254379320052937/13957618132832366673851897728*c_0\ 110_5^14 - 245384061591275903239606631507125/1395761813283236667385\ 1897728*c_0110_5^13 + 46624551226867532677926161007873/872351133302\ 022917115743608*c_0110_5^12 + 117811902940752391539473231346447/139\ 57618132832366673851897728*c_0110_5^11 - 691786596860388078870135878815143/6978809066416183336925948864*c_01\ 10_5^10 + 376908515850315115496505234792085/13957618132832366673851\ 897728*c_0110_5^9 + 1428462265357691287108910452626797/139576181328\ 32366673851897728*c_0110_5^8 - 771280448239158898602542712223409/13\ 957618132832366673851897728*c_0110_5^7 - 215704692533922346415590888696079/3489404533208091668462974432*c_01\ 10_5^6 + 726890768758339653908274303286421/139576181328323666738518\ 97728*c_0110_5^5 + 208182678750830329295880388767117/13957618132832\ 366673851897728*c_0110_5^4 - 40184015431171593511254131084403/17447\ 02266604045834231487216*c_0110_5^3 + 6515378026473331595573626973587/3489404533208091668462974432*c_0110\ _5^2 + 47115109255262183875284021909889/139576181328323666738518977\ 28*c_0110_5 - 2906596364547152322877842953025/348940453320809166846\ 2974432, c_0011_0 - 1, c_0011_1 + 169438144775391855521548584/109043891662752864639467951*c_01\ 10_5^19 - 1812843079452189284484681939/109043891662752864639467951*\ c_0110_5^18 + 6905602337883147760333135119/109043891662752864639467\ 951*c_0110_5^17 - 84353071729606351489196642/1090438916627528646394\ 67951*c_0110_5^16 - 79618896126910945751157588007/10904389166275286\ 4639467951*c_0110_5^15 + 140088489395627230756967512816/10904389166\ 2752864639467951*c_0110_5^14 + 203421092605482914016503799034/10904\ 3891662752864639467951*c_0110_5^13 - 607785875710680825223811335163/109043891662752864639467951*c_0110_5\ ^12 - 108724844045250191542927648575/109043891662752864639467951*c_\ 0110_5^11 + 1132631123824066924514505884252/10904389166275286463946\ 7951*c_0110_5^10 - 283802276688422916559002515033/10904389166275286\ 4639467951*c_0110_5^9 - 1177534425517214282126313054941/10904389166\ 2752864639467951*c_0110_5^8 + 603090531574927198597132149217/109043\ 891662752864639467951*c_0110_5^7 + 720486047267703635719781126107/109043891662752864639467951*c_0110_5\ ^6 - 575266352877021864561764339905/109043891662752864639467951*c_0\ 110_5^5 - 183578949736434144900807357890/10904389166275286463946795\ 1*c_0110_5^4 + 255891044282699880374222920769/109043891662752864639\ 467951*c_0110_5^3 - 15005955916004585046583446330/10904389166275286\ 4639467951*c_0110_5^2 - 37449247923016284242567676018/1090438916627\ 52864639467951*c_0110_5 + 8310735176601582530179334107/109043891662\ 752864639467951, c_0011_3 - 4421871525498716751282320013/1744702266604045834231487216*c_\ 0110_5^19 + 46889456076699918958006817083/1744702266604045834231487\ 216*c_0110_5^18 - 10995570874139872755795271476/1090438916627528646\ 39467951*c_0110_5^17 - 12787979069383955048655947143/17447022666040\ 45834231487216*c_0110_5^16 + 2070588275875132780373418780565/174470\ 2266604045834231487216*c_0110_5^15 - 3462236185400286048507408158769/1744702266604045834231487216*c_0110\ _5^14 - 5559577078710745408324941132829/174470226660404583423148721\ 6*c_0110_5^13 + 952294611518326009182674155578/10904389166275286463\ 9467951*c_0110_5^12 + 4032292893301748415681646786471/1744702266604\ 045834231487216*c_0110_5^11 - 14360723304578603684146642012839/8723\ 51133302022917115743608*c_0110_5^10 + 5024362731712384974552027324909/1744702266604045834231487216*c_0110\ _5^9 + 30315717467744651399671285445173/174470226660404583423148721\ 6*c_0110_5^8 - 13054772248461060151619797526377/1744702266604045834\ 231487216*c_0110_5^7 - 4762468797756525680661809058379/436175566651\ 011458557871804*c_0110_5^6 + 13144932626915649057690049335821/17447\ 02266604045834231487216*c_0110_5^5 + 5354206442652476010526323094117/1744702266604045834231487216*c_0110\ _5^4 - 747302008977321118407738031369/218087783325505729278935902*c\ _0110_5^3 + 19599764483233423254175225911/4361755666510114585578718\ 04*c_0110_5^2 + 876472630411855976406555407401/17447022666040458342\ 31487216*c_0110_5 - 42731300295265300054764605921/43617556665101145\ 8557871804, c_0011_5 + 2794426814742745731987765939/1744702266604045834231487216*c_\ 0110_5^19 - 29619713241148813678892005461/1744702266604045834231487\ 216*c_0110_5^18 + 6947151456919551258785162363/10904389166275286463\ 9467951*c_0110_5^17 + 7592572282677749261144179209/1744702266604045\ 834231487216*c_0110_5^16 - 1305619899845428100015316991675/17447022\ 66604045834231487216*c_0110_5^15 + 2186604639246493138132505029135/1744702266604045834231487216*c_0110\ _5^14 + 3478801392356551700199730035267/174470226660404583423148721\ 6*c_0110_5^13 - 599471808001598247405411712501/10904389166275286463\ 9467951*c_0110_5^12 - 2417569848044919399437318859241/1744702266604\ 045834231487216*c_0110_5^11 + 9002921910998706936905015523481/87235\ 1133302022917115743608*c_0110_5^10 - 3416192764276157057830324260771/1744702266604045834231487216*c_0110\ _5^9 - 18893786387466531710128131582731/174470226660404583423148721\ 6*c_0110_5^8 + 8508467864299570237456109841223/17447022666040458342\ 31487216*c_0110_5^7 + 2938445915096000073630140799025/4361755666510\ 11458557871804*c_0110_5^6 - 8472226001909852699381088053139/1744702\ 266604045834231487216*c_0110_5^5 - 3186106114344958749474723479899/1744702266604045834231487216*c_0110\ _5^4 + 478724531955441217999104387239/218087783325505729278935902*c\ _0110_5^3 - 31579997613812846945259640757/4361755666510114585578718\ 04*c_0110_5^2 - 561829058422764310045789563975/17447022666040458342\ 31487216*c_0110_5 + 29369044776845311837159564687/43617556665101145\ 8557871804, c_0101_0 - 241171900686885917839182691/218087783325505729278935902*c_01\ 10_5^19 + 2566410645757051579402185281/218087783325505729278935902*\ c_0110_5^18 - 4848050019858949671557732984/109043891662752864639467\ 951*c_0110_5^17 - 296810366713972360642306379/218087783325505729278\ 935902*c_0110_5^16 + 112869799844604691524048258841/218087783325505\ 729278935902*c_0110_5^15 - 193410757634589932606091683345/218087783\ 325505729278935902*c_0110_5^14 - 294279734657327501630390823823/218\ 087783325505729278935902*c_0110_5^13 + 421773841074699780615850295348/109043891662752864639467951*c_0110_5\ ^12 + 179753631116301734638770287701/218087783325505729278935902*c_\ 0110_5^11 - 788517892190672010342357543604/109043891662752864639467\ 951*c_0110_5^10 + 353517173037350415470722825857/218087783325505729\ 278935902*c_0110_5^9 + 1645904261485211956060889752591/218087783325\ 505729278935902*c_0110_5^8 - 802128179291306445422513572669/2180877\ 83325505729278935902*c_0110_5^7 - 507006487842596611260638496781/10\ 9043891662752864639467951*c_0110_5^6 + 779994809536957862019306786157/218087783325505729278935902*c_0110_5\ ^5 + 264701648151853782795525871055/218087783325505729278935902*c_0\ 110_5^4 - 175128120362569671041618352446/10904389166275286463946795\ 1*c_0110_5^3 + 8780584957817422651845798023/10904389166275286463946\ 7951*c_0110_5^2 + 52028960864127277731326428821/2180877833255057292\ 78935902*c_0110_5 - 5615249980678454887947362360/109043891662752864\ 639467951, c_0110_5^20 - 11*c_0110_5^19 + 44*c_0110_5^18 - 13*c_0110_5^17 - 469*c_0110_5^16 + 969*c_0110_5^15 + 941*c_0110_5^14 - 3940*c_0110_5^13 + 477*c_0110_5^12 + 6834*c_0110_5^11 - 3753*c_0110_5^10 - 6357*c_0110_5^9 + 5713*c_0110_5^8 + 3080*c_0110_5^7 - 4705*c_0110_5^6 + 11*c_0110_5^5 + 1836*c_0110_5^4 - 572*c_0110_5^3 - 189*c_0110_5^2 + 120*c_0110_5 - 16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB