MathAction #107 Interpreter code generation failed for expression1



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

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

It is sometimes useful to define x as a Symbol

fricas
(1) -> x:Symbol
Type: Void
fricas
integrate(x)
Type: UnivariatePolynomial(x,Fraction(Integer))
fricas
1 x
Type: UnivariatePolynomial(x,Integer)

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

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




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

AltStyle によって変換されたページ (->オリジナル) /