Re: [Axiom-developer] nested anonymous functions

[Michael Becker]

Am Montag, 20. Juli 2009 12:39 schrieb Tim Daly:
> Michael,
>
> Try
>
> (x +-> ((w,y)+->y+w) (x,2)) 1
>
> The outer function of x requires one argument
> which is bound as x, and the inner function of
> (x,y) requires 2, (w,y)
>
> This does not appear to be a bug.


  
  Tim,

    This was a question. 

    According to Section 6.16:  Variables in Functions are local or global (in 
workspace)
    
    e.g.:
(4) -> bla() == (m:=3;f() == m +3; f())
                                                                   Type: Void
(5) -> bla()
   Compiled code for f has been cleared.
   1 old definition(s) deleted for function or rule f
   Compiling function f with type PositiveInteger -> Polynomial Integer

   Compiling function bla with type () -> Polynomial Integer

   (5)  m + 3
                                                     Type: Polynomial Integer

   

   So nested anonymous functions are not really supported.



   -- Michael

  


>
> Tim
>
> 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
> > address@hidden
> > http://lists.nongnu.org/mailman/listinfo/axiom-developer