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: 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





reply via email to

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