[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`