help links subscribe changes refresh edit

	IssueTracker
#106 Results of integrate(x^2) and integrate(x^2,x) are different ←	↑	→ #108 InfiniteTuple and Stream

#107 Interpreter code generation failed for expression1

Edit detail for #107 Interpreter code generation failed for expression1 revision 2 of 3

	1 2 3
Editor: gdr Time: 2008/03/31 00:12:51 GMT-7
Note:

added:

From gdr Mon Mar 31 00:12:51 -0700 2008
From: gdr
Date: Mon, 31 Mar 2008 00:12:51 -0700
Subject: 
Message-ID: <20080331001251-0700@axiom-wiki.newsynthesis.org>

Category: Axiom Compiler => Axiom Interpreter

It is sometimes useful to define x as a Symbol

axiom

x:Symbol

Type: Void

axiom

integrate(x)

$\label{eq1}{1 \over 2}\ {x^2}$

(1)

Type: UnivariatePolynomial?(x,Fraction(Integer))

axiom

1 x

$\label{eq2}1$

(2)

Type: UnivariatePolynomial?(x,Integer)

But some things can be done with Variables but cannot be done with Symbols

axiom

$\label{eq3}y$

(3)

Type: Variable(y)

axiom

y == 1

Type: Void

axiom

Compiling body of rule y to compute value of type PositiveInteger

$\label{eq4}1$

(4)

Type: PositiveInteger?

axiom

x := 1

   Cannot convert right-hand side of assignment
   1

      to an object of the type Symbol of the left-hand side.

And this causes an error

axiom

x == 1

Type: Void

axiom

x

   Internal Error
   Interpreter code generation failed for expression1

... --gdr, Mon, 31 Mar 2008 00:12:51 -0700 reply

Category: Axiom Compiler => Axiom Interpreter