|
|
|
last edited 9 years ago by test1 |
Edit detail for #156 Axiom crashes when compiling simple Taylor code revision 2 of 4
| 1 2 3 4 | ||
|
Editor: kratt6
Time: 2007/12/20 02:31:05 GMT-8 |
||
| Note: | ||
added:
From kratt6 Thu Dec 20 02:31:05 -0800 2007
From: kratt6
Date: Thu, 20 Dec 2007 02:31:05 -0800
Subject:
Message-ID: <20071220023105-0800@axiom-wiki.newsynthesis.org>
Category: Axiom Compiler => Axiom Interpreter
Status: open => fix proposed
When trying this code (that is probably buggy on some level), axiom simply crashes on me without any comment. I'm using the Debian (Ubuntu) build of 20050201
axiom
u := operator 'u;
Type: BasicOperator?
axiom
multidiff(expr,variable, count) == if count > 0 then D(multidiff(expr, variable, count-1), variable) else expr
Type: Void
axiom
maketaylor(expr) == series( n +-> multidiff(expr,x, n), x=0)
Type: Void
Can't run this one:
\begin{axiom}
make_taylor(u(x))
\end{axiom}
In fact, series doesn't work as soon as it is wrapped in a function, no matter whether declared or not. While
axiom
series( (n:INT):EXPR INT +-> a^n,x=0)$GenerateUnivariatePowerSeries(INT, EXPR INT)
![\label{eq1}\begin{array}{@{}l}
\displaystyle
1 +{a \ x}+{{a^2}\ {x^2}}+{{a^3}\ {x^3}}+{{a^4}\ {x^4}}+{{a^5}\ {x^5}}+{{a^6}\ {x^6}}+{{a^7}\ {x^7}}+
\
\
\displaystyle
{{a^8}\ {x^8}}+{{a^9}\ {x^9}}+{{a^{10}}\ {x^{10}}}+{O \left({x^{11}}\right)}](images/2724425553884569915-16.0px.png "\label{eq1}\begin{array}{@{}l}
\displaystyle
1 +{a \ x}+{{a^2}\ {x^2}}+{{a^3}\ {x^3}}+{{a^4}\ {x^4}}+{{a^5}\ {x^5}}+{{a^6}\ {x^6}}+{{a^7}\ {x^7}}+
\
\
\displaystyle
{{a^8}\ {x^8}}+{{a^9}\ {x^9}}+{{a^{10}}\ {x^{10}}}+{O \left({x^{11}}\right)}") | (1) |
works alright, the following fails:
\begin{axiom}
maketaylor(x:Symbol):ANY == series( (n:INT):EXPR INT +-> a^n, x=0)$GenerateUnivariatePowerSeries(INT, EXPR INT)
\end{axiom}
Works probably with patch from bug #136 --unknown, Thu, 12 May 2005 10:53:18 -0500 reply
Axiom doesn't crash with this patch.
Cheers
Sorry, this code works with or without this patch if you compile the functions:)set function compile on
But
axiom
maketaylor(x:Symbol):UnivariateTaylorSeries(Expression Integer,x, 0) == aa:=series( (n:INT):EXPR INT +-> a^n, x=0)$GenerateUnivariatePowerSeries(INT, EXPR INT) aa::UnivariateTaylorSeries(Expression Integer, x, 0)
Function declaration maketaylor : Symbol -> UnivariateTaylorSeries( Expression(Integer),x, 0) has been added to workspace. 1 old definition(s) deleted for function or rule maketaylor
Type: Void
axiom
maketaylor(x)
Cannot compile conversion for types involving local variables. In particular,could not compile the expression involving :: UnivariateTaylorSeries(Expression(Integer), #1, 0) FriCAS will attempt to step through and interpret the code.
axiom
Compiling function maketaylor with type Symbol ->
UnivariateTaylorSeries(Expression(Integer),![\label{eq2}\begin{array}{@{}l}
\displaystyle
1 +{a \ x}+{{a^2}\ {x^2}}+{{a^3}\ {x^3}}+{{a^4}\ {x^4}}+{{a^5}\ {x^5}}+{{a^6}\ {x^6}}+{{a^7}\ {x^7}}+
\
\
\displaystyle
{{a^8}\ {x^8}}+{{a^9}\ {x^9}}+{{a^{10}}\ {x^{10}}}+{O \left({x^{11}}\right)}](images/1477201461689216558-16.0px.png "\label{eq2}\begin{array}{@{}l}
\displaystyle
1 +{a \ x}+{{a^2}\ {x^2}}+{{a^3}\ {x^3}}+{{a^4}\ {x^4}}+{{a^5}\ {x^5}}+{{a^6}\ {x^6}}+{{a^7}\ {x^7}}+
\
\
\displaystyle
{{a^8}\ {x^8}}+{{a^9}\ {x^9}}+{{a^{10}}\ {x^{10}}}+{O \left({x^{11}}\right)}") | (2) |
Cheers
Category: Axiom Compiler => Axiom Interpreter Status: open => fix proposed