Version 1.3
maintained and developed by Fabrizio Caruso under the scientific guidance of Marie-Francoise Roy at the University of Rennes 1, France with support from the RAAG network further developed at the University of Pisa, Italy The code for the multivariate certificate of positivity has been developed by Richard Leroy. The code for quick sign determination has been developed by Mathieu Kohli.
Please report bugs to:
marie-francoise.roy@univ-rennes1.fr
Also part of the book "Algorithms in Real Algebraic Geometry" by Saugata Basu, Richard Pollack, Marie-Françoise Roy Springer-Verlag, Berlin, 2003 (second edition 2006) which together with SARAG is available for download at http://perso.univ-rennes1.fr/marie-francoise.roy/bpr-ed2-posted3.html
See detailed documentation in docs/