Hi, this question is related to the thread about Groebner bases.
Are there some free-software implementations for real algebraic geometry available somewhere ? Could Giac or Singular help with that ? Or maybe Reduce or Macaulay2 (that are not shipped with Sage) ? More precisely, suppose i have a polynomial system of equations over QQ, whose dimension (as the complex variety of an ideal) is positive. But i know that the number of *real* solutions is finite. How to list them in Sage ? I can easily get its Groebner basis, but not its real variety. RAGlib [1] seems to do that using Groebner bases, but it is a Maple^TM package. The only thing i found within Sage is qepcad, but it is not powerful enough to return anything. Ciao, Thierry [1] https://www-polsys.lip6.fr/~safey/RAGLib/ -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.