[Top][All Lists]
[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
- [Axiom-developer] Question concerning types..., C Y, 2006/09/16
- Re: [Axiom-developer] Question concerning types..., Martin Rubey, 2006/09/16
- Re: [Axiom-developer] Question concerning types..., C Y, 2006/09/16
- Re: [Axiom-developer] Question concerning types..., Ralf Hemmecke, 2006/09/16
- Re: [Axiom-developer] Question concerning types..., Gabriel Dos Reis, 2006/09/16
- Re: [Axiom-developer] Question concerning types..., C Y, 2006/09/16
- Re: [Axiom-developer] Question concerning types...,
Martin Rubey <=
- Re: [Axiom-developer] Question concerning types..., Ralf Hemmecke, 2006/09/16
- Re: [Axiom-developer] Question concerning types..., Gabriel Dos Reis, 2006/09/16
- Re: [Axiom-developer] Question concerning types..., Gabriel Dos Reis, 2006/09/16
- Re: [Axiom-developer] Question concerning types..., C Y, 2006/09/16
- Re: [Axiom-developer] Question concerning types..., Gabriel Dos Reis, 2006/09/16
- Re: [Axiom-developer] Question concerning types..., C Y, 2006/09/16
- Re: [Axiom-developer] Question concerning types..., Gabriel Dos Reis, 2006/09/17
- Re: [Axiom-developer] Question concerning types..., Martin Rubey, 2006/09/17
- Re: [Axiom-developer] Question concerning types..., Vanuxem Grégory, 2006/09/16
- RE: [Axiom-developer] Question concerning types..., Bill Page, 2006/09/17