axiom-developer
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

RE: [Axiom-developer] Re: SPAD and Aldor again

From: Vanuxem Gregory
Subject: RE: [Axiom-developer] Re: SPAD and Aldor again
Date: Fri, 17 Nov 2006 22:11:41 +0100 
I forgot,

Le vendredi 17 novembre 2006 à 21:46 +0100, Vanuxem Gregory a écrit :

[...]

> (4) -> ((1/4)=(1/4)::ANY)@Boolean
> 
>    (4)  false

But

 (8) -> (3=(3::ANY))@Boolean

   (8)  true

Greg
reply via email to
[Prev in Thread] Current Thread [Next in Thread]