|
|
|
last edited 10 years ago by test1 |
Edit detail for #272 functions +-> and blocks of instructions revision 4 of 4
| 1 2 3 4 | ||
|
Editor: test1
Time: 2014/05/13 17:20:50 GMT+0 |
||
| Note: | ||
added:
From test1 Tue May 13 17:20:50 +0000 2014
From: test1
Date: Tue, 13 May 2014 17:20:50 +0000
Subject:
Message-ID: <20140513172050+0000@axiom-wiki.newsynthesis.org>
Status: fixed somewhere => closed
fricas
(1) -> f x == a := 3 x + a
Type: Void
fricas
f 3
fricas
Compiling function f with type PositiveInteger -> PositiveInteger
 | (1) |
Type: PositiveInteger?
fricas
g := x +-> (x+2 ; x+a)
![\label{eq2}x \mapsto{
\begin{array}{l}
{\left(x + 2 \right)}
\
{\left(x + a \right)}](images/1972558510237511019-16.0px.png "\label{eq2}x \mapsto{
\begin{array}{l}
{\left(x + 2 \right)}
\
{\left(x + a \right)}") | (2) |
Type: AnonymousFunction?
fricas
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
fricas
h := x +-> (a := 3 ; x+a)
![\label{eq4}x \mapsto{
\begin{array}{l}
{\left(a : = 3 \right)}
\
{\left(x + a \right)}](images/7071648393611172993-16.0px.png "\label{eq4}x \mapsto{
\begin{array}{l}
{\left(a : = 3 \right)}
\
{\left(x + a \right)}") | (4) |
Type: AnonymousFunction?
fricas
h 3
 | (5) |
Type: PositiveInteger?
... --gdr, Thu, 24 Jan 2008 21:23:23 -0800 reply
fixed in OpenAxiom
Status: open => fixed somewhere
Status: fixed somewhere => closed