help links subscribe changes refresh edit

	IssueTracker
#273 Factor Expression Integer does nothing ←	↑	→ #275 Compiler bug...Bug: gen0Syme: syme unallocated by gen0Vars

#274 Can't get a parameter in an anonymous function

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

	1 2 3 4
Editor: kratt6 Time: 2009/01/13 04:35:00 GMT-8
Note: more information

added:

From kratt6 Tue Jan 13 04:35:00 -0800 2009
From: kratt6
Date: Tue, 13 Jan 2009 04:35:00 -0800
Subject: more information
Message-ID: <20090113043500-0800@axiom-wiki.newsynthesis.org>

See

http://groups.google.at/group/fricas-devel/browse_thread/thread/93331582de7cfd31

for more information

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)

$\label{eq1}\left[ 3 \right]$

(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)

$\label{eq2}\left[{10}\right]$

(2)

Type: List(Integer)

axiom

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

$\label{eq3}a \mapsto{select \left({{\left(t \mapsto{t = 3}\right)}, \:{expand \left({{\left(-{10}\right)}..{\left(2 \ a \right)}}\right)}}\right)}$

(3)

Type: AnonymousFunction?

axiom

methode1 10

$\label{eq4}\left[ 3 \right]$

(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))

$\label{eq5}a \mapsto{select \left({{\left(t \mapsto{t = a}\right)}, \:{expand \left({{\left(-{10}\right)}..{20}}\right)}}\right)}$

(5)

Type: AnonymousFunction?

axiom

methode2 10

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

more information --kratt6, Tue, 13 Jan 2009 04:35:00 -0800 reply

See

http://groups.google.at/group/fricas-devel/browse_thread/thread/93331582de7cfd31

for more information