Magma V2.19-8 Tue Aug 20 2013 16:16:32 on localhost [Seed = 1848636087] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0818 geometric_solution 4.74911358 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 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.494330637011 0.370700985187 0 2 2 0 3201 0132 1023 0132 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 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.958348352436 0.393292583206 3 1 1 4 0132 0132 1023 0132 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 -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.633998164583 0.207683485077 2 4 5 4 0132 0321 0132 3201 0 0 0 0 0 0 0 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 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.586919537294 1.345879808475 5 3 2 3 0132 2310 0132 0321 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 -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.586919537294 1.345879808475 4 6 6 3 0132 0132 1023 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 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.055477303040 0.311630547823 6 5 5 6 3012 0132 1023 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 -1 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 2.339495282175 1.161017322844 ==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_2_6' : d['1'], 's_1_6' : 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_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' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_1']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0011_1']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_1']), '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' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0011_1']), 'c_0110_6' : d['c_0011_4'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0011_1']), 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : d['c_0101_2'], '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 4104515787279654689707694003874509790/42233926530136474372504330209\ 927587*c_0101_6^17 - 81853659941386478268582328178310886211/4223392\ 6530136474372504330209927587*c_0101_6^16 - 57879254871670156037048385138991030/6033418075733782053214904315703\ 941*c_0101_6^15 + 1814236454181555186340433376267326283583/42233926\ 530136474372504330209927587*c_0101_6^14 + 4378725086925291448057029705262478526443/42233926530136474372504330\ 209927587*c_0101_6^13 + 4148284869103375749548594248644370700806/42\ 233926530136474372504330209927587*c_0101_6^12 - 15277233716888272278645113113856638788295/4223392653013647437250433\ 0209927587*c_0101_6^11 - 2720078085262293153282982227160460636039/6\ 033418075733782053214904315703941*c_0101_6^10 + 3821242643095767631805086978018019488948/60334180757337820532149043\ 15703941*c_0101_6^9 + 2081039368407356065393537120542463592315/4223\ 3926530136474372504330209927587*c_0101_6^8 + 3708767004792948820892353106991540573734/42233926530136474372504330\ 209927587*c_0101_6^7 - 360407697009969443487887955273908750961/4223\ 3926530136474372504330209927587*c_0101_6^6 - 19229823796004934053877919408265968370235/4223392653013647437250433\ 0209927587*c_0101_6^5 + 9589953870008902701145999978384402733247/42\ 233926530136474372504330209927587*c_0101_6^4 + 4340909906336437873541437142661650044495/42233926530136474372504330\ 209927587*c_0101_6^3 - 2706063639999026050884315791062217877991/422\ 33926530136474372504330209927587*c_0101_6^2 - 177603428597504100889760013256189356594/422339265301364743725043302\ 09927587*c_0101_6 + 156531247035966740607844995498103985617/4223392\ 6530136474372504330209927587, c_0011_0 - 1, c_0011_1 + 2066079055271401691731373682424166/6033418075733782053214904\ 315703941*c_0101_6^17 - 39932449679253021254813178336374842/6033418\ 075733782053214904315703941*c_0101_6^16 - 24815266739647883763285053974156357/6033418075733782053214904315703\ 941*c_0101_6^15 + 899177718379223674850052895484847398/603341807573\ 3782053214904315703941*c_0101_6^14 + 2758597418000646385882305223372260946/60334180757337820532149043157\ 03941*c_0101_6^13 + 3757021449205583618492278723399121831/603341807\ 5733782053214904315703941*c_0101_6^12 - 5489532866057228459211547681283265440/60334180757337820532149043157\ 03941*c_0101_6^11 - 13168713935544981508530419707976309232/60334180\ 75733782053214904315703941*c_0101_6^10 + 5362313468506178491759665772125109684/60334180757337820532149043157\ 03941*c_0101_6^9 + 4737953180163060317878986480020971182/6033418075\ 733782053214904315703941*c_0101_6^8 + 4932631555262964065831305613822305620/60334180757337820532149043157\ 03941*c_0101_6^7 + 2847449659899198595559926710064946969/6033418075\ 733782053214904315703941*c_0101_6^6 - 8077336706506285946264324540075750142/60334180757337820532149043157\ 03941*c_0101_6^5 - 341349294816942025995775522643624668/60334180757\ 33782053214904315703941*c_0101_6^4 + 2049525133977529653356804402534305607/60334180757337820532149043157\ 03941*c_0101_6^3 - 27509997968671532226753327906634382/603341807573\ 3782053214904315703941*c_0101_6^2 - 119148948894581617975472828172005996/603341807573378205321490431570\ 3941*c_0101_6 + 610022581074280981587443894388934/60334180757337820\ 53214904315703941, c_0011_4 - 1526854265247696688321385894399441/6033418075733782053214904\ 315703941*c_0101_6^17 + 29391792411283106526618732266593460/6033418\ 075733782053214904315703941*c_0101_6^16 + 20550602850644806246751261219310453/6033418075733782053214904315703\ 941*c_0101_6^15 - 661573714279010016990695829594921245/603341807573\ 3782053214904315703941*c_0101_6^14 - 2087616165035938091798970791418020142/60334180757337820532149043157\ 03941*c_0101_6^13 - 2967877513525155123563249979782453223/603341807\ 5733782053214904315703941*c_0101_6^12 + 3693488878468238318141635753239829603/60334180757337820532149043157\ 03941*c_0101_6^11 + 9731264460155123787406408891580473388/603341807\ 5733782053214904315703941*c_0101_6^10 - 3334947400418570551254696486425101434/60334180757337820532149043157\ 03941*c_0101_6^9 - 3401993796432376190575960922614473627/6033418075\ 733782053214904315703941*c_0101_6^8 - 3624127659511746916192599803938839428/60334180757337820532149043157\ 03941*c_0101_6^7 - 2242489470345930247452743549541595496/6033418075\ 733782053214904315703941*c_0101_6^6 + 5702302970944954686072811210303542867/60334180757337820532149043157\ 03941*c_0101_6^5 + 458349554117286799453410143434438291/60334180757\ 33782053214904315703941*c_0101_6^4 - 1497005113463181829551961654262803618/60334180757337820532149043157\ 03941*c_0101_6^3 - 40846650686076322716099510098440203/603341807573\ 3782053214904315703941*c_0101_6^2 + 96779489817709240798857672403148992/6033418075733782053214904315703\ 941*c_0101_6 + 5850824427845304547843454214280465/60334180757337820\ 53214904315703941, c_0101_0 + 4052976792999506009579963732074570/6033418075733782053214904\ 315703941*c_0101_6^17 - 77696757307971182767103056838086361/6033418\ 075733782053214904315703941*c_0101_6^16 - 60420645010178806380984743059724987/6033418075733782053214904315703\ 941*c_0101_6^15 + 1745421847729105224562761012867023637/60334180757\ 33782053214904315703941*c_0101_6^14 + 5672904854273701148524212498505341117/60334180757337820532149043157\ 03941*c_0101_6^13 + 8461260999142989615975645909497795079/603341807\ 5733782053214904315703941*c_0101_6^12 - 8626146254051866078906122285586101581/60334180757337820532149043157\ 03941*c_0101_6^11 - 25601211480553157626896729829451784872/60334180\ 75733782053214904315703941*c_0101_6^10 + 6642339266008805702785180077131570141/60334180757337820532149043157\ 03941*c_0101_6^9 + 7581933924446906517667492785999205644/6033418075\ 733782053214904315703941*c_0101_6^8 + 9773310253065397105891544509758023913/60334180757337820532149043157\ 03941*c_0101_6^7 + 6888160988680585994534607990535400069/6033418075\ 733782053214904315703941*c_0101_6^6 - 13834843813634316846319850505155623734/6033418075733782053214904315\ 703941*c_0101_6^5 - 1394768568297335917602073761955950323/603341807\ 5733782053214904315703941*c_0101_6^4 + 3283894421873140032723133873548656368/60334180757337820532149043157\ 03941*c_0101_6^3 + 120403243211608192179613225736223271/60334180757\ 33782053214904315703941*c_0101_6^2 - 164665055469213912427160793218382253/603341807573378205321490431570\ 3941*c_0101_6 - 11623683235723572347072541198291191/603341807573378\ 2053214904315703941, c_0101_2 - 1171951872956415598026943897967894/6033418075733782053214904\ 315703941*c_0101_6^17 + 22605488168588502074431144716161482/6033418\ 075733782053214904315703941*c_0101_6^16 + 14915654393489736466549262411216569/6033418075733782053214904315703\ 941*c_0101_6^15 - 508805098954134575686278138723413863/603341807573\ 3782053214904315703941*c_0101_6^14 - 1582106111981412705539677217597287986/60334180757337820532149043157\ 03941*c_0101_6^13 - 2206666352051306851595005528456074789/603341807\ 5733782053214904315703941*c_0101_6^12 + 2931464102728556058714879569443879490/60334180757337820532149043157\ 03941*c_0101_6^11 + 7323740421329148064550936797355814354/603341807\ 5733782053214904315703941*c_0101_6^10 - 3041153471360797959640025295386106427/60334180757337820532149043157\ 03941*c_0101_6^9 - 2671391455233949165071544313743341414/6033418075\ 733782053214904315703941*c_0101_6^8 - 2454835517308912548903915139536006735/60334180757337820532149043157\ 03941*c_0101_6^7 - 1497566696675443286647038459601815329/6033418075\ 733782053214904315703941*c_0101_6^6 + 4559215348893671869110191286200130648/60334180757337820532149043157\ 03941*c_0101_6^5 + 160601402331996582156312347530043803/60334180757\ 33782053214904315703941*c_0101_6^4 - 1318646920227082577684238824418193188/60334180757337820532149043157\ 03941*c_0101_6^3 + 43335056311231437394184041217773477/603341807573\ 3782053214904315703941*c_0101_6^2 + 95287174042052858713324040478604658/6033418075733782053214904315703\ 941*c_0101_6 - 926162910121967261126163781616833/603341807573378205\ 3214904315703941, c_0101_3 + 2306755594373184321454261971218953/6033418075733782053214904\ 315703941*c_0101_6^17 - 43983050175399395306723731360668847/6033418\ 075733782053214904315703941*c_0101_6^16 - 38855174717539335077388428150408997/6033418075733782053214904315703\ 941*c_0101_6^15 + 988073859896611933651641240880676709/603341807573\ 3782053214904315703941*c_0101_6^14 + 3327956824065583606393594509857463615/60334180757337820532149043157\ 03941*c_0101_6^13 + 5188569261951822563161104836186055342/603341807\ 5733782053214904315703941*c_0101_6^12 - 4233294284152004060925481696695966060/60334180757337820532149043157\ 03941*c_0101_6^11 - 14701276355234323132212120833134296054/60334180\ 75733782053214904315703941*c_0101_6^10 + 2403513806275045766469380033221958486/60334180757337820532149043157\ 03941*c_0101_6^9 + 4123642663231297767066093624557860572/6033418075\ 733782053214904315703941*c_0101_6^8 + 5590357294728581000789284764254201316/60334180757337820532149043157\ 03941*c_0101_6^7 + 4454928323572912435523120296833608004/6033418075\ 733782053214904315703941*c_0101_6^6 - 7232724121578333430393416356439009868/60334180757337820532149043157\ 03941*c_0101_6^5 - 1234497867679579132799991117619195616/6033418075\ 733782053214904315703941*c_0101_6^4 + 1754922450248982119313128929805459649/60334180757337820532149043157\ 03941*c_0101_6^3 + 96751244700212115135512805045375370/603341807573\ 3782053214904315703941*c_0101_6^2 - 99136083163583075194670579469558568/6033418075733782053214904315703\ 941*c_0101_6 - 2749992868599465038515279624086602/60334180757337820\ 53214904315703941, c_0101_6^18 - 20*c_0101_6^17 + c_0101_6^16 + 443*c_0101_6^15 + 1042*c_0101_6^14 + 927*c_0101_6^13 - 3850*c_0101_6^12 - 4523*c_0101_6^11 + 6909*c_0101_6^10 + 456*c_0101_6^9 + 760*c_0101_6^8 - 252*c_0101_6^7 - 4800*c_0101_6^6 + 2532*c_0101_6^5 + 1114*c_0101_6^4 - 707*c_0101_6^3 - 55*c_0101_6^2 + 40*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB