////////////////////////////////////// // Modifications for Dumbbell Graph // ////////////////////////////////////// // The following contains an example for the modified tropical dumbbell graph in R^3. The curve can be visualized by means of projections. // Since our modifications involve square roots, we take our branch points to be squares, resp. negative of squares, for computational convenience. // The parameters w2,..., w5 satisfy w2 < w3 < w4 < w5. LIB "all.lib"; LIB "poly.lib"; LIB "tropical.lib"; LIB "elim.lib"; ring rr = (0,t), (a2,a3,a4,a5, x,y,z),dp; poly f=y^2-x*(x-a2)*(x-a3)*(x-a4)*(x-a5); // f; // -a2*a3*a4*a5*x+a2*a3*a4*x^2+a2*a3*a5*x^2+a2*a4*a5*x^2+a3*a4*a5*x^2-a2*a3*x^3-a2*a4*x^3-a3*a4*x^3-a2*a5*x^3-a3*a5*x^3-a4*a5*x^3+a2*x^4+a3*x^4+a4*x^4+a5*x^4-x^5+y^2 setring(rr); poly b2 = (t^10+t^12); poly b3 = (t^5+t^9); poly b4 = (3*t^3+t^8); poly b5 = (1+t^5); poly A2 = b2^2; poly A3 = b3^2; poly A4 = b4^2; poly A5 = -1*b5^2; map P2 = rr, A2, A3, A4, A5, x, y, z; poly ff = P2(f); ring r = (0,t),(x,y),dp; map newP2 = rr, 0,0,0,0,x,y,0; poly f2 = newP2(ff); // f2; // -x5+(t24+2t22+t20+t18+t16+2t14+6t11+9t6-2t5-1)*x4+(-t42-3t40-5t38-5t36-6t35-3t34-12t33-6t31-11t30-4t29-17t28+4t27-9t26-10t25-6t24+2t23+2t22+2t21-16t20+4t19+t18+13t16+2t15+2t14+24t11+t10+9t6)*x3+(t58+2t56+3t54+6t53+3t52+12t51+18t49+6t48+22t47+14t46+6t45+23t44-10t43+33t42-10t41-14t39-29t38-4t37-18t36-42t35-25t34-48t33-2t32-32t31-54t30-24t29-18t28-31t26-48t25-9t24-24t21-18t20-9t16)*x2+y2+(t68+2t66+3t64+8t63+4t62+16t61+3t60+24t59+24t58+32t57+45t56+24t55+66t54+40t53+88t52+56t51+66t50+72t49+53t48+96t47+40t46+72t45+27t44+48t43+36t42+24t41+27t40+18t38+9t36)*x drawTropicalCurve(f2,"max"); /////////////////// // XZ-projection // /////////////////// poly b2 = newP2(b2); poly b3 = newP2(b3); poly b4 = newP2(b4); poly b5 = newP2(b5); poly g2 = substitute(f2, y, y+b3*b4*b5*x-b5*x^2); // g2; // -x5+(t24+2t22+t20+t18+t16+2t14+6t11+t10+9t6)*x4+(-t42-3t40-5t38-5t36-6t35-3t34-12t33-6t31-11t30-4t29-17t28+2t27-9t26-10t25-6t24-8t22+2t21-16t20+4t19-9t18-14t17+13t16+2t15+2t14-14t13-6t12+24t11+t10-6t8+9t6)*x3+(-2t5-2)*x2y+(t58+2t56+3t54+6t53+3t52+12t51+18t49+6t48+22t47+14t46+6t45+24t44-10t43+33t42-10t41+2t40-6t39-29t38-4t37-17t36-26t35-3t34-48t33-2t32-24t31-10t30-18t28-9t26)*x2+(2t22+2t18+8t17+8t13+6t12+6t8)*xy+y2+(t68+2t66+3t64+8t63+4t62+16t61+3t60+24t59+24t58+32t57+45t56+24t55+66t54+40t53+88t52+56t51+66t50+72t49+53t48+96t47+40t46+72t45+27t44+48t43+36t42+24t41+27t40+18t38+9t36)*x drawTropicalCurve(g2,"max"); /////////////////// // ZY-projection // /////////////////// ring s = (0,t),(x,y,z),dp; map P = r, x,y; poly ff= P(f2); poly b3 = P(b3); poly b4 = P(b4); poly b5 = P(b5); ideal I = (ff,z-y+b3*b4*b5*x-b5*x^2); poly fnox= eliminate(I,x)[1]; // Replace z by y and y by x so that the pictures are not flipped. ring r2 = (0,t),(x,y),dp; setring(r2); map PP = s,0,x,y; poly newfnox = PP(fnox); // newfnox; // x5-5*x4y+10*x3y2-10*x2y3+5*xy4-y5+(t53+4t51+6t49+t48+4t47+3t46+t45+4t44+2t42-3t41-2t40-6t39-2t38+t37-5t36-10t35-t34-6t33+16t32-10t31-3t30+4t29-32t28+42t27+9t26+9t25-18t24-76t23+109t22+60t21+9t20-42t19-76t18+149t17+92t16+6t15-23t14-40t13+69t12+66t11+2t10-12t8+18t6)*x4+(-4t53-16t51-24t49-4t48-16t47-12t46-4t45-16t44-8t42+12t41+8t40+28t39+8t38+4t37+20t36+44t35+16t34+28t33-50t32+44t31+24t30+4t29+130t28-204t27-20t25+100t24+256t23-548t22-120t21-20t20+192t19+188t18-696t17-184t16-12t15+100t14+60t13-306t12-132t11-4t10+18t8-36t6)*x3y+(6t53+24t51+36t49+6t48+24t47+18t46+6t45+24t44+12t42-18t41-12t40-46t39-12t38-14t37-30t36-70t35-36t34-46t33+61t32-70t31-48t30-26t29-197t28+342t27-36t26+18t25-178t24-336t23+934t22+60t21+34t20-312t19-166t18+1144t17+92t16+46t15-158t14+10t13+489t12+66t11+42t10+3t8+18t6+20t5+4)*x2y2+(-4t53-16t51-24t49-4t48-16t47-12t46-4t45-16t44-8t42+12t41+8t40+32t39+8t38+12t37+20t36+48t35+28t34+32t33-36t32+48t31+36t30+24t29+132t28-240t27+36t26-8t25+128t24+208t23-660t22-24t20+216t19+72t18-796t17-40t15+108t14-40t13-336t12-40t10-12t8-20t5-4)*xy3+(t53+4t51+6t49+t48+4t47+3t46+t45+4t44+2t42-3t41-2t40-8t39-2t38-3t37-5t36-12t35-7t34-8t33+9t32-12t31-9t30-6t29-33t28+60t27-9t26+2t25-32t24-52t23+165t22+6t20-54t19-18t18+199t17+10t15-27t14+10t13+84t12+10t10+3t8+5t5+1)*y4+(t94-t93+4t92-5t91+11t90-11t89+19t88-16t87+7t86+3t85-41t84+55t83-106t82+49t81-61t80-105t79+158t78-287t77+261t76-112t75-27t74+495t73-370t72+852t71+31t70+583t69+814t68-84t67+981t66+670t65+1023t64+663t63-456t62-136t61+1401t60+196t59-147t58-2060t57-720t56+977t55-1050t54-1332t53-1680t52-484t51-914t50-1357t49-882t48+1708t47-3195t46-2288t45+6t44+1509t43+2712t42-7880t41-133t40+1991t39+1695t38+213t37-7773t36+3917t35+1365t34-847t33-405t32-2982t31+4583t30-1159t29-1827t28+1188t27+159t26+2103t25-1787t24-832t23+1476t22+360t21+352t20-756t19-120t18+594t17+54t16-108t14+81t12)*x3+(-3t94+3t93-12t92+15t91-33t90+33t89-57t88+48t87-21t86-9t85+123t84-165t83+318t82-147t81+183t80+321t79-486t78+879t77-807t76+372t75+87t74-1557t73+1220t72-2738t71+199t70-1971t69-2538t68+406t67-3325t66-1148t65-4143t64-1775t63+1350t62+716t61-3349t60-2834t59+1599t58+7252t57+4196t56-4441t55+640t54+7580t53+10492t52+2192t51-3224t50+3057t49+10798t48+3872t47+2417t46-1086t45+1480t44+6615t43-3760t42+8812t41-3551t40-3683t39+2321t38-5289t37+10791t36-10005t35-4377t34+2937t33-6211t32+4908t31-10571t30+357t29+3069t28-7362t27+201t26-4869t25+2445t24+1248t23-5130t22-360t21-840t20+1134t19+180t18-1782t17-54t16+162t14-243t12)*x2y+(3t94-3t93+12t92-15t91+33t90-33t89+57t88-48t87+21t86+9t85-123t84+165t83-318t82+147t81-183t80-324t79+492t78-888t77+819t76-390t75-90t74+1593t73-1275t72+2829t71-345t70+2082t69+2586t68-483t67+3516t66+717t65+4680t64+1668t63-1341t62-870t61+2922t60+3957t59-2178t58-7788t57-5214t56+5196t55+615t54-9372t53-13218t52-2562t51+6207t50-2550t49-14874t48-8370t47+1167t46+5061t45-2229t44-12186t43+1572t42-1398t41+5526t40+2538t39-6024t38+7614t37-4527t36+9132t35+4518t34-3135t33+9924t32-2889t31+8982t30+1203t29-1863t28+9261t27-540t26+4149t25-987t24-624t23+5481t22+732t20-567t19-90t18+1782t17-81t14+243t12)*xy2+(-t94+t93-4t92+5t91-11t90+11t89-19t88+16t87-7t86-3t85+41t84-55t83+106t82-49t81+61t80+108t79-164t78+296t77-273t76+130t75+30t74-531t73+425t72-943t71+115t70-694t69-862t68+161t67-1172t66-239t65-1560t64-556t63+447t62+290t61-974t60-1319t59+726t58+2596t57+1738t56-1732t55-205t54+3124t53+4406t52+854t51-2069t50+850t49+4958t48+2790t47-389t46-1687t45+743t44+4062t43-524t42+466t41-1842t40-846t39+2008t38-2538t37+1509t36-3044t35-1506t34+1045t33-3308t32+963t31-2994t30-401t29+621t28-3087t27+180t26-1383t25+329t24+208t23-1827t22-244t20+189t19+30t18-594t17+27t14-81t12)*y3+(-t132+2t131-5t130+8t129-15t128+8t127-2t126-26t125+65t124-144t123+169t122-181t121+155t120+37t119-334t118+714t117-860t116+1413t115-1060t114+777t113+564t112-944t111+3295t110-4042t109+4533t108-3247t107+2022t106+334t105-6884t104+6329t103-9983t102+4580t101-10530t100-8827t99+2865t98-12986t97+2614t96-18338t95-10777t94+9610t93-7753t92+12950t91-13559t90-777t89+35693t88+7912t87+45135t86-5420t85+24299t84+48669t83+26499t82+54771t81-5456t80+21094t79+21417t78+15224t77+7355t76-18347t75-36716t74-19112t73-39908t72-49644t71-42527t70-91701t69-37408t68-89325t67-60829t66-58734t65-87928t64-31858t63-86087t62-37322t61-49654t60-48332t59-17224t58-49128t57-14193t56-26648t55-16887t54-5503t53-18054t52-3348t51-9348t50-3780t49-759t48-4212t47-378t46-2106t45-432t44-486t42-243t40)*x2+(2t132-4t131+10t130-16t129+30t128-16t127+4t126+52t125-130t124+288t123-338t122+362t121-310t120-74t119+666t118-1424t117+1714t116-2818t115+2104t114-1562t113-1088t112+1824t111-6496t110+7872t109-8934t108+6596t107-4226t106-326t105+12698t104-11344t103+19724t102-8838t101+20862t100+15518t99-526t98+24042t97-2914t96+31738t95+23372t94-8434t93+9480t92-25872t91+13314t90+21518t89-62534t88-35588t87-111518t86+3572t85+1184t84-115728t83-116352t82-160938t81+58052t80+19292t79-128630t78-164192t77-37584t76+173770t75+92232t74-133280t73-70324t72+205848t71+260646t70+119866t69-119224t68+145924t67+355932t66+219926t65+71634t64-29458t63+309740t62+290294t61+90258t60+47180t59+89696t58+290626t57+109272t56+6810t55+73964t54+127956t53+150446t52-11940t51+5640t50+79616t49+79710t48+35484t47-29448t46+19512t45+45270t44+25002t43-2214t42-10800t41+13986t40+13068t39+3186t38-2700t37-1296t36+4212t35+1512t34-324t32+486t30)*xy+(-t132+2t131-5t130+8t129-15t128+8t127-2t126-26t125+65t124-144t123+169t122-181t121+155t120+37t119-333t118+712t117-857t116+1409t115-1052t114+781t113+544t112-912t111+3248t110-3936t109+4467t108-3298t107+2113t106+163t105-6349t104+5672t103-9862t102+4419t101-10431t100-7759t99+263t98-12021t97+1457t96-15869t95-11686t94+4217t93-4740t92+12936t91-6657t90-10759t89+31267t88+17794t87+55759t86-1786t85-592t84+57864t83+58176t82+80469t81-29026t80-9646t79+64315t78+82096t77+18792t76-86885t75-46116t74+66640t73+35162t72-102924t71-130323t70-59933t69+59612t68-72962t67-177966t66-109963t65-35817t64+14729t63-154870t62-145147t61-45129t60-23590t59-44848t58-145313t57-54636t56-3405t55-36982t54-63978t53-75223t52+5970t51-2820t50-39808t49-39855t48-17742t47+14724t46-9756t45-22635t44-12501t43+1107t42+5400t41-6993t40-6534t39-1593t38+1350t37+648t36-2106t35-756t34+162t32-243t30)*y2+(-t164+2t163-5t162+8t161-16t160+4t159+4t158-48t157+96t156-232t155+210t154-239t153+40t152+273t151-1191t150+1605t149-2122t148+2397t147-1363t146-1427t145+4972t144-6757t143+13139t142-11685t141+10539t140+3125t139-2534t138+29847t137-32999t136+50208t135-23226t134+39441t133+6921t132-39457t131+79574t130-76315t129+91187t128-135318t127-17458t126-28805t125-122237t124-28303t123-395187t122-85652t121-321557t120-175201t119-460197t118-621790t117-387056t116-530324t115-310619t114-878221t113-644327t112-654440t111-268808t110-383845t109-636739t108-368045t107-258775t106+458885t105+27996t104+361855t103+256403t102+880323t101+1217213t100+977587t99+1388365t98+1075003t97+1909553t96+1599376t95+1778976t94+1737747t93+1615851t92+2038763t91+1498354t90+1789743t89+1413805t88+1522180t87+1412812t86+1058905t85+1174640t84+852633t83+980416t82+681438t81+555729t80+526821t79+397089t78+442236t77+229014t76+209772t75+161379t74+142776t73+138267t72+49437t71+55431t70+31644t69+38637t68+27810t67+5184t66+9882t65+3078t64+7290t63+2754t62+972t60+729t58)*x+(t164-2t163+5t162-8t161+16t160-4t159-4t158+48t157-96t156+232t155-210t154+239t153-40t152-273t151+1191t150-1605t149+2122t148-2397t147+1363t146+1427t145-4972t144+6757t143-13139t142+11685t141-10539t140-3125t139+2534t138-29847t137+32999t136-50208t135+23226t134-39441t133-6921t132+39457t131-79574t130+76315t129-91187t128+135318t127+17458t126+28805t125+122237t124+28303t123+395187t122+85652t121+321557t120+175201t119+460197t118+621790t117+387056t116+530324t115+310619t114+878221t113+644327t112+654440t111+268808t110+383845t109+636739t108+368045t107+258775t106-458885t105-27996t104-361855t103-256403t102-880323t101-1217213t100-977587t99-1388365t98-1075003t97-1909553t96-1599376t95-1778976t94-1737747t93-1615851t92-2038763t91-1498354t90-1789743t89-1413805t88-1522180t87-1412812t86-1058905t85-1174640t84-852633t83-980416t82-681438t81-555729t80-526821t79-397089t78-442236t77-229014t76-209772t75-161379t74-142776t73-138267t72-49437t71-55431t70-31644t69-38637t68-27810t67-5184t66-9882t65-3078t64-7290t63-2754t62-972t60-729t58)*y drawTropicalCurve(newfnox,"max");