help links subscribe changes refresh edit

	IssueTracker
#271 )show Expression Boolean gives a list ←	↑	→ #273 Factor Expression Integer does nothing

#272 functions +-> and blocks of instructions

Edit detail for #272 functions +-> and blocks of instructions revision 1 of 4

	1 2 3 4
Editor: Time: 2007/11/17 22:19:21 GMT-8
Note:

changed:
-
\begin{axiom}
f x == 
  a := 3 
  x + a
f 3
g := x +-> (x+2 ; x+a) 
g 3
\end{axiom}
are right functions.
But I can't use the function h. I get an error - 'h 3 : |a| is not of type list'
\begin{axiom}
h := x +-> (a := 3 ; x+a) 
h 3
\end{axiom}

axiomf x == 
  a := 3 
  x + a

Type: Void

axiom
f 3

axiom

Compiling function f with type PositiveInteger -> PositiveInteger

(1)

Type: PositiveInteger?

axiom
g := x +-> (x+2 ; x+a)

(2)

Type: AnonymousFunction?

axiom
g 3

(3)

Type: Polynomial Integer

are right functions. But I can't use the function h. I get an error - h 3 : |a| is not of type list

axiom
h := x +-> (a := 3 ; x+a)

(4)

Type: AnonymousFunction?

axiomh 3
   >> System error:
   |a| is not of type LIST.