share/contrib/Zeilberger/zeilberger.mac

   1 /* dir : <directory where all package files are> */
   2
   3 dir : '"Zeilberger/";
   4
   5
   6 modLoad(modName) := load(concat(dir,modName));
   7
   8 modLoad("constants.mac");
   9
  10 modLoad("numerical.mac");
  11
  12 modLoad("settings.mac");
  13
  14 modLoad("algUtil.mac");
  15
  16 modLoad("zeilberger_linear_algebra.mac");
  17
  18 modLoad("shiftQuotient.mac");
  19
  20 modLoad("compatible.mac");
  21
  22 modLoad("norm.mac");
  23
  24 modLoad("makeGosperForm.mac");
  25
  26 modLoad("GosperEq.mac");
  27
  28 modLoad("Gosper.mac");
  29
  30 modLoad("zeilberger_algorithm.mac");
  31
  32 modLoad("zb_prover.mac");
  33
  34 modLoad("testZeilberger.mac");
  35