Axiom erlaubt das Rechnen mit Polynomen und Matrizen, deren Koeffizienten aus beliebigen Ringen gewählt werden. Dabei wird von der in Axiom bestehenden Möglichkeit Gebrauch gemacht, den Datentype eines Polynoms bzw. einer Matrix genau zu spezifizieren.
Dieser Abschnitt