Typen und Objekte

Typen und Objekte

In Maple haben alle Objekte einen Typ , der ihre Zugehörigkeit zu einer Objektklasse bestimmt. Ein Objekt kann mehreren Typen zugeordnet sein, so z.B., wenn eine bestimmte Objektklasse eine durch zusätzliche Relationen definierte Unterklasse enthält. Als Beispiel sei erwähnt, daß die Zahl 6 vom Typ

und vom Typ

ist. Mit Hilfe der Typisierung und damit auch einer Hierarchisierung aller Objekte wird die widerspruchsfreie Formulierung und Abarbeitung bestimmter Klassen von mathematischen Aufgaben garantiert.

Der Nutzer kann jederzeit den Typ eines Objektes mit der Anfrage

(20.30)

erfragen. Nach Abschluß der Eingabe ist unbedingt das Semikolon zu setzen. Die Rückgabe ist der Basistyp des Objektes. Maple kennt folgende, in der folgenden Tabelle dargestellten Basistypen:

Tabelle Basistypen in Maple

Die weitergehende Typstruktur kann mit Abfragen der Art

, deren Werte die BOOLEschen Funktionen

oder

sind, ermittelt werden. In der folgenden Tabelle sind alle Maple bekannten Typnamen dargestellt.

Tabelle Typenübersicht

Man erkennt, daß die Typprüffunktionen selbst einen Typ besitzen, nämlich . Grob gesprochen, charakterisieren die Basistypen Klassen von grundlegenden Datenstrukturen (Zahlenarten, strukturierte Datentypen) und Basisoperatoren, während die übrigen tiefergehenden Klassifizierungen der Basistypen bzw. Sachverhalte algebraischer Natur widerspiegeln bzw. mit bestimmten Prozeduren von Maple verknüpft sind.