Hi everyone,
I have been informed by one of the authors (Marie-Francoise Roy)
that the link to the
free 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.html
Someone on the forum was trying to get the book but couldn't
because of a broken link.
The electronic book uses SARAG for things like
real 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 is
load(sarag);
topology(x^2+y^2-1,x,y);
drawTopology(%[2]);
(You'll see the topology of a circle!)
SARAG also implements
univariate 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