g := (x +-> ((y+-> y+x) 1)) g 2 also give that error in FriCAS.
Unfortunately, I have no idea why == and := behave differently in this instance. Ralf On 07/18/2009 11:33 PM, Michael Becker wrote: > > Hi, > > does axiom really support anonymous functions? > > > AXIOM Computer Algebra System > Version: Axiom (May 2009) > Timestamp: Sunday June 21, 2009 at 23:34:35 > ............ > ............ > > (1) -> (y+-> y+1) 1 > (1) -> > (1) 2 > Type: PositiveInteger > (2) -> (x +-> ((y+-> y+x) 1)) 2 > 2) -> > >> System error: > The variable #:G1404 is unbound. > > (2) -> f == (x +-> ((y+-> y+x) 1)) > Type: Void > (3) -> f 2 > Compiling function f with type PositiveInteger -> PositiveInteger > > (3) 3 > Type: PositiveInteger > > > -- Michael > > > > ------------------------------------------------------------------------------------ > > Diese Nachricht könnte vertrauliche und/oder rechtlich > geschützte Informationen enthalten. Wenn Sie nicht der > Adressat dieser Email sind oder nicht autorisiert sind, diese > für den Adressaten entgegenzunehmen, so ist es untersagt, > diese Nachricht oder in ihr enthaltene Informationen zu nutzen, > zu kopieren, offen zu legen oder anderweitig weiterzuverarbeiten. > Sollten Sie diese Nachricht fälschlicherweise erhalten haben, > verständigen Sie den Absender bitte unverzüglich per Antwort auf > diese Mail und löschen sie diese anschließend. > Vielen Dank für Ihre Kooperation. > ------------------------------------------------------------------------------------ > > This message may contain confidential and/or privileged > information. If you are not the addressee or authorized > to receive this for the addressee, you must not use, copy, > disclose or take any action based on this message or any > information herein. If you have received this message in > error, please advise the sender immediately by reply e-mail > and delete this message. Thank you for your co-operation. > ------------------------------------------------------------------------------------ > > We make your business move. > > > > > _______________________________________________ > Axiom-developer mailing list > [email protected] > http://lists.nongnu.org/mailman/listinfo/axiom-developer --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
