share/contrib/Zeilberger/whatsnew.txt

   1 WHAT'S NEW (Version 4.1.1)
   2
   3 (i) clean-up all local variables that were not declared as such
   4
   5 (2) make linear solver silent by default
   6
   7 ----------------------------------------------------------------------------
   8
   9 WHAT'S NEW (Version 4.1)
  10
  11 (Only minor aesthetic changes that make the use
  12 of "zb_prove" simpler and make Zeilberger do
  13 also what parGosper does).
  14
  15 (i) zb_prove produces proofs with more details by default
  16
  17 (ii) zb_prove also takes 3 arguments (it computes the fourth by itself)
  18
  19 (iii) Zeilberger also takes four arguments (in this case parGosper is invoked)
  20
  21
  22 ----------------------------------------------------------------------------
  23 WHAT'S NEW (Version 4.0)
  24
  25 (i) Bugs:
  26 With this version I have removed an ugly bug
  27 in the optimization related to constant factors
  28 (non-dependent on the summation variable).
  29
  30 (ii) Wrong input detection:
  31 The package detects non-hypergeometric input
  32 for "Gosper", "parGosper" and "Zeilberger".
  33
  34 (iii) New features:
  35 This version adds some functions that produce
  36 human readable proofs of the results
  37 and some others that test the result produced by
  38 "parGosper", "Gosper" and "Zeilberger":
  39
  40 (1) "gs_prove" proves the result of "Gosper"
  41 (2) "zb_prove" proves the result of "parGosper" and "Zeilberger"
  42 (3) "zb_meaning" writes down the recurrence corresponding to
  43 the output of "parGosper" and "Zeilberger"
  44 (4) "zb_test" performs a test on a list of inputs for "parGosper".
  45 REMARK: This is a sort of META-test because the test is checking its own result, in that it is computing a formal proof (certificate) of the result.
  46
  47 ----------------------------------------------------------------------------
  48 WHAT'S NEW (Version 3.0)
  49
  50 The new version of the package adds the following features
  51 to version 2.0:
  52
  53 (i) Gosper's algorithm for indefinite summation
  54 available through the new commands:
  55 (1) "Gosper" (finds the rational certificate)
  56 (2) "AntiDifference" (finds the hypergeometric antidifference)
  57 (3) "GosperSum" (sums over a given interval by invoking "AntiDifference")
  58
  59 Remark: Gosper's algorithm is now integrated in "Zeilberger" and it
  60 is invoked by default as first attempt.
  61
  62 (ii) Warnings (about trivial solutions, terms not depending on the
  63 recurrence variable, dimension of the solutions higher than one, etc...).
  64
  65 (iii) Numerical/Modular test for discarding zero-solution systems
  66 in "parGosper" and "Zeilberger".
  67
  68 (iv) Lots of settings available (see "readme.txt" and "settings.mac").
  69
  70 (v)  Cleaner code.
  71
  72 (vi) More verbosity levels.
  73
  74 ------------------------------------------------------------------------------
  75 WHAT'S NEW (Version 2.0)
  76
  77 (i) A few changes necessary to port the package from Macsyma to Maxima
  78
  79 (ii) Fewer bugs
  80
  81 (iii) Axel Riese's "filtering" optimization
  82