MuPAD ist das Computeralgebra-System des Instituts fur Automatisierung und Instrumentelle Mathematik (AUTOMATH) an der Universitat Paderborn. Mu- PAD wurde als paralleles System entworfen. Der AnstoB zu Entwurf und Implementation von MuPAD entsprang dem Wunsch, unsere Algorithmen zur Untersuchung der gruppentheoretischen Struktur nicht- linearer Systeme effizient und schnell zu handhaben. MuPAD ist jedoch diesem ursprunglichen Ziel sehr schnell entwachsen und wurde deshalb als universelles Sy- stem fUr den Umgang mit allgemeinen mathematischen Sachverhalten entwickelt. MuPAD hatte zwei Entwicklungsziele. Zum erst en wollten wir ein Werkzeug fur den effizienten Umgang mit groBen Datenmengen schaffen. Dieses Ziel wurde durch die speziellen Probleme unserer Forschungsarbeiten im Bereich der nichtli- nearen Systeme, welche mitunter Datenmengen von mehreren Gigabyte erzeugen, motiviert. Dieses Entwicklungsziel konnte nur dadurch verwirklicht werden, daB MuPAD als paralleles Computeralgebra-System entwickelt wurde. Der Einfach- heit halber, und weil wir ein breites Nutzerprofil abdecken wollten, wurde Mu- PAD zuerst auf der Basis der Rechnerarchitektur einer Shared-Memory-Maschine entwickelt. Fur Maschinen mit anderen Architekturen werden spezielle Interfa- ces, die eine Shared-Memory-Maschine simulieren, bereitgestellt. Daneben gibt es eine sequentielle MuPAD-Version, welche trotzdem im Bereich ihrer Hochsprache auch uber parallele Programmkonstrukte verfugt. In dieser sequentiellen Version ist die Ausfuhrung von Anweisungen in einem parallelen Block dem Zufallsprin- zip unterworfen, urn so auch auf sequentiellen Maschinen einen logischen Test fur die Ausfuhrung paralleler Programme teilweise zu ermoglichen. Die sequentielle MuPAD-Version ist Gegenstand dieses Handbuchs. Das zweite wesentliche Entwicklungsziel entsprang dem Wunsch, daB zukunftige MuPAD-Versionen die Basis eines lernfiihigen Systems darstellen sollten.

MuPAD is a computer algebra project of the MathPAD group at the University of Paderborn. MuPAD was designed as a parallel system. The design and implemen tation of MuPAD grew out of the desire to efficiently handle large data generated by algorithms used to investigate the group theoretical structure of nonlinear sys tems. Nevertheless, MuPAD outgrew this original goal and was developed as a general purpose system and should be used as such. MuPAD had two major design goals. As already mentioned, firstly we wanted to prm.ide a tool for fast and efficient handling of large data. This goal was motivated by the special problems which came up in our research on nonlinear systems, where data of several GB are not unusual. As a consequence of this MuPAD is a parallel computer algebra system working on the basis of a shared memor)" machine. Special interfaces, simulating hared memory, will be provided for machines with a different architecture. A sequential version of MuPAD is available which, nevertheless, in its high-end language provides parallel constructs for programming. In this sequential version parallEl blocks are executed at random, thus allowing for logical tests of parallel programs on sequential machines. The sequential MuPAD version is the topic of this refErence manual. The second major design goal was to make sure that future versions of MuPAD could be the basis for a system capable of learning during interactive use."