Hello, The way (in mathematic or pure informatic) I prefer is
fct := x +-> (y +-> gcd (x, y)) fct 4 --- is an anonymous function (fct 4) 6 -- or fct 4 6 with right priority should be 2. This last hope for axiom is exactly what the functional language caml calls "currify". The methods we must use in axiom_s mismatch == and +-> with various results. I feel it's not a good exemple for students (in pure computational sciences). So I'm sorry to remain axiom_s for algebra computation, and I don't expose axiom for theses functional examples. François ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/ _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
