|
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
[Prev in Thread] | Current Thread | [Next in Thread] |