CAD in SARAG



-----maxima-bounces at math.utexas.edu wrote: -----

>Among?the?things?you?find?in?SARAG:
>subresultant,?Bernstein?polynomials,

I didn't grep for bernstein before I wrote my (modest) bernstein package,
but maybe I'll go ahead an commit my share/contrib code as is. My package 
uses bernstein_poly you used bernstein, so maybe the two packages can
co-exist. 

Also for numerical evaluation, my code might have an advantage with complex arguments:

(%i9) bernstein(5,3,0,1, 1/2+%i);
(%o9) 10*(1/2-%i)^2*(%i+1/2)^3

(%i10) rectform(%);
(%o10) (125*%i)/8+125/16

(%i11) bernstein_poly(3,5,1/2+%i);
(%o11) (125*%i)/8+125/16

Notice the reversed order for the first two arguments. This is unfortunate. Is there
a standard?

Barton