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 : default friCAS-20090114 Axiom-20050901 OpenAxiom-20091012 OpenAxiom-20110220 OpenAxiom-Release-141 Category : Axiom Aldor Interface Axiom Compiler Axiom Library Axiom Interpreter Axiom Documentation Axiom User Interface building Axiom from source lisp system MathAction Doyen CD Reduce Axiom on Windows Axiom on Linux Severity : critical serious normal minor wishlist Status : open closed rejected not reproducible fix proposed fixed somewhere duplicate need more info Optional subject :   Optional comment :

It is sometimes useful to define x as a Symbol

axiom
x:Symbol
Type: Void
axiom
integrate(x)
 (1)
Type: UnivariatePolynomial(x,Fraction(Integer))
axiom
1 x
 (2)
Type: UnivariatePolynomial(x,Integer)

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

axiom
y
 (3)
Type: Variable(y)
axiom
y == 1
Type: Void
axiom
y
axiom
Compiling body of rule y to compute value of type PositiveInteger
 (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