2 ABSIMP - (SHARE1;) supplements the built-in simplification rules for ABS
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.
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
20 ASYMPA - (SHARE1;) does asymptotic analysis, including big-Oh and
21 little-oh simplification.
23 ATRIG1 - (SHARE1;) contains some additional automatic simplifications
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
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
58 DELTA - (SHARE1;) integrals with Dirac deltas
60 DESOLN - solves differential equations or systems of them using
63 DETERM - (SHARE1;) the Bareiss two-step determinant algorithm.
65 DIFSOL - (SHARE2;) solves differential equations or systems of them using
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
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
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
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
247 VECTOR - various vector operations are included, e.g. DIV, GRAD,
248 DOTDEL, CROSS, LAPLACIAN, and CURL.
250 WORLD - belongs to PLOT2