login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

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 


Submitted by : (unknown) at: 2007-11-17T21:52:08-08:00 (15 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

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
y

\label{eq3}y(3)
Type: Variable(y)
axiom
y == 1
Type: Void
axiom
y
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

Category: Axiom Compiler => Axiom Interpreter

Status: open => rejected