[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] Question concerning types...
From: |
Vanuxem Grégory |
Subject: |
Re: [Axiom-developer] Question concerning types... |
Date: |
Sat, 16 Sep 2006 23:59:22 +0200 |
Le samedi 16 septembre 2006 à 13:54 -0700, C Y a écrit :
[...]
> (1) -> Q == Quaternion Fraction Integer;
>
> Type: Void
> (2) -> m(a1: Q, a2: Q, a3: Q, a4: Q): Matrix Q :=
> matrix[[a1,a2],[a3,a4]];
> 2) ->
> Q is not a valid type.
> (2) -> Q
> Compiling body of rule Q to compute value of type Domain
> Loading /usr/local/axiom/mnt/linux/algebra/INT.o for domain Integer
> Loading /usr/local/axiom/mnt/linux/algebra/FRAC.o for domain
> Fraction
> Loading /usr/local/axiom/mnt/linux/algebra/QUAT.o for domain
> Quaternion
>
>
> >> System error:
> Caught fatal error [memory may be damaged]
Humm... And you continue to work with this Axiom session, you're
completely crazy :-) I don't know what can I think about the expression
"Q == Quaternion Fraction Integer". Nevertheless I think you can report
this to IssueTracker, I consider this as critical.
Greg
- Re: [Axiom-developer] Question concerning types..., (continued)
- Re: [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..., 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 <=
- RE: [Axiom-developer] Question concerning types..., Bill Page, 2006/09/17
- Re: [Axiom-developer] Question concerning types..., Ralf Hemmecke, 2006/09/16
- RE: [Axiom-developer] Question concerning types..., Bill Page, 2006/09/17
- Re: [Axiom-developer] Question concerning types..., Gabriel Dos Reis, 2006/09/17
- Re: [Axiom-developer] Question concerning types..., Ralf Hemmecke, 2006/09/17
- Re: [Axiom-developer] Question concerning types..., Gabriel Dos Reis, 2006/09/17
- Re: [Axiom-developer] Question concerning types..., Ralf Hemmecke, 2006/09/17
- Re: [Axiom-developer] Question concerning types..., Gabriel Dos Reis, 2006/09/17
- Re: [Axiom-developer] Question concerning types..., Ralf Hemmecke, 2006/09/18
- Re: [Axiom-developer] Question concerning types..., Gabriel Dos Reis, 2006/09/18