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 --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en -~----------~----~----~----~------~----~------~--~---
