Magma V2.19-8 Tue Aug 20 2013 16:15:58 on localhost [Seed = 2395935409] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0199 geometric_solution 4.01254363 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 2310 3201 0 0 0 0 0 -1 1 0 -1 0 0 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 1 -1 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.774730443590 0.059752618733 0 0 2 2 0132 3201 2310 0132 0 0 0 0 0 0 0 0 1 0 0 -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 1 -1 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 1.636650899773 0.253970641860 3 1 1 3 0132 3201 0132 1023 0 0 0 0 0 0 0 0 0 0 1 -1 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 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.133574397097 0.123861106573 2 4 4 2 0132 0132 1023 1023 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 0 0 0 0 0 0 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.085669215936 0.387196348825 5 3 3 6 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 0 0 0 0 0 0 0 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.505315402859 0.297771619518 4 6 6 6 0132 0321 1302 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 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 0.508035258287 0.879705534578 5 5 4 5 2031 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 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.508035258287 0.879705534578 ==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' : 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' : negation(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_2'], 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : d['c_0101_4'], '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' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : d['c_0011_6'], '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_0011_2'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_4'], '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_0101_4'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : d['c_0011_2'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_1'])})} 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_6, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 10180260326963266915632527648523992/1582547704973822677318751059956\ 07*c_0101_4^23 + 44811930110173486969319583320745338/15825477049738\ 2267731875105995607*c_0101_4^22 + 278290525956705826406179058146940\ 320/158254770497382267731875105995607*c_0101_4^21 - 1215689800162579082921261084555617415/15825477049738226773187510599\ 5607*c_0101_4^20 - 2413216270895559330059761483597263895/1582547704\ 97382267731875105995607*c_0101_4^19 + 11188094981749345407738089910358738267/1582547704973822677318751059\ 95607*c_0101_4^18 + 10809940911094890282977020418301738138/15825477\ 0497382267731875105995607*c_0101_4^17 - 52945450489674592121553799749231416382/1582547704973822677318751059\ 95607*c_0101_4^16 - 21921044859453542116179403621439075573/15825477\ 0497382267731875105995607*c_0101_4^15 + 142524103034296224923000904276832466626/158254770497382267731875105\ 995607*c_0101_4^14 + 14562356469326056954622554803201092257/1582547\ 70497382267731875105995607*c_0101_4^13 - 229219033120079088105595059593021559594/158254770497382267731875105\ 995607*c_0101_4^12 + 9573708034745927847258291091824785797/15825477\ 0497382267731875105995607*c_0101_4^11 + 228120302846371817377421403978852071559/158254770497382267731875105\ 995607*c_0101_4^10 - 16223621598544162508307396365071796857/1582547\ 70497382267731875105995607*c_0101_4^9 - 145577505128918313031211180743875081183/158254770497382267731875105\ 995607*c_0101_4^8 + 6678243314324186571265759412119053689/158254770\ 497382267731875105995607*c_0101_4^7 + 60569019406653631694090979954229945937/1582547704973822677318751059\ 95607*c_0101_4^6 - 2476017885300383614945297964660616738/1582547704\ 97382267731875105995607*c_0101_4^5 - 14598649809445244499299621209353163702/1582547704973822677318751059\ 95607*c_0101_4^4 + 1282153615544073587909133801530065874/1582547704\ 97382267731875105995607*c_0101_4^3 + 1255636558501717842505091383938789858/15825477049738226773187510599\ 5607*c_0101_4^2 - 223333353136823312086615633065764275/158254770497\ 382267731875105995607*c_0101_4 + 6502148088385331327979384799883646\ 6/158254770497382267731875105995607, c_0011_0 - 1, c_0011_2 - 176888486903986827034985302848701/15825477049738226773187510\ 5995607*c_0101_4^23 + 566049374454469333248416499886174/15825477049\ 7382267731875105995607*c_0101_4^22 + 5586835106678725169872655265368043/15825477049738226773187510599560\ 7*c_0101_4^21 - 14649902632302668714615087598177685/158254770497382\ 267731875105995607*c_0101_4^20 - 6173052627495257755816431436425590\ 6/158254770497382267731875105995607*c_0101_4^19 + 126491631711011704981432571767876071/158254770497382267731875105995\ 607*c_0101_4^18 + 363262921313580868446571143190827712/158254770497\ 382267731875105995607*c_0101_4^17 - 538131778022661489190279556024537572/158254770497382267731875105995\ 607*c_0101_4^16 - 1160990979240197346029607400770278016/15825477049\ 7382267731875105995607*c_0101_4^15 + 1318586321196040429538030965355573475/15825477049738226773187510599\ 5607*c_0101_4^14 + 2245977845757496996155603141918025257/1582547704\ 97382267731875105995607*c_0101_4^13 - 1875592187195047548366430742595868886/15825477049738226773187510599\ 5607*c_0101_4^12 - 2835335175880836081946169193579571567/1582547704\ 97382267731875105995607*c_0101_4^11 + 1419983160021549035069721021506532942/15825477049738226773187510599\ 5607*c_0101_4^10 + 2314888857694842723667711185673667015/1582547704\ 97382267731875105995607*c_0101_4^9 - 450514863547584539255199784742421152/158254770497382267731875105995\ 607*c_0101_4^8 - 1111944639805127066511277147223942773/158254770497\ 382267731875105995607*c_0101_4^7 + 10640995352108740188726511469420183/1582547704973822677318751059956\ 07*c_0101_4^6 + 274396084718856466977733254022976987/15825477049738\ 2267731875105995607*c_0101_4^5 + 7433604919963111339562447512729029\ /158254770497382267731875105995607*c_0101_4^4 - 29291060009778532615239294294798221/1582547704973822677318751059956\ 07*c_0101_4^3 + 3308251242261067346940106290614328/1582547704973822\ 67731875105995607*c_0101_4^2 + 1208452414901682831037108103085696/1\ 58254770497382267731875105995607*c_0101_4 - 304608530820671089774533008675790/158254770497382267731875105995607\ , c_0011_6 + 70398634731905950781349377010598/158254770497382267731875105\ 995607*c_0101_4^23 - 228215905737772092582255686462882/158254770497\ 382267731875105995607*c_0101_4^22 - 2218412344459607160511581651843313/15825477049738226773187510599560\ 7*c_0101_4^21 + 5937535545058773770869341081392719/1582547704973822\ 67731875105995607*c_0101_4^20 + 24460968014155410383368211022599449\ /158254770497382267731875105995607*c_0101_4^19 - 51743538449130613969248597939954933/1582547704973822677318751059956\ 07*c_0101_4^18 - 143966751065425187384974575153609409/1582547704973\ 82267731875105995607*c_0101_4^17 + 223542526862606570916760583394890800/158254770497382267731875105995\ 607*c_0101_4^16 + 461789447161351923949602381940514893/158254770497\ 382267731875105995607*c_0101_4^15 - 558829385251664568953398999487753752/158254770497382267731875105995\ 607*c_0101_4^14 - 899081595902843786846098640453758897/158254770497\ 382267731875105995607*c_0101_4^13 + 821547080792294396127994398823687528/158254770497382267731875105995\ 607*c_0101_4^12 + 1147609054270276800703296088384099977/15825477049\ 7382267731875105995607*c_0101_4^11 - 668297461052713338418524087415763425/158254770497382267731875105995\ 607*c_0101_4^10 - 958203697514116417367478182185270737/158254770497\ 382267731875105995607*c_0101_4^9 + 262776862222971821118383646907014195/158254770497382267731875105995\ 607*c_0101_4^8 + 483185927861099457675358392571374913/1582547704973\ 82267731875105995607*c_0101_4^7 - 394054558659220091568904356608581\ 62/158254770497382267731875105995607*c_0101_4^6 - 132014370648451406622203255023024485/158254770497382267731875105995\ 607*c_0101_4^5 + 3291856465679708578608132084868683/158254770497382\ 267731875105995607*c_0101_4^4 + 16848811776654994726760327408556997\ /158254770497382267731875105995607*c_0101_4^3 - 1605559002483056227044287298845383/15825477049738226773187510599560\ 7*c_0101_4^2 - 538712210489028849171401827881805/158254770497382267\ 731875105995607*c_0101_4 + 157997545275283250681358502698025/158254\ 770497382267731875105995607, c_0101_0 - 330209343252649364966254287991072/15825477049738226773187510\ 5995607*c_0101_4^23 + 1101160532028036621252976091236863/1582547704\ 97382267731875105995607*c_0101_4^22 + 10254229299265819956334369159773676/1582547704973822677318751059956\ 07*c_0101_4^21 - 28609682430591466537958612682208560/15825477049738\ 2267731875105995607*c_0101_4^20 - 110665870787263399903246628739811\ 439/158254770497382267731875105995607*c_0101_4^19 + 247853235499572922951030271046343357/158254770497382267731875105995\ 607*c_0101_4^18 + 638678701807008473622511506881116822/158254770497\ 382267731875105995607*c_0101_4^17 - 1062341640337686609803478040815552406/15825477049738226773187510599\ 5607*c_0101_4^16 - 1996382670455123091399330348650554664/1582547704\ 97382267731875105995607*c_0101_4^15 + 2602838900504520939593721269076822215/15825477049738226773187510599\ 5607*c_0101_4^14 + 3777029626501083105522062205968057982/1582547704\ 97382267731875105995607*c_0101_4^13 - 3691467747736665982119543864077113207/15825477049738226773187510599\ 5607*c_0101_4^12 - 4702358908559597258870280765315875707/1582547704\ 97382267731875105995607*c_0101_4^11 + 2814403733087584288955193311029486563/15825477049738226773187510599\ 5607*c_0101_4^10 + 3822656960478772091472156982719745571/1582547704\ 97382267731875105995607*c_0101_4^9 - 936410728555835969337626098360058366/158254770497382267731875105995\ 607*c_0101_4^8 - 1812625413420725161361929665340556391/158254770497\ 382267731875105995607*c_0101_4^7 + 47957286482463250033993057146737683/1582547704973822677318751059956\ 07*c_0101_4^6 + 413765497379682914126619183467998519/15825477049738\ 2267731875105995607*c_0101_4^5 + 1318041994643557033038136539010064\ 0/158254770497382267731875105995607*c_0101_4^4 - 31874656100483664190501367953358400/1582547704973822677318751059956\ 07*c_0101_4^3 + 4698040944658040605997289967118487/1582547704973822\ 67731875105995607*c_0101_4^2 + 1091194755448359967604399600151897/1\ 58254770497382267731875105995607*c_0101_4 - 254136428464455328760774296833586/158254770497382267731875105995607\ , c_0101_1 - 546818380335008360134387800773041/15825477049738226773187510\ 5995607*c_0101_4^23 + 1798017722608155810878586897316172/1582547704\ 97382267731875105995607*c_0101_4^22 + 17122973154637551417036345837279871/1582547704973822677318751059956\ 07*c_0101_4^21 - 46803347945319244684353060516361151/15825477049738\ 2267731875105995607*c_0101_4^20 - 187146827655439765744280980064786\ 917/158254770497382267731875105995607*c_0101_4^19 + 407636239429781997612414681011300904/158254770497382267731875105995\ 607*c_0101_4^18 + 1093398895277129282818980530038771639/15825477049\ 7382267731875105995607*c_0101_4^17 - 1760427540808949098111188216235389428/15825477049738226773187510599\ 5607*c_0101_4^16 - 3477005449374344531743577481873309311/1582547704\ 97382267731875105995607*c_0101_4^15 + 4379224375560928733742458815845994748/15825477049738226773187510599\ 5607*c_0101_4^14 + 6710223670670103343046396017177178685/1582547704\ 97382267731875105995607*c_0101_4^13 - 6375513887237283811100611641872033041/15825477049738226773187510599\ 5607*c_0101_4^12 - 8510481103159370324843475323816527770/1582547704\ 97382267731875105995607*c_0101_4^11 + 5097345292553912468294396799002124682/15825477049738226773187510599\ 5607*c_0101_4^10 + 7069853650115283156092250738021390270/1582547704\ 97382267731875105995607*c_0101_4^9 - 1911883852783612001122549080817316824/15825477049738226773187510599\ 5607*c_0101_4^8 - 3513016179887070446453926492038701243/15825477049\ 7382267731875105995607*c_0101_4^7 + 223735333567737518426643578900604527/158254770497382267731875105995\ 607*c_0101_4^6 + 907847783418446086589578081707762553/1582547704973\ 82267731875105995607*c_0101_4^5 - 490916816998952145010143311178069\ 9/158254770497382267731875105995607*c_0101_4^4 - 99342034572296314528177840412150690/1582547704973822677318751059956\ 07*c_0101_4^3 + 10981621633329134009362016495985859/158254770497382\ 267731875105995607*c_0101_4^2 + 4171432194413156403984844145221947/\ 158254770497382267731875105995607*c_0101_4 - 908757262774250644794928132603395/158254770497382267731875105995607\ , c_0101_3 + 292536577858307094300863388285168/15825477049738226773187510\ 5995607*c_0101_4^23 - 956481879752283725163780435693639/15825477049\ 7382267731875105995607*c_0101_4^22 - 9165844381595171257252588193127297/15825477049738226773187510599560\ 7*c_0101_4^21 + 24827993140404888236725846965428548/158254770497382\ 267731875105995607*c_0101_4^20 + 1001990998467442328012499825633050\ 63/158254770497382267731875105995607*c_0101_4^19 - 215161524435545537213766422444140394/158254770497382267731875105995\ 607*c_0101_4^18 - 584871246862655962065995414054972715/158254770497\ 382267731875105995607*c_0101_4^17 + 921901305623795537818864775281648622/158254770497382267731875105995\ 607*c_0101_4^16 + 1854239147756557336431380125700090370/15825477049\ 7382267731875105995607*c_0101_4^15 - 2270596782896476774624107580039056991/15825477049738226773187510599\ 5607*c_0101_4^14 - 3562949860410836583545504344106716062/1582547704\ 97382267731875105995607*c_0101_4^13 + 3255992094011752341986337052591408530/15825477049738226773187510599\ 5607*c_0101_4^12 + 4491363396910958678810419879057903347/1582547704\ 97382267731875105995607*c_0101_4^11 - 2528496956497303099977540891765613948/15825477049738226773187510599\ 5607*c_0101_4^10 - 3689478947947591068858709353834798060/1582547704\ 97382267731875105995607*c_0101_4^9 + 882697980874607799489690225518652105/158254770497382267731875105995\ 607*c_0101_4^8 + 1794393968268439636509319095975964985/158254770497\ 382267731875105995607*c_0101_4^7 - 74133524731406598159752179388621343/1582547704973822677318751059956\ 07*c_0101_4^6 - 449432856189738977727060024025289566/15825477049738\ 2267731875105995607*c_0101_4^5 - 3470811157725936326553280833352106\ /158254770497382267731875105995607*c_0101_4^4 + 48410402441361103824915810979509782/1582547704973822677318751059956\ 07*c_0101_4^3 - 5217421783193805583060004479278250/1582547704973822\ 67731875105995607*c_0101_4^2 - 2140156993072750771130658565588478/1\ 58254770497382267731875105995607*c_0101_4 + 435179279769354994065406421511435/158254770497382267731875105995607\ , c_0101_4^24 - 4*c_0101_4^23 - 29*c_0101_4^22 + 108*c_0101_4^21 + 282*c_0101_4^20 - 992*c_0101_4^19 - 1474*c_0101_4^18 + 4665*c_0101_4^17 + 4087*c_0101_4^16 - 12615*c_0101_4^15 - 6603*c_0101_4^14 + 20526*c_0101_4^13 + 7304*c_0101_4^12 - 20475*c_0101_4^11 - 6375*c_0101_4^10 + 12652*c_0101_4^9 + 4029*c_0101_4^8 - 4882*c_0101_4^7 - 1403*c_0101_4^6 + 1125*c_0101_4^5 + 176*c_0101_4^4 - 132*c_0101_4^3 + 7*c_0101_4^2 + 6*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB