axiom-developer
[Top][All Lists]

## [Axiom-developer] Internal Error : Interpreter code generation failed fo

 From: Michael Becker Subject: [Axiom-developer] Internal Error : Interpreter code generation failed for expression... Date: Tue, 21 Jul 2009 05:44:46 +0200 User-agent: KMail/1.7.1

```
Hi,

I have  the followin input-file

------- ma2.input -----------------------------------
fallingPower : (INT,NNI) -> INT

fallingPower (p,0) == 1
fallingPower (p,n) == p*fallingPower(p-1,n-1)

test0 () ==
n : Matrix Integer
n := new(3,3,0)
for i in 1..3 repeat _
for j in 1..3 repeat _
n(i,j) := fallingPower(i+j,j)
n

test1 () ==
n : Matrix Integer
n := new(3,3,0)
for i in 1..3 repeat _
for j in 1..3 repeat _
n(i,j) := i+j
n

test2 () ==
n : Matrix Integer
n := new(3,3,0)
for i in 1..3 repeat _
for j in 1..3 repeat _
n(i,j) := fallingPower(i,j)
n

test2()
test1()
test0()
--------------------------------------------------

reading this in axiom gives the follwing error

--------------------------------------------------

AXIOM Computer Algebra System
Version: Axiom (May 2009)
Timestamp: Sunday June 21, 2009 at 23:34:35
-----------------------------------------------------------------------------
Issue )summary for a summary of useful system commands.
-----------------------------------------------------------------------------

(1) ->
(1) -> )re ma2
(1) ->

fallingPower : (INT,NNI) -> INT

Type: Void

fallingPower (p,0) == 1

Type: Void
fallingPower (p,n) == p*fallingPower(p-1,n-1)

Type: Void

test0 () ==
n : Matrix Integer
n := new(3,3,0)
for i in 1..3 repeat _
for j in 1..3 repeat _
n(i,j) := fallingPower(i+j,j)
n

Type: Void

test1 () ==
n : Matrix Integer
n := new(3,3,0)
for i in 1..3 repeat _
for j in 1..3 repeat _
n(i,j) := i+j
n

Type: Void

test2 () ==
n : Matrix Integer
n := new(3,3,0)
for i in 1..3 repeat _
for j in 1..3 repeat _
n(i,j) := fallingPower(i,j)
n

Type: Void

test2()

domain Matrix
domain InnerIndexedTwoDimensionalArray
There are no library operations named fallingPower
Use HyperDoc Browse or issue
)what op fallingPower
to learn if there is any operation containing " fallingPower " in
its name.
Cannot find a definition or applicable library operation named
fallingPower with argument type(s)
Integer
Integer

Perhaps you should use "@" to indicate the required return type,
or "\$" to specify which version of the function you need.
AXIOM will attempt to step through and interpret the code.
Compiling function fallingPower with type (Integer,
NonNegativeInteger) -> Integer
Compiling function test2 with type () -> Matrix Integer
Compiling function G1997 with type Integer -> Boolean

domain MatrixCategory&
domain TwoDimensionalArrayCategory&
+1  0  0+
|       |
(7)  |2  2  0|
|       |
+3  6  6+
Type: Matrix Integer
test1()

Compiling function test1 with type () -> Matrix Integer

+2  3  4+
|       |
(8)  |3  4  5|
|       |
+4  5  6+
Type: Matrix Integer
test0()

Compiling function test0 with type () -> Matrix Integer
UnivariatePolynomialMultiplicationPackage
UnivariatePolynomial
Internal Error
Interpreter code generation failed for expression
(IF (= |#2| 0) 1 (* |#1| (|fallingPower| (- |#1| 1) (- |#2| 1))))

--------------------------------------------------

i can't see whats wrong with 'test0'.

-- Michael

ps:  same result in fricas or open-axiom.

------------------------------------------------------------------------------------

Diese Nachricht könnte vertrauliche und/oder rechtlich
geschützte Informationen enthalten. Wenn Sie nicht der
Adressat dieser Email sind oder nicht autorisiert sind, diese
für den Adressaten entgegenzunehmen, so ist es untersagt,
diese Nachricht oder in ihr enthaltene Informationen zu nutzen,
zu kopieren, offen zu legen oder anderweitig weiterzuverarbeiten.
Sollten Sie diese Nachricht fälschlicherweise erhalten haben,
verständigen Sie den Absender bitte unverzüglich per Antwort auf
diese Mail und löschen sie diese anschließend.
Vielen Dank für Ihre Kooperation.
------------------------------------------------------------------------------------

This message may contain confidential and/or privileged
information. If you are not the addressee or authorized
disclose or take any action based on this message or any
information herein. If you have received this message in
and delete this message. Thank you for your co-operation.
------------------------------------------------------------------------------------