Hi all!
A new version of my package (SARAG) for
real algebraic geometry together with
the interactive book that uses it, is available at
http://name.math.univ-rennes1.fr/marie-francoise.roy/bpr-posted1.html
The new version has a plotting routine for drawing the
topology of algebraic curves, i.e. given a polynomial in 2
variables it will compute symbolically and draw its topological graph.
I hope SARAG will be part of standard Maxima in the future.
Will my previous package for symbolic summation (Zeilberger)
be officially intergrated in Maxima 5.9.3?
Is any of you going to the Axiom workshop?
I will probably be in Linz for a week or two
during the Groebner bases semester.
Fabrizio