share/contrib/format/format.announce

   1 -*- Mode: Text -*-
   2
   3
   4   Announcing the availability of FORMAT a hierarchical expression
   5 formatter for Macsyma*.
   6
   7 From the abstract of the documentation:
   8   "A package for formatting algebraic expressions in Macsyma* ...
   9 It provides facilities for user-directed hierarchical structuring of
  10 expressions, as well as for directing simplifications to selected
  11 subexpressions.  It emphasizes a semantic rather than syntactic description
  12 of the desired form.  The package also provides utilities for obtaining efficiently
  13 the coefficients of polynomials, trigonometric sums and power series."
  14
  15 Some examples may be clearer than words:
  16
  17 /* A Basic rearrangement: */
  18 (c1) format((a+b*x)*(c-x)^2,%poly(x),%factor);
  19         3                2                        2
  20 (d1) b x  - (2 b c - a) x  + c (b c - 2 a) x + a c
  21
  22 /* A `mathematical' alternative to map or substpart...*/
  23 (c2) format((1+2*a+a^2)*b + a*(1+2*b+b^2),%sum,%product,%factor);
  24               2          2
  25 (d2) a (b + 1)  + (a + 1)  b
  26
  27 /* Focussing simplifications */
  28 (c3) foo:X^2*SIN(Y)^4-2*X^2*SIN(Y)^2+X^4*COS(Y)^4-2*X^4*COS(Y)^2+X^4+X^2+1$
  29
  30 (c4) trigsimp(foo);
  31         4    2     4         4    2       4
  32 (d4) (x  + x ) cos (y) - 2 x  cos (y) + x  + 1
  33
  34 /* That helps, but this is better: */
  35 (c5) format(foo,%poly(x),trigsimp);
  36        4    4       2    4
  37 (d5) x  sin (y) + x  cos (y) + 1
  38
  39 The package is written in Lisp, but should run under DOE & Macsyma Inc's
  40 versions of Macsyma.
  41
  42 Available by anonymous FTP at gams.nist.gov:/local/ftp/pub/miller/format/
  43 See the README file or contact miller@cam.nist.gov
  44
  45 *Disclaimer: The use of commercial products or their names implies no
  46 endorsement by NIST, the Dept. of Commerce or  the U.S. Government.
  47
  48