C Y <[EMAIL PROTECTED]> 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



_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer

Reply via email to