RAGlib is a Maple package providing useful functionalities for the study of real solutions of polynomial systems of equations and inequalities such as testing the emptiness or computing sampling points in each connected component of their real solution set.
RAGlib is built upon the FGb library and its interface with Maple developped by Jean-Charles Faugere (INRIA/ LIP6 PolSys) The RAGlib Maple package allows to solve polynomial systems of equations/inequalities over the reals. Provided functionalities allow to decide the existence of real solutions and to compute sample points in each connected component of the real solution set.
|© Copyright 2007, Mohab Safey El Din (Mohab.Safey@lip6.fr). All rights reserved.|