Forthcoming Attractions

The MuPAD library will be organized as an archive (in a standard tar-format). This results in far less disk usage and faster access to the library.

Parameters of procedures can have optional type arguments, so that type checking is done automatically (e.g.: t:=proc(p:Type::PolyOf(DOM_RAT)):DOM_INTbegin nterms(p) end_proc:).

MuPAD does not distinguish between expressions like a + b and a - b or a/b and a . b^-1, for example. For the next release the MuPAD kernel arithmetic will be redesigned in order to allow such distinctions. This will mainly influence the development of domains which now should provide methods like _subtract and _divide to overload the new arithmetic operations. As an example it will be possible to divide two polynomials p1 and p2 even by entering p1/p2.

Documentation and Reports

MuPAD 1.3

References