# Beispiel zu "Algorithmische Geometrie", Abschnitt 8.6, Satz von Bezout # (c) 2007 Michael Joswig & Thorsten Theobald with(algcurves): with(plots): f:=(x^2+y^2)^2+3*x^2*y-y^3; g:=y-(x^2-1); r:=resultant(f,g,y); fsolve(r,x,complex); c1:= plot_real_curve(f,x,y,view=[-2..2,-10..10],colorOfCurve=red,thickness=3); c2:= plot_real_curve(g, x,y,view=[-2..2,-10..10],colorOfCurve=blue,thickness=3); c3:= plot_real_curve(y-r, x,y,view=[-1.2..1.2,-1.5..4],colorOfCurve=black,thickness=3); plotsetup(inline,plotoptions=`width=3in,height=3in`): display([c1], scaling = constrained, view=[-0.95..0.95,-1..1]); display([c1,c2], scaling = constrained, view=[-0.95..0.95,-1..1]); display([c3], view = [-1.2..1.2,-0.5..2.3]);