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

Submitted by : (unknown) at: 2007-11-17T21:52:08-08:00 (9 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)
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




  Subject:   Be Bold !!
  ( 13 subscribers )  
Please rate this page: