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 3 of 3

	1 2 3
Editor: test1 Time: 2014/05/13 16:34:29 GMT+0
Note:

added:

From test1 Tue May 13 16:34:29 +0000 2014
From: test1
Date: Tue, 13 May 2014 16:34:29 +0000
Subject: 
Message-ID: <20140513163429+0000@axiom-wiki.newsynthesis.org>

Status: open => rejected

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

... --test1, Tue, 13 May 2014 16:34:29 +0000 reply

Status: open => rejected