axiom-developer
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-developer] Question concerning types...


From: Martin Rubey
Subject: Re: [Axiom-developer] Question concerning types...
Date: 16 Sep 2006 23:19:46 +0200
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.3

C Y <address@hidden> writes:

> (1) -> Q == Quaternion Fraction Integer;

in Axiom:

Q ==> Quaternion Fraction Integer;

> (2) -> m(a1: Q, a2: Q, a3: Q, a4: Q): Matrix Q := matrix[[a1,a2],[a3,a4]];

in Axiom and in Aldor:

m(a1: Q, a2: Q, a3: Q, a4: Q): Matrix Q == matrix[[a1,a2],[a3,a4]];

Martin





reply via email to

[Prev in Thread] Current Thread [Next in Thread]