[Axiom-developer] [#156 Axiom crashes when compiling simple Taylor code]

[kratt6]

Changes 
http://page.axiom-developer.org/zope/mathaction/156AxiomCrashesWhenCompilingSimpleTaylorCode/diff
--

??changed:
-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::
-
-  u := operator 'u;
-  multidiff(op, variable, count) == 
-    if count > 0 then
-      D(multidiff(op, variable, count-1), variable)
-    else
-      op
-  
-  maketaylor(op) ==
-    series( n +-> multidiff(op, x, n), x=0)
-
-  make_taylor(u(x))
-
-From unknown Thu May 12 09:27:51 -0500 2005
-From: unknown
-Date: Thu, 12 May 2005 09:27:51 -0500
-Subject: Oops, reformatted
-Message-ID: <address@hidden>
-[1 more lines...]
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

??changed:
-multidiff(op, variable, count) == 

multidiff(expr, variable, count) == 

??changed:
-    D(multidiff(op, variable, count-1), variable)
    D(multidiff(expr, variable, count-1), variable)

??changed:
-    op
-  
-maketaylor(op) ==
-  series( n +-> multidiff(op, x, n), x=0)
    expr
  
maketaylor(expr) ==
  series( n +-> multidiff(expr, x, n), x=0)

??changed:
-Can't runn this one::
Can't run this one::

++added:
In fact, 'series' doesn't work as soon as it is wrapped in a function, no 
matter whether declared or not. While

\begin{axiom}
 series( (n:INT):EXPR INT +-> a^n, x=0)$GenerateUnivariatePowerSeries(INT, EXPR 
INT)
\end{axiom}

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}

--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden