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

 Submitted by : (unknown) at: 2007-11-17T22:23:33-08:00 (15 years ago) Name : Axiom Version : default friCAS-20090114 Axiom-20050901 OpenAxiom-20091012 OpenAxiom-20110220 OpenAxiom-Release-141 Category : Axiom Aldor Interface Axiom Compiler Axiom Library Axiom Interpreter Axiom Documentation Axiom User Interface building Axiom from source lisp system MathAction Doyen CD Reduce Axiom on Windows Axiom on Linux Severity : critical serious normal minor wishlist Status : open closed rejected not reproducible fix proposed fixed somewhere duplicate need more info Optional subject :   Optional comment :

fricas
a := operator 'a
 (1)
Type: BasicOperator?
fricas
seriesSolve((2*x-2)*D(a(x),x)+4*a(x),a,x=0,[1])
fricas
Compiling function %D with type List(UnivariateTaylorSeries(
Expression(Integer),x,0)) -> UnivariateTaylorSeries(Expression(
Integer),x,0)
 (2)
Type: UnivariateTaylorSeries?(Expression(Integer),x,0)

does not work. A workaround within the interpreter is to provide a function like:

  fixedPointExquo(s, p) == fixedPointExquo(s, p::UTS(EXPR INT, x, 0))$UTSODE(EXPR INT,UTS(EXPR INT, x, 0))  but that won't work in spad. fricas a := operator 'a  (3) Type: BasicOperator? fricas fixedPointExquo(s, p) == fixedPointExquo(s, p::UTS(EXPR INT, x, 0))$UTSODE(EXPR INT,UTS(EXPR INT, x, 0))
Type: Void
fricas
p := seriesSolve((2*x-2)*D(a(x),x)+4*a(x),a,x=0,[1])
fricas
Compiling function %H with type List(UnivariateTaylorSeries(
Expression(Integer),x,0)) -> UnivariateTaylorSeries(Expression(
Integer),x,0)
 (4)
Type: UnivariateTaylorSeries?(Expression(Integer),x,0)
fricas
(2*x-2)*D(p,x)+4*p
 (5)
Type: UnivariateTaylorSeries?(Expression(Integer),x,0)

Looks like the case of two different x's again.

I have a better fix, but I'm still not happy. And seriesSolve still crashes quite often...

I'll send it per mail,

Martin

Why isn't UnivariateTaylorSeriesODESolver? exposed? --Bill Page, Tue, 21 Oct 2008 18:50:10 -0700 reply
UnivariateTaylorSeriesODESolver? is part of the Hidden group in exposed.lsp.pamphlet. Exposing this package prevents the error:
fricas
)clear completely
All user variables and function definitions have been cleared.
All )browse facility databases have been cleared.
Internally cached functions and constructors have been cleared.
)clear completely is finished.
fricas
)expose UnivariateTaylorSeriesODESolver
UnivariateTaylorSeriesODESolver is now explicitly exposed in frame
initial

fricas
a := operator 'a
 (6)
Type: BasicOperator?
fricas
seriesSolve((2*x-2)*D(a(x),x)+4*a(x),a,x=0,[1])
fricas
Compiling function %D with type List(UnivariateTaylorSeries(
Expression(Integer),x,0)) -> UnivariateTaylorSeries(Expression(
Integer),x,0)
 (7)
Type: UnivariateTaylorSeries?(Expression(Integer),x,0)

fixed in FriCAS revision 423 --kratt6, Tue, 13 Jan 2009 02:05:24 -0800 reply
Status: open => fixed somewhere

Patch From Fricas --japp, Wed, 04 Feb 2009 17:16:40 -0800 reply
http://fricas.svn.sourceforge.net/viewvc/fricas?view=rev&revision=423

Status: fixed somewhere => fix proposed

 Subject:   Be Bold !! ( 15 subscribers )