Edit detail for #274 Can't get a parameter in an anonymous function revision 1 of 4

changed:
-
Theses functions are right :

Need to set:
\begin{axiom}
)set function compile on
\end{axiom}

\begin{axiom}
methodea a == select (t +-> t=3, expand (-10..2*a))
methodea 10
methodeb a == select (t +-> t=a, expand (-10..20))
methodeb 10
methode1 := a +-> select (t +-> t=3, expand (-10..2*a))
methode1 10
\end{axiom}

This last function gives me a System error : The variable #:G30... is unbound.
I think that the cause is the test a=t

\begin{axiom}
methode2 :=  a +-> select (t +-> t=a, expand (-10..20))
methode2 10
\end{axiom}

Submitted by : (unknown) at: 2007-11-17T22:19:36-08:00 (16 years ago) Name : Axiom Version : default friCAS-20090114 Axiom-20050901 OpenAxiom-20091012 OpenAxiom-20110220 OpenAxiom-Release-141 Category : general Severity : critical serious normal minor wishlist Status : open pending closed Optional subject :   Optional comment :

Theses functions are right :

Need to set:

axiom

)set function compile on

axiom

methodea a == select (t +-> t=3, expand (-10..2*a))

Type: Void

axiom

methodea 10

axiom

Compiling function methodea with type PositiveInteger -> List 
      Integer

(1)

Type: List Integer

axiom

methodeb a == select (t +-> t=a, expand (-10..20))

Type: Void

axiom

methodeb 10

axiom

Compiling function methodeb with type PositiveInteger -> List 
      Integer

(2)

Type: List Integer

axiom

methode1 := a +-> select (t +-> t=3, expand (-10..2*a))

(3)

Type: AnonymousFunction?

axiom

methode1 10

(4)

Type: List Integer

This last function gives me a System error : The variable #:G30... is unbound. I think that the cause is the test a=t

axiom

methode2 :=  a +-> select (t +-> t=a, expand (-10..20))

(5)

Type: AnonymousFunction?

axiom

methode2 10

   >> System error:
   The variable #:G1490 is unbound.