=================================== Announcement of MuPAD version 1.2.2 =================================== Dear MuPAD friend, here a message from the developers of MuPAD to inform you about the new release MuPAD 1.2.2. MuPAD 1.2.2 is a major release update in comparison to the mathematical capabilities of MuPAD 1.2.1, but a minor release update in comparison to the kernel and the frontends of MuPAD 1.2.1. New functions ============= series expansion, limit computation, asymptotic expansion, solv- ing diophantine and polynomial equations, solving ordinary differential equations, definite and indefinite summation, decomposition of polynomials, combining and expanding algebraic terms, continued fraction arithmetic, partial frac- tion decomposition, computing the triangular form of complex expressions, simplification of expressions containing radicals and exponentials, Bessel functions, another term ordering of polynomials (DegInvLexOrder), primality proving using elliptic curves, finding factors of an integer using Pollard's rho method, TeX-output of expressions, representation of infinite numbers, standard deviation, variance of a list of values, chi square and normal distribution, Stirling numbers, collecting coefficients of polynomials, roots of univariate polynomials with coefficients in Z/nZ, integer roots of rational univariate poly- nomials, infinite decimal representation of rational numbers, enhancement and improvement of the symbolic integration (e.g. numerical integration), the Groebner package and the linear algebra package (e.g. eigenvalues, jordan forms, exponential of matrices), RGB values for color names, polar/spherical/cylindrical coordinate plots, implicit plots, vector field plots, alias mechanism, userinfo, algorithms for networks (shortest pathes, maximal flow, minimal flow, topologi- cal sorting), and many many more. Online documentation (Reference manual and help pages) in English. Note, that the reference manual is a draft version. Hypertext previewer is now able to manage more than one document and is able to display GIF pictures. No external GIF previewer is needed. Now you can use wildcards in the help command, for example ? plot* or ? plot?? For latest informations and demos refer via WWW to http://math-www.uni-paderborn.de/~cube/RELEASE_122/ The next section gives an short overview of all new functions. See on-line help for detailed informations, for example ?stats::stdev, ?series, ?numlib::proveprime, ?plotlib::fieldplot. Type loadlib("): info(); to get all functions of the specified package, where is one of the following packages: combinat, domains, groebner, intlib, linalg, misc, module, numlib, ode, orthpoly, plotlib, RGB, sharelib, stats and Type. (faclib, gcdlib, series, specfunc and stdlib have no interface) Standard Library ---------------- alias, asympt, collect, combine, conjugate, contfrac, decompose, expose, Factor, fun, func, Im, infinity, limit, linsert, linsolve, normal, partfrac, pdioe, primpart, radsimp, randpoly, Re, rectform, resultant, revert, RootOf, series, simplify, solve, sum, TeX, unalias, userinfo Special functions ----------------- besselJ, besselY, eint, psi New simplification rules added to almost all functions in this package. Linear Algebra (linalg) ----------------------- cholesky, curl, divergence, eigenValues, exp, extractMatrix, grad, isHermitian, isOrthogonal, isPosDef, jacobian, jordan- Form, randomMatrix, vectorPotential Domains (domains) ----------------- Domains: AlgebraicExtension, Infinity, Interval, Product, TruncatedPowerSeries, ExpressionField Categories: FiniteCollectionCat, HomogenousFiniteCollectionCat, HomogenousFiniteProductCat, Module, RightModule Plot Package (plotlib) ---------------------- cylindricalplot, fieldplot, implicitplot, polarplot, spherical- plot, xrotate, yrotate Number Theory (numlib) ---------------------- decimal, pollard, proveprime Statistics (stats) ------------------ ChiSquare, mean, normal, stdev, variance Miscellaneous ------------- faclib::roots, sharelib::iroots, Ordinary differential equations (ode) ------------------------------------- MuPAD 1.2.2 can recognize (and solve if possible) the following kinds of equations: - linear equations with constant coefficients - autonomous equations - linear equations that have a simple adjoint equation - first order equation of the form a(x)+y'(x)+b(x)*y(x)=0 - first-order linear systems with constant coefficients - separate equations - linear equations that have polynomial solutions See ?ode for more details. Algorithms for networks (network) --------------------------------- AddEdge, AddVertex, AllShortPath, ChangeEdge, ChangeVertex, Complete, ConvertSSQ, Cycle, DelEdge, DelVertex, ECapacity, EWeight, Edge, Epost, Epre, InDegree, IsEdge, IsVertex, LongPath, MaxFlow, MinCost, MinCut, OutDegree, PrintGraph, Random, ShortPath, TopSort, Vertex, VWeight. Numerical integration --------------------- Numerical integration is invoked by applying float to the unevaluated integral as in int(f(x),x=a..b); float(%); or directly by calling float(int(f(x),x=a..b)). Only finite intervals can be handled by now, e.g. this implementation doesn't accept the values infinity or -infinity for a and/or b. f must be continuous in [a, b], e.g. there are no endpoint singularities and no discontinuous in the interior of the interval of integration. Otherwise the numerical integration returns the unevaluated integral. New platforms ============= * Hewlett-Packard 9000/700, HP-UX 9.0 or later * PC, NetBSD 1.0 or later Alpha releases (not available by now): * PC, MS-Windows 3.1 or later * PC, Linux-ELF * Motif version for Sun 4 Comparisons/Reviews =================== Paul Zimmermann, a researcher from INRIA, has written a paper "Wester's Test Suite in MuPAD 1.2.2" based on Michael Wester's paper "A Review of CAS mathematical Capabilities". Paul describes the problems that can be solved with MuPAD, whereas the original paper describes the capabilities of Axiom, Derive, Macsyma, Maple, Mathematica and Reduce to solve these problems. * Paul Zimmermann: Wester's test suite in MuPAD 1.2.2, 1995 Can be found on http://math-www.uni-paderborn.de/~cube/RELEASE_122/WESTER/wester.html or in the April issue of the CAN Nieuwsbrief 14, 1995. * Michael Wester: A Review of CAS Mathematical Capabilities, 1994 Can be found on ftp://math.unm.edu/pub/cas/ Frank Postel has written a paper "c't magazine test suite" based on Braun's article "Das Ende des Bleistifts". * Frank Postel: c't magazine test suite with MuPAD 1.2.2, 1995 Can be found on http://math-www.uni-paderborn.de/~cube/RELEASE_122/CT-TEST/CT_test.html * Stefan Braun, Harald Haeuser: Das Ende des Bleistifts, c't, issue 7, July 1995. New MuPAD ftp sites =================== From now on MuPAD is also available (mirrored) on the following official ftp sites: Germany ftp.uni-paderborn.de : /pub/unix/MuPAD (home site) math-ftp.uni-paderborn.de : /pub/MuPAD ftp.ask.uni-karlsruhe.de : /pub/education/mathematics/MuPAD ftp.Germany.EU.Net : /pub/comp/applications/math/mupad France ftp.inria.fr : /lang/MuPAD USA ftp.math.utah.edu : /pub/mupad archives.math.utk.edu : /software/multi-platform/MuPAD Additional ftp server for Linux-MuPAD ftp sunsite.unc.edu : /pub/Linux/apps/math/MuPAD with official mirrows in Asia (Thailand, Hong Kong, Japan), Australia, Europe (Austria, Czech Republic, France, Germany, Hungary, Italy, Switzerland, Turkey, United Kingdom), North America (USA) and South America (Chile). For latest information refer via WWW to http://math-www.uni-paderborn.de/~cube/FAQ/INTERNET_SERVICES/ftp.html We hope that solves your problems of breaking connections to our often overloaded site. Special thanks to Paul Zimmermann (INRIA), Christian Hettler (ASK), Nelson Beebe and Pieter Bowman (University of Utah). For a better support outside France and Germany we are looking for further official MuPAD sites. Especially in South America, Australia, Asia, ... Please, if you are able and willing to mirror MuPAD on your site send a mail to MuPAD-webmaster@uni-paderborn.de