archive/share/trash/gendif.usg

   1 RJF@MIT-MC 12/31/76 01:42:26
   2 SOMETIMES DIFF(E,X,N) CAN BE REDUCED EVEN THOUGH N IS "SYMBOLIC".
   3 BATCH(GENDIF,>,SHARE2)$ AND YOU CAN TRY, FOR EXAMPLE,
   4 DIFF(%E^(A*X),X,Q) BY USING GENDIFF RATHER THAN DIFF.  UNEVALUABLE
   5 ITEMS COME OUT QUOTED. SOME ITEMS ARE IN TERMS OF "GENFACT", FOR
   6 WHICH, SEE MANUAL.  COMMENTS AND SUGGESTIONS ARE SOLICITED.
   7 \x1f
   8 ADK@MIT-MC 04/12/82 9:04pm  For information only:
   9 [Bugs in GENDIFF -- SHARE2;GENDIF >]
  10 (1) gendiff(x*(x-a),x,j);
  11     This asks "Is J - I an integer?", which is hard for the user to answer
  12     as I is a system generated dummy summation index (which has, in general,
  13     indefinite sign anyhow).
  14 (2) The answer for the above example involves the silly quantity diff(x,x,i),
  15     which is clearly kdelta(i-1)+x*kdelta(i) for positive integer
  16     values of i.  This information should be used by SUM as well.
  17 As nobody else is likely to care about these bugs, and I don't really care that
  18 much myself, this note is just for your information.  I might fix up GENDIFF
  19 someday, but I make no promises!
  20 \x1f