Magma V2.19-8 Tue Aug 20 2013 16:17:14 on localhost [Seed = 1427425674] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1477 geometric_solution 5.29066561 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 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 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.098210196305 1.175003444986 0 1 3 1 0132 1302 1302 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.558137124104 0.374000569166 2 0 2 5 2310 0132 3201 0132 0 0 0 0 0 1 -1 0 1 0 -1 0 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 -1 1 1 0 -1 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 0.726724482750 0.627949926788 1 4 5 0 2031 3012 2031 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.222653705404 0.369516486129 3 6 0 5 1230 0132 0132 2031 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 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 -1.789774391663 0.834078407516 6 4 2 3 0321 1302 0132 1302 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 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.510526476370 0.877094287457 5 4 6 6 0321 0132 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.164951929376 0.196396315288 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : negation(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' : negation(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' : 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' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : negation(d['c_1010_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_1010_5']), 'c_1100_3' : negation(d['c_1010_5']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_3'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0011_3'], 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : negation(d['c_0011_5']), 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_1010_5'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_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_0011_4, c_0011_5, c_0101_0, c_0101_2, c_1010_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 70727241188657938571412369236571/7675851418634558236614424035200*c_\ 1010_5^19 + 466099549546623221514464191951281/383792570931727911830\ 7212017600*c_1010_5^18 - 604724099859781838393785643331993/95948142\ 7329319779576803004400*c_1010_5^17 + 1216763667842367830754472105579629/590450109125735248970340310400*c\ _1010_5^16 - 711134795879990817005593217390747/14761252728143381224\ 2585077600*c_1010_5^15 + 464014682784954631357673865519121/59045010\ 912573524897034031040*c_1010_5^14 - 2284288064390971346142966101182891/295225054562867624485170155200*c\ _1010_5^13 - 2311357124603209319170005488428033/1535170283726911647\ 322884807040*c_1010_5^12 + 32104481476495497721420026723022767/1535\ 170283726911647322884807040*c_1010_5^11 - 303231245364318139705403547878858459/767585141863455823661442403520\ 0*c_1010_5^10 + 298244070013937866619820104379509763/76758514186345\ 58236614424035200*c_1010_5^9 - 88146592806240686065093365605733919/\ 7675851418634558236614424035200*c_1010_5^8 - 30733960594521836505834323699139639/1535170283726911647322884807040\ *c_1010_5^7 + 21044538986668878313445829071388557/76758514186345582\ 3661442403520*c_1010_5^6 - 14628252295746924522471896492043281/9594\ 81427329319779576803004400*c_1010_5^5 + 40072654579877646585773066077666991/7675851418634558236614424035200\ *c_1010_5^4 - 7558243510144489742529368595923319/767585141863455823\ 6614424035200*c_1010_5^3 - 861744890614073324075824813497259/767585\ 1418634558236614424035200*c_1010_5^2 + 98119209288406095760878876773683/1535170283726911647322884807040*c_\ 1010_5 - 372920889316657450243790061946419/767585141863455823661442\ 4035200, c_0011_0 - 1, c_0011_3 - 37011696422066453019287377/2398703568323299448942007511*c_10\ 10_5^19 + 480731975785897271699001846/2398703568323299448942007511*\ c_1010_5^18 - 2424590028699906767686588547/239870356832329944894200\ 7511*c_1010_5^17 + 587361305241306897669893011/18451565910179226530\ 3231347*c_1010_5^16 - 1316136833345130820133813089/1845156591017922\ 65303231347*c_1010_5^15 + 2007404821288540668609928211/184515659101\ 792265303231347*c_1010_5^14 - 1669559702857266086588436491/18451565\ 9101792265303231347*c_1010_5^13 - 15616483446212674045564498419/239\ 8703568323299448942007511*c_1010_5^12 + 83209867363252956276703374149/2398703568323299448942007511*c_1010_5\ ^11 - 133114142844555246958705412195/2398703568323299448942007511*c\ _1010_5^10 + 106603422475963230886945702772/23987035683232994489420\ 07511*c_1010_5^9 + 2024961647239308604080544721/2398703568323299448\ 942007511*c_1010_5^8 - 92015281849387946523370662932/23987035683232\ 99448942007511*c_1010_5^7 + 76198140006311035896702665597/239870356\ 8323299448942007511*c_1010_5^6 - 22845074982899460901373573377/2398\ 703568323299448942007511*c_1010_5^5 + 4175747616832990395479522874/2398703568323299448942007511*c_1010_5^\ 4 + 995679911589907482552634515/2398703568323299448942007511*c_1010\ _5^3 - 815144561357123374177388035/2398703568323299448942007511*c_1\ 010_5^2 - 5397702325656473323431747548/2398703568323299448942007511\ *c_1010_5 + 304216500529255219057061896/239870356832329944894200751\ 1, c_0011_4 - 6815822235333519568140135297/11993517841616497244710037555*c\ _1010_5^19 + 89889605223262201745359678724/119935178416164972447100\ 37555*c_1010_5^18 - 466570867911532501449408908373/1199351784161649\ 7244710037555*c_1010_5^17 + 117191548102031782092147422718/92257829\ 5508961326516156735*c_1010_5^16 - 273354903815814712934832543976/92\ 2578295508961326516156735*c_1010_5^15 + 88832727036585260236587176288/184515659101792265303231347*c_1010_5^\ 14 - 432671460352400218867740511434/922578295508961326516156735*c_1\ 010_5^13 - 254726222382013580684291226662/2398703568323299448942007\ 511*c_1010_5^12 + 3123081817003760554139636021378/23987035683232994\ 48942007511*c_1010_5^11 - 29124238859094963449184928979203/11993517\ 841616497244710037555*c_1010_5^10 + 28194792842464095010774769245951/11993517841616497244710037555*c_10\ 10_5^9 - 7629977231038803011287599272973/11993517841616497244710037\ 555*c_1010_5^8 - 3084572458738715074608261775323/239870356832329944\ 8942007511*c_1010_5^7 + 4008546337207973015958363272352/23987035683\ 23299448942007511*c_1010_5^6 - 10460522985815154803574106597721/119\ 93517841616497244710037555*c_1010_5^5 + 3339661933682177563425806001612/11993517841616497244710037555*c_101\ 0_5^4 - 741168507161947626083957663928/1199351784161649724471003755\ 5*c_1010_5^3 + 9321844681167866790112539387/11993517841616497244710\ 037555*c_1010_5^2 + 1807182943392729160165851942/239870356832329944\ 8942007511*c_1010_5 - 25122619421857685742669302268/119935178416164\ 97244710037555, c_0011_5 + 3346023405882205531400552664/11993517841616497244710037555*c\ _1010_5^19 - 43510854898834659349616720053/119935178416164972447100\ 37555*c_1010_5^18 + 221213130055241871425381727106/1199351784161649\ 7244710037555*c_1010_5^17 - 54586344959878035971526563726/922578295\ 508961326516156735*c_1010_5^16 + 125111561271572395947321494762/922\ 578295508961326516156735*c_1010_5^15 - 39629882391392762041132443494/184515659101792265303231347*c_1010_5^\ 14 + 183190595737215096404355121513/922578295508961326516156735*c_1\ 010_5^13 + 182405861447123832675648261555/2398703568323299448942007\ 511*c_1010_5^12 - 1470535763174317566615493767309/23987035683232994\ 48942007511*c_1010_5^11 + 12985827981903286774013248604151/11993517\ 841616497244710037555*c_1010_5^10 - 11867513963567526696156419089767/11993517841616497244710037555*c_10\ 10_5^9 + 2325016278218895950806651004986/11993517841616497244710037\ 555*c_1010_5^8 + 1454899331700539176438868038565/239870356832329944\ 8942007511*c_1010_5^7 - 1663759503165723169100156958824/23987035683\ 23299448942007511*c_1010_5^6 + 4009548604895809092849562992502/1199\ 3517841616497244710037555*c_1010_5^5 - 1418636723877903310773745851539/11993517841616497244710037555*c_101\ 0_5^4 + 375961440276919770738581687081/1199351784161649724471003755\ 5*c_1010_5^3 - 19071608253420399359464240314/1199351784161649724471\ 0037555*c_1010_5^2 + 539914608289009072909603938/239870356832329944\ 8942007511*c_1010_5 + 12663105435670565218973479066/119935178416164\ 97244710037555, c_0101_0 - 344551489903441547237018927/2398703568323299448942007511*c_1\ 010_5^19 + 4596045998922013578900744710/239870356832329944894200751\ 1*c_1010_5^18 - 24383401871106468374697050069/239870356832329944894\ 2007511*c_1010_5^17 + 6305873406264300050998349222/1845156591017922\ 65303231347*c_1010_5^16 - 15229439251132723079311362965/18451565910\ 1792265303231347*c_1010_5^15 + 26103034517437679424358084211/184515\ 659101792265303231347*c_1010_5^14 - 28617136097389302301858427752/184515659101792265303231347*c_1010_5^\ 13 + 40288645199412859105536074617/2398703568323299448942007511*c_1\ 010_5^12 + 757418528210600527307407282750/2398703568323299448942007\ 511*c_1010_5^11 - 1655776983658356397027461642234/23987035683232994\ 48942007511*c_1010_5^10 + 1876443701915617842701104917839/239870356\ 8323299448942007511*c_1010_5^9 - 922844806295672681674046770205/239\ 8703568323299448942007511*c_1010_5^8 - 516560920156228492986778682526/2398703568323299448942007511*c_1010_\ 5^7 + 1221653133436522746916530531116/2398703568323299448942007511*\ c_1010_5^6 - 948387222186163548751783447565/23987035683232994489420\ 07511*c_1010_5^5 + 412716280226221104577600927263/23987035683232994\ 48942007511*c_1010_5^4 - 76035364400209231372804764514/239870356832\ 3299448942007511*c_1010_5^3 - 558316719878766908793346342/239870356\ 8323299448942007511*c_1010_5^2 + 3646318206682052708680998765/23987\ 03568323299448942007511*c_1010_5 - 2363648314501407121566827341/2398703568323299448942007511, c_0101_2 + 5832359446568876287037557422/11993517841616497244710037555*c\ _1010_5^19 - 76263134566299928176448877234/119935178416164972447100\ 37555*c_1010_5^18 + 390907086554157654391204394263/1199351784161649\ 7244710037555*c_1010_5^17 - 97134060624274211474330095353/922578295\ 508961326516156735*c_1010_5^16 + 224160817680987315031197067831/922\ 578295508961326516156735*c_1010_5^15 - 71721426712030564607597675172/184515659101792265303231347*c_1010_5^\ 14 + 338450480922231657537949482779/922578295508961326516156735*c_1\ 010_5^13 + 282002957251250589836086621839/2398703568323299448942007\ 511*c_1010_5^12 - 2608659887357184039107997413013/23987035683232994\ 48942007511*c_1010_5^11 + 23522197357402519839745640114718/11993517\ 841616497244710037555*c_1010_5^10 - 21984114658498957786678938308821/11993517841616497244710037555*c_10\ 10_5^9 + 4944723670786135682685544812178/11993517841616497244710037\ 555*c_1010_5^8 + 2588870613480227786707922249381/239870356832329944\ 8942007511*c_1010_5^7 - 3107646375511281445452837084080/23987035683\ 23299448942007511*c_1010_5^6 + 7703810272326343666118593834016/1199\ 3517841616497244710037555*c_1010_5^5 - 2588873192927019491263313445377/11993517841616497244710037555*c_101\ 0_5^4 + 644840025195465209238744576283/1199351784161649724471003755\ 5*c_1010_5^3 - 23368742071556663865827121522/1199351784161649724471\ 0037555*c_1010_5^2 + 105561188102298958310075798/239870356832329944\ 8942007511*c_1010_5 + 21786068271407659847396202293/119935178416164\ 97244710037555, c_1010_5^20 - 13*c_1010_5^19 + 66*c_1010_5^18 - 211*c_1010_5^17 + 481*c_1010_5^16 - 754*c_1010_5^15 + 676*c_1010_5^14 + 329*c_1010_5^13 - 2250*c_1010_5^12 + 3864*c_1010_5^11 - 3392*c_1010_5^10 + 412*c_1010_5^9 + 2446*c_1010_5^8 - 2565*c_1010_5^7 + 1058*c_1010_5^6 - 229*c_1010_5^5 + 30*c_1010_5^3 - 4*c_1010_5^2 + 4*c_1010_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB