Magma V2.19-8 Tue Aug 20 2013 16:17:36 on localhost [Seed = 997894108] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1838 geometric_solution 5.48899270 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 3201 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.334704154784 0.199073867657 0 0 2 2 0132 2310 2310 0132 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 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.474052415508 1.203338984340 3 1 1 4 0132 3201 0132 0132 0 0 0 0 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 0 0 0 0 0 0 -1 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 0.734261213053 0.267824394456 2 4 6 5 0132 0321 0132 0132 0 0 0 0 0 -1 1 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 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.884724705708 0.765560494780 6 5 2 3 0132 1023 0132 0321 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 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.884724705708 0.765560494780 4 5 3 5 1023 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.846501333961 0.765115048018 4 6 6 3 0132 1230 3012 0132 0 0 0 0 0 1 0 -1 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 1 -1 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.377604875951 0.556175207388 ==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' : negation(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_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(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_6' : 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' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0011_2'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_3'], '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_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_2'], 'c_1001_2' : negation(d['c_0101_1']), '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_0101_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0011_2'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0011_2'], 'c_1010_5' : negation(d['c_0110_5']), 'c_1010_4' : d['c_0110_5'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 97384436873344906099892733169797401267/4742886846565661117757919980\ 854874451*c_0110_5^21 + 674663734804068585703412395876294392831/474\ 2886846565661117757919980854874451*c_0110_5^20 - 2089723617458225870667997514186699897004/47428868465656611177579199\ 80854874451*c_0110_5^19 - 7715446685992590287201576698115167358536/\ 4742886846565661117757919980854874451*c_0110_5^18 + 12019603471988686757140612513154387449940/4742886846565661117757919\ 980854874451*c_0110_5^17 + 2875964020738173321025130843715513124515\ 3/4742886846565661117757919980854874451*c_0110_5^16 - 16837193762789986838430051874729173276996/4742886846565661117757919\ 980854874451*c_0110_5^15 - 5628432464871864847613166076411283467462\ 0/4742886846565661117757919980854874451*c_0110_5^14 + 55818265163201206982303612847508786673398/4742886846565661117757919\ 980854874451*c_0110_5^13 - 2341670860455193708973274329258573287731\ /4742886846565661117757919980854874451*c_0110_5^12 - 232025937634326543241195296784062567859935/474288684656566111775791\ 9980854874451*c_0110_5^11 + 163386479090786003348749263979537956563\ 549/4742886846565661117757919980854874451*c_0110_5^10 + 348411042078058527030024474055659209147/680471570525919816034134860\ 9547883*c_0110_5^9 - 110517370167381117311665721682978340270262/474\ 2886846565661117757919980854874451*c_0110_5^8 - 71092597642739390146686903365698465896672/4742886846565661117757919\ 980854874451*c_0110_5^7 - 32930017211806118887583557529642769310532\ /4742886846565661117757919980854874451*c_0110_5^6 + 1614025456914269956610356335637559236307/16354782229536762475027310\ 2788099119*c_0110_5^5 - 12620260500660085027138228611552738313833/4\ 742886846565661117757919980854874451*c_0110_5^4 + 94132154860161538657415043687102175767/4742886846565661117757919980\ 854874451*c_0110_5^3 - 3017777387715625463152435784596057286985/474\ 2886846565661117757919980854874451*c_0110_5^2 + 1911966505937718145019466237813233889098/47428868465656611177579199\ 80854874451*c_0110_5 - 520913781968293637777915976752691066232/4742\ 886846565661117757919980854874451, c_0011_0 - 1, c_0011_2 + 121493603505871450092304724259742/56985303935668161933893067\ 1735537*c_0110_5^21 + 895306211553618138897106459548077/56985303935\ 6681619338930671735537*c_0110_5^20 - 2229705656837514762336047340491747/56985303935668161933893067173553\ 7*c_0110_5^19 - 10743186300135306158886412192800376/569853039356681\ 619338930671735537*c_0110_5^18 + 1056136111332625807755019483959435\ 1/569853039356681619338930671735537*c_0110_5^17 + 42176290267115389046722769355525594/5698530393566816193389306717355\ 37*c_0110_5^16 - 3726497726957768481031919894580675/569853039356681\ 619338930671735537*c_0110_5^15 - 7845046394147960214670361966877455\ 6/569853039356681619338930671735537*c_0110_5^14 + 34791132136612082528227051769719131/5698530393566816193389306717355\ 37*c_0110_5^13 + 24735881896801988898026024632893677/56985303935668\ 1619338930671735537*c_0110_5^12 - 282106413849792447886356313913855\ 402/569853039356681619338930671735537*c_0110_5^11 + 73441554918550886136097111562065051/5698530393566816193389306717355\ 37*c_0110_5^10 + 22184445087207725239286083789899052/33520767020981\ 271725819451278561*c_0110_5^9 + 25191430253527564631260035611536315\ /569853039356681619338930671735537*c_0110_5^8 - 140235395933773755977188384034818014/569853039356681619338930671735\ 537*c_0110_5^7 - 113713770660074533120949730672090159/5698530393566\ 81619338930671735537*c_0110_5^6 + 370376759681854182860544706668805\ 25/569853039356681619338930671735537*c_0110_5^5 + 16292258760091412871296757991289135/5698530393566816193389306717355\ 37*c_0110_5^4 + 613497777203381160641276999799591/56985303935668161\ 9338930671735537*c_0110_5^3 - 3843071266252336223371902861985178/56\ 9853039356681619338930671735537*c_0110_5^2 + 60326583001697416988708384726824/569853039356681619338930671735537*\ c_0110_5 + 280539536104240323973760436557848/5698530393566816193389\ 30671735537, c_0011_4 - 212936738917367893576765406862148/39889712754967713353725147\ 02148759*c_0110_5^21 - 1140865367108562556060956118204441/398897127\ 5496771335372514702148759*c_0110_5^20 + 6918862191863162359769236076847603/39889712754967713353725147021487\ 59*c_0110_5^19 + 9779600731259555194338135708245610/398897127549677\ 1335372514702148759*c_0110_5^18 - 544742422713721566543937923595340\ 32/3988971275496771335372514702148759*c_0110_5^17 - 20874286431822858855936842541072963/3988971275496771335372514702148\ 759*c_0110_5^16 + 150337600079621187318105641757575147/398897127549\ 6771335372514702148759*c_0110_5^15 + 54529748707539848367645750156661609/3988971275496771335372514702148\ 759*c_0110_5^14 - 356854151810778215802823991678878880/398897127549\ 6771335372514702148759*c_0110_5^13 + 211565653951572211524259199733884806/398897127549677133537251470214\ 8759*c_0110_5^12 + 583948263008329784646147063964103430/39889712754\ 96771335372514702148759*c_0110_5^11 - 1260832133021626360960639789535354297/39889712754967713353725147021\ 48759*c_0110_5^10 - 47049498469124540467776228174829/23464536914686\ 8902080736158949927*c_0110_5^9 + 1472332267172613788785261972615512\ 125/3988971275496771335372514702148759*c_0110_5^8 - 493110345432875138533005769206101204/398897127549677133537251470214\ 8759*c_0110_5^7 - 421541238833086270600410025027617512/398897127549\ 6771335372514702148759*c_0110_5^6 + 21526421411394944811113750963190465/3988971275496771335372514702148\ 759*c_0110_5^5 + 100427331537039555215461147061691247/3988971275496\ 771335372514702148759*c_0110_5^4 + 18250917863960431161653257619806459/3988971275496771335372514702148\ 759*c_0110_5^3 - 22463926635147681017233592176107168/39889712754967\ 71335372514702148759*c_0110_5^2 + 212242867648227887618958719624667\ 1/3988971275496771335372514702148759*c_0110_5 + 357393926061746449816938447732101/398897127549677133537251470214875\ 9, c_0101_0 + 341581267058390331200717142533242/39889712754967713353725147\ 02148759*c_0110_5^21 + 1414975628673187298021408979496537/398897127\ 5496771335372514702148759*c_0110_5^20 - 13846047068084121533163619454638297/3988971275496771335372514702148\ 759*c_0110_5^19 - 6057229301897569195910615598265931/39889712754967\ 71335372514702148759*c_0110_5^18 + 116268598554475017404279378848535543/398897127549677133537251470214\ 8759*c_0110_5^17 - 24726963997759831719936786207457286/398897127549\ 6771335372514702148759*c_0110_5^16 - 332843475182004400641886761326741102/398897127549677133537251470214\ 8759*c_0110_5^15 + 5448476263651929240667500872267475/3988971275496\ 771335372514702148759*c_0110_5^14 + 730352923266586563794639975871302397/398897127549677133537251470214\ 8759*c_0110_5^13 - 633472090576323976618241714918707811/39889712754\ 96771335372514702148759*c_0110_5^12 - 738782894216962795867526579694545171/398897127549677133537251470214\ 8759*c_0110_5^11 + 2928313769005962300226106983558807938/3988971275\ 496771335372514702148759*c_0110_5^10 - 61702148728233304029265522280619275/2346453691468689020807361589499\ 27*c_0110_5^9 - 2731765468810276536336860238585221843/3988971275496\ 771335372514702148759*c_0110_5^8 + 1425788785286374657189792160994587327/39889712754967713353725147021\ 48759*c_0110_5^7 + 224522916650379230269440139189748900/39889712754\ 96771335372514702148759*c_0110_5^6 + 217438959022558674526353375955630485/398897127549677133537251470214\ 8759*c_0110_5^5 - 180942749347481731365168057181182872/398897127549\ 6771335372514702148759*c_0110_5^4 + 42412426534183897371120696760245631/3988971275496771335372514702148\ 759*c_0110_5^3 + 711679019407278150608220885695370/3988971275496771\ 335372514702148759*c_0110_5^2 + 151639821838459892480839921845247/3\ 988971275496771335372514702148759*c_0110_5 + 520941718601647706811526614929791/398897127549677133537251470214875\ 9, c_0101_1 + 9674301901543487487384223427501/5698530393566816193389306717\ 35537*c_0110_5^21 + 171225553772583792232987394976205/5698530393566\ 81619338930671735537*c_0110_5^20 + 477469847472742896035666957361789/569853039356681619338930671735537\ *c_0110_5^19 - 3264121960644544351273701781804903/56985303935668161\ 9338930671735537*c_0110_5^18 - 6299734814756733129030687910368344/5\ 69853039356681619338930671735537*c_0110_5^17 + 18870202225571540560186435402887778/5698530393566816193389306717355\ 37*c_0110_5^16 + 24641537551830242374770107782800511/56985303935668\ 1619338930671735537*c_0110_5^15 - 362284355446266521450669213401170\ 60/569853039356681619338930671735537*c_0110_5^14 - 47340867393402078676832390126789844/5698530393566816193389306717355\ 37*c_0110_5^13 + 84690311210375488423991538512262842/56985303935668\ 1619338930671735537*c_0110_5^12 - 490486634537541055977166831200841\ 31/569853039356681619338930671735537*c_0110_5^11 - 240393816130401439157313417723253830/569853039356681619338930671735\ 537*c_0110_5^10 + 17801883799278838822582568964427241/3352076702098\ 1271725819451278561*c_0110_5^9 + 1920454671371665356188256867891489\ 49/569853039356681619338930671735537*c_0110_5^8 - 263565062575421339877489076180419725/569853039356681619338930671735\ 537*c_0110_5^7 + 4587997011752713531605900904472397/569853039356681\ 619338930671735537*c_0110_5^6 + 12444988133822139648470512938611327\ /569853039356681619338930671735537*c_0110_5^5 + 18642408604046607822058664284772758/5698530393566816193389306717355\ 37*c_0110_5^4 - 8699416370357436310080288559018115/5698530393566816\ 19338930671735537*c_0110_5^3 - 559828494981214331853310821421690/56\ 9853039356681619338930671735537*c_0110_5^2 + 719906879852288009151931533026227/569853039356681619338930671735537\ *c_0110_5 - 483773544079950832187186606968527/569853039356681619338\ 930671735537, c_0101_3 + 397732346983112833783960535073478/56985303935668161933893067\ 1735537*c_0110_5^21 + 2762577239368685436540672194371777/5698530393\ 56681619338930671735537*c_0110_5^20 - 8483194450936735308093582327366921/56985303935668161933893067173553\ 7*c_0110_5^19 - 31623021647898774421255261292169095/569853039356681\ 619338930671735537*c_0110_5^18 + 4863982967962179281613353191762502\ 7/569853039356681619338930671735537*c_0110_5^17 + 117377046544635558937803207040083167/569853039356681619338930671735\ 537*c_0110_5^16 - 67865992157178911483022603785359444/5698530393566\ 81619338930671735537*c_0110_5^15 - 224708859591538374646287390629235873/569853039356681619338930671735\ 537*c_0110_5^14 + 227120327008555362002183063646406377/569853039356\ 681619338930671735537*c_0110_5^13 - 20193161877564854908593417888334792/5698530393566816193389306717355\ 37*c_0110_5^12 - 954494002812328434279751333148101528/5698530393566\ 81619338930671735537*c_0110_5^11 + 683585839522642081614088975431297421/569853039356681619338930671735\ 537*c_0110_5^10 + 57351342673755205018681123457629254/3352076702098\ 1271725819451278561*c_0110_5^9 - 4919352524369248661847269945726507\ 27/569853039356681619338930671735537*c_0110_5^8 - 167218749688939761963804283372031515/569853039356681619338930671735\ 537*c_0110_5^7 - 146266838939889502852729650938443812/5698530393566\ 81619338930671735537*c_0110_5^6 + 797994132277101374932966814982778\ 17/569853039356681619338930671735537*c_0110_5^5 + 834090236054948569857602380462778/569853039356681619338930671735537\ *c_0110_5^4 - 825809583256349643835804822508780/5698530393566816193\ 38930671735537*c_0110_5^3 - 3886919291811465206329257047171229/5698\ 53039356681619338930671735537*c_0110_5^2 - 373313601536703276273531621183219/569853039356681619338930671735537\ *c_0110_5 + 688843288144940548861370651942015/569853039356681619338\ 930671735537, c_0110_5^22 + 7*c_0110_5^21 - 21*c_0110_5^20 - 81*c_0110_5^19 + 119*c_0110_5^18 + 306*c_0110_5^17 - 161*c_0110_5^16 - 593*c_0110_5^15 + 553*c_0110_5^14 + 23*c_0110_5^13 - 2436*c_0110_5^12 + 1558*c_0110_5^11 + 2690*c_0110_5^10 - 1171*c_0110_5^9 - 740*c_0110_5^8 - 254*c_0110_5^7 + 342*c_0110_5^6 - 49*c_0110_5^5 - 35*c_0110_5^4 - 15*c_0110_5^3 + 7*c_0110_5^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB