Fabrizio Caruso <fabrizio_caruso <at> hotmail.com> writes:
>
>
> Hi everyone,I have been informed by one of the authors (Marie-Francoise Roy)
that the link to thefree electronic Maxima-enhanced version of the
book"Algorithms in Real Algebraic Geometry"is now
working:http://perso.univ-rennes1.fr/marie-francoise.roy/bpr-ed2-posted2.htmlSomeone
on the forum was trying to get the book but couldn'tbecause of a broken link.The
electronic book uses SARAG for things likereal root isolation and
counting,topology of curves ("sort of" bivariate cylindrical algebraic
decomposition),sign determinatin,Thom encodings.For those who want to test the
topology code, the syntax
isload(sarag);topology(x^2+y^2-1,x,y);drawTopology(%[2]);(You'll see the
topology of a circle!)SARAG also implementsunivariate and multivariate
certificate of positivity, i.e.,"certificate" human-readable automatic proof of
positivity/negativity of a polynomial. Any feed-back is wellcome.Is anyone still
interested in implementing Collins' CAD in Maxima??? Regards?? Fabrizio
>
>
> _______________________________________________
> Maxima mailing list
> Maxima <at> math.utexas.edu
> http://www.math.utexas.edu/mailman/listinfo/maxima
>
I can't get it working ?
/* [wxMaxima: input start ] */
load(sarag);
/* [wxMaxima: input end ] */
/* [wxMaxima: input start ] */
topology(x^2+y^2-1,x,y);
/* [wxMaxima: input end ] */
I got invalid index list or matrix
Any help ?
thanks