Support RETURN-FROM in DEF%TR forms
[maxima.git] / share / share.usg
blobff6342d897dcad101a1df7adb6ecfd02914b59e4
2 ABSIMP - (SHARE1;) supplements the built-in simplification rules for ABS 
3      andSIGNUM.
5 ANTID - (SHARE2;) Integrates (antidifferentiates) expressions involving 
6      an unspecified function and its derivatives.
8 APLOT2 - belongs to PLOT2
10 AIRY - (SHARE1;) Contains the AIRY functions and their derivatives, both
11         numerically and a bit symbolically; has the GRADEFS that TAYLOR uses.
12         Written by LPH.
14 ARRAY - various functions for handling arrays (e.g. changing array      
15      dimensions, filling arrays from a list).
17 ASYMP - (SHARE1;) A package for the evaluation of bounds on Feynman 
18      Diagrams.
20 ASYMPA - (SHARE1;) does asymptotic analysis, including big-Oh and 
21      little-oh simplification.
23 ATRIG1 - (SHARE1;) contains some additional automatic simplifications
24      for ACOS and ASIN.
26 BESSEL - obtains Bessel functions J and I for real arg and integer 
27      order.  Bessel function J for complex arg and nonneg real order.
28      Airy function Ai of real arg.  Plasma Dispersion function (Complex
29      Error function), and a generator of random numbers with a normal 
30      distribution.
32 BINIO -  (SHARE2;) belongs to PLOT2
34 BOXERY - additional BOX manipulation commands, including transparent 
35      boxes.  For info, :SEND to JLK.
37 BRMBRG - (SHARE2;) BIGFLOAT version of ROMBRG numerical integration
39 BROM - (SHARE2;) BIGFLOAT version of Romberg numerical integration.
41 CFORTR (SHARE1;) - A new function for generating FORTRAN.
43 CGAMMA - Gamma function for complex arguments.
45 COMPAC - (SHARE1;)  This package has been withdrawn.  See DESCRIBE(COLLAPSE).
47 CTENSR - for a user-specified metric, enables explicit
48      computation of Christoffel symbols, Ricci tensor, Riemann
49      tensor, and other tensor quantities of interest in diff-
50      erential geometry and gravitation theory.
52 DBLINT - (SHARE1;) A numerical double integral routine which uses Simpson's
53      rule on translated/compiled functions. Written by LPH.
55 DECLIN - (SHARE1;) Functions for declaring linear operators with several 
56      arguments.
58 DELTA - (SHARE1;) integrals with Dirac deltas
60 DESOLN - solves differential equations or systems of them using 
61      Laplace transforms.
63 DETERM - (SHARE1;) the Bareiss two-step determinant algorithm.
65 DIFSOL - (SHARE2;) solves differential equations or systems of them using
66      Laplace transforms.
68 DIFFER - (SHARE2;)  Linear difference equation package.
70 DIMEN - (SHARE1;) dimensional analysis.
72 DISOL - (SHARE2;) does ISOLATE's job for multiple variables.
74 DSKUSE - (SHARE2;) Functions for finding out about disk usage on this machine.
76 DUMP - saves and loads number arrays efficiently
78 DUMPAR - NEWIO version of DUMP/LOADARRAYS compatible with OLDIO format
79      Soon to be installed as standard version, in which case replace
80      DUMPAR FASL by a link to COMMON; (CFFK - 16 July 1977)
82 EIGEN - computes right eigenvectors, right unit eigenvectors, 
83      eigenvalues, and similarity transforms.
85 ELIM - (SHARE1;) eliminates variables from equations by taking resultants.
87 ELLIPT - Some complete elliptic integrals and Jacobian elliptic functions.
89 FACEXP - (SHARE1;) Several functions for controlled expansion of rational
90      expressions.
92 FACEX1 - belongs to FACEXP
94 FACT - Taylor series of the gamma function.
96 FFT - routines form Fast Fourier Transform and inverse FFTs
98 FIDO - (SHARE2;) a program named FIDO that acts like DDT's fido program 
99      without wasting a whole job slot in a crowded system.
101 FOPTIM - (SHARE1;) a program which accepts function-names as arguments, 
102      and calls OPTIMIZE on their definitions. Subject to same restrictions 
103      as OPTIMIZE but saves some of the clumsiness of accessing and 
104      restoring definition.
106 FORMAT - for pretty printing floating point numbers according to a specified
107      precision, total width, or fractional width.
109 FORMA1 - same as above, but still nicer to the eye.
111 FORTRA - produces FORTRAN-compatible code from MACSYMA using TECO.
113 FOURIE - (SHARE1;) calculate Fourier series and Fourier integral coefficients.
114          Also, there are various utility functions to do such things as
115          replace all occurrences of F(arg) by arg in an expression.
117 FUNCTS - assorted useful functions.  Their names are CONJUGATE,
118      REMPART, WRONSKIAN, ADJOINT, TRACEMATRIX, RATIONAL, ODD, UPROBE, 
119      KRONECKER, NONZEROANDFREEOF, LINEAR, LCM, and QUADRATIC.
121 GAMALG - Part of a package for Feynman diagram calculations in high-energy
122          physics. Takes traces (in n dimensions), squares amplitudes,
123          manipulates untraced strings of gamma matrices, and much more.
124          (Manual is in GAM USAGE)
126 GAMMA - (SHARE1;) computes a truncated asymptotic expansion for the gamma 
127      function.
129 GRIND - a TECO program which "grinds" (formats) BATCH files.
131 GROB - (SHARE1;) Implementation of the "Grobner basis" algorithm for ideal
132        membership and other basic computations in polynomial rings over fields.
134 HYPGEO - (SHARE1;) definite integration of special functions (Bessel, 
135         Whittaker, Legendre, Orthogonal Polys, Incomplete Gamma, etc.) 
136         by conversion to hypergeometric functions.  Currently handles only 
137         Laplace type integrals; i.e., INTEGRAL(F(Z)*EXP(-P*Z),Z,0,inf).
139 IFFUN - belongs to PLOT2.
141 INTEQN - (SHARE1;) an integral equation solver.
143 INTEXS - (SHARE1;) Integral equations used by INTEQN.
145 INTPOL - roots of transcendental equations by interpolation.
147 INTSCE - (SHARE1;) smartly integrates expressions of the form 
148      EXP(a*X+b)*COS(c*X)^n*SIN(c*X)^m .
150 INVERT - (SHARE1;) finds the inverse of a matrix using the adjoint method.
152 ITENSR - MACSYMA's indicial tensor manipulation package. Unlike
153      ETENSR, which carries out tensor operations explicitly,
154      this package works on the tensor indices and is truly
155      symbolic.
157 KN - (SHARE2;) recursion relation for modified bessel function k .
159 LINDE1 - (SHARE2;) solves first order linear ordinary differential equations.
161 LEXPR - implementation of functions of unknown knumbers of actual
162   parameters, by the use of a new ":==" function defining operation.
163      subject to an initial condition.
165 LRATS  - two functions related to RATSUBST: one is a recursive form of
166          RATSUBST, and the other is an enhancement of RATSUBST which
167          allows multiple serial substitution in the manner of SUBST.
169 MMACRO - an implementation of user definable macsyma macros. which is
170          something equivalent to making the evaluator user extendable.
172 NDIFFQ - (SHARE2;) runge-kutta, uses fast macsyma declared arrays 
173    and translated functions, self documenting, coded in lisp by GJC.
175 NUMRCL - (NUMER;) Various numerical hacks including Gaussian quadratures,
176        simpson's rule, bessel functions, mappings over declared arrays,
177        smoothings and quadratures of functions defined by arrays.
178        coded by GJC. See the NUMER directory for other stuff.
180 ODE - solves ordinary differential equations of 1st, 2nd and a few higher
181        orders by a very large number of methods (including ODE2).
183 ODE2 - solves ordinary differential equations of 1st and 2nd order.
185 OPTIMU - (NUMER;) Functions for generating programming constructs from
186       macsyma mathematical expressions. Automatic optimizing, MODE
187       declaration, and function defining. -GJC.
189 OPTMIZ - (SHARE2;) does analytic optimization.  Finds the stationary points of 
190      a multivariate objective function.
192 OPTVAR - (SHARE2;) does variational optimization: the calculus of variations,
193      the maximum principle, and optimal control.
195 PFAFF - (SHARE2;) contains a function which evaluates Pfaffians.
197 PINVRS - (SHARE2;) computes matrix inverse by partitioning.
199 PLOT2 - plotting for Tektronix 4013, Imlacs the XGP and the Gould 
200      lineprinter capabilities include all those provided by the
201      MACSYMA plotting package and much more.
203 PLOT3D - belongs to PLOT2
205 PRINT - belongs to PLOT2                                
207 QUAL - does qualitative analysis, determining bounds, monotonicity,
208      convexity, structure, periods, symmetries, poles, zeros, stationary
209      points, and asymptotics of general expressions.
211 RDUCON (SHARE1;) - A function which replaces constant subexpressions with
212                    new generated constants.
214 RECUR - recurrence relation program.  Written by John Ivie of UCB
216 REVERT(expr,var) - (SHARE2;) for reversion of series.  Programmed by Wilson.
218 RNCOMB - Similar to COMBINE, but unlike COMBINE it combines terms whose
219          denominators may differ by numerical factors.  The "RN" in
220          RNCOMBINE stands for RationalNumber.   Written by ASB.
222 OROMBR - (SHARE2;) does Romberg numerical integration.
224 ROMBRG - an alternate version of ROMBER.
226 SCIFAC (SHARE1;) - A new scientific factoring function.
228 SEQOPT (SHARE1;) - A code sequence optimization function.
230 SERIES - solution of second (and some first) order differential equations
231         by substitution of infinite series(method of Frobenius). Attempts
232         to find a complete solution in closed form.
234 SETS (SHARE1;) - provides a fast SETS package.
236 TEKPLT - belongs to PLOT2
238 TRGSMP - an alternative trigonometric-hyperbolic simplifier.
240 UNITS - does automatic conversion of units to metric, and provides
241      a check on the dimensional homogeniety of expressions.
243 VECT - vector algebra and calculus, including simplification,
244      expansion into curvilinear coordinates, scalar potentials, and
245      vector potentials.
247 VECTOR - various vector operations are included, e.g. DIV, GRAD, 
248      DOTDEL, CROSS, LAPLACIAN, and CURL.
250 WORLD - belongs to PLOT2