share/contrib/sarag/sarag.mac

   1 /* Code by Fabrizio Caruso */
   2
   3 /*modified by Alexandre Le Meur and Marie-Françoise Roy */
   4 /*modified by Mathieu Kohli (addition of quickSignDetermination)*/
   5 /*merged with forked developed at the Univ. of Rennes 1 by Fabrizio Caruso */
   6
   7 dir : "./sarag/";
   8
   9
  10 modLoad(modName) :=
  11
  12   load(concat(dir,modName));
  13
  14 modLoad("sarag_initialization.mac");
  15
  16 modLoad("sarag_settings.mac");
  17
  18 modLoad("aliases.mac");
  19
  20 modLoad("lowLevel.mac");
  21
  22 modLoad("sarag_linear_algebra.mac");
  23
  24 modLoad("rootCounting.mac");
  25
  26 modLoad("rootIsolation.mac");
  27
  28 modLoad("signDetermination.mac");
  29
  30 modLoad("intervalArithmetic.mac");
  31
  32 modLoad("topology.mac");
  33
  34 modLoad("quickSignDetermination.mac");
  35
  36 modLoad("certificateOfPositivity.mac");
  37
  38 modLoad("multiCertificateOfPositivity.mac");
  39
  40
  41