login  home  contents  what's new  discussion  bug reports     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
  
last edited 10 years ago by test1

Edit detail for #107 Interpreter code generation failed for expression1 revision 1 of 3
1 2 3
Editor:
Time: 2007/11/17 21:52:08 GMT-8
Note: 
changed:
-
It is sometimes useful to define x as a Symbol
\begin{axiom}
x:Symbol
integrate(x)
1 x
\end{axiom}

But some things can be done with Variables but cannot
be done with Symbols
\begin{axiom}
y
y == 1
y
x := 1
\end{axiom}

And this causes an error
\begin{axiom}
x == 1
x
\end{axiom}

Submitted by : (unknown) at: 2007-11-17T21:52:08-08:00 (17 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)
LatexWiki Image(1)
Type: UnivariatePolynomial?(x,Fraction Integer)
axiom
1 x
LatexWiki Image(2)
Type: UnivariatePolynomial?(x,Integer)

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

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