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 _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
