/* Code by Fabrizio Caruso */

/*modified by Alexandre Le Meur and Marie-Françoise Roy */
/*modified by Mathieu Kohli (addition of quickSignDetermination)*/
/*merged with forked developed at the Univ. of Rennes 1 by Fabrizio Caruso */

dir : "./sarag/";


modLoad(modName) :=

  load(concat(dir,modName));

modLoad("sarag_initialization.mac");

modLoad("sarag_settings.mac");

modLoad("aliases.mac");

modLoad("lowLevel.mac");

modLoad("sarag_linear_algebra.mac");

modLoad("rootCounting.mac");

modLoad("rootIsolation.mac");

modLoad("signDetermination.mac");

modLoad("intervalArithmetic.mac");

modLoad("topology.mac");

modLoad("quickSignDetermination.mac");

modLoad("certificateOfPositivity.mac");

modLoad("multiCertificateOfPositivity.mac");



