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

#107 Interpreter code generation failed for expression1
last edited 11 years ago by test1

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: 2014年5月13日 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

fricas

(1) -> x:Symbol

Type: Void

fricas

integrate(x)

\label{eq1}{\frac{1}{2}}\ {{x}^{2}} (1)

Type: UnivariatePolynomial(x,Fraction(Integer))

fricas

1 x

\label{eq2}1 (2)

Type: UnivariatePolynomial(x,Integer)

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

fricas

\label{eq3}y (3)

Type: Variable(y)

fricas

y == 1

Type: Void

fricas

Compiling body of rule y to compute value of type PositiveInteger

\label{eq4}1 (4)

Type: PositiveInteger?

fricas

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

fricas

x == 1

Type: Void

fricas

x

 Internal Error
 Interpreter code generation failed for expression1

... --gdr, 2008年3月31日 00:12:51 -0700 reply

Category: Axiom Compiler => Axiom Interpreter

... --test1, 2014年5月13日 16:34:29 +0000 reply

Status: open => rejected