login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Submitted by : (unknown) at: 2007-11-17T22:19:36-08:00 (9 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

There is still problem with handling closures, but this problem is fixed.

Theses functions are right :

Need to set:

fricas
)set function compile on

fricas
methodea a == select (t +-> t=3, expand (-10..2*a))
Type: Void
fricas
methodea 10
fricas
Compiling function methodea with type PositiveInteger -> List(
      Integer)

\label{eq1}\left[ 3 \right](1)
Type: List(Integer)
fricas
methodeb a == select (t +-> t=a, expand (-10..20))
Type: Void
fricas
methodeb 10
fricas
Compiling function methodeb with type PositiveInteger -> List(
      Integer)

\label{eq2}\left[{10}\right](2)
Type: List(Integer)
fricas
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?
fricas
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

fricas
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?
fricas
methode2 10

\label{eq6}\left[{10}\right](6)
Type: List(Integer)

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

Status: open => closed




  Subject:   Be Bold !!
  ( 13 subscribers )  
Please rate this page: