[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] Re: Function returning UnivariateTaylorSeries
From: |
Marcus Better |
Subject: |
[Axiom-developer] Re: Function returning UnivariateTaylorSeries |
Date: |
Tue, 30 Nov 2004 15:18:29 +0100 |
User-agent: |
Mozilla Thunderbird 0.8 (X11/20040926) |
(Martin: My remark about Zero()$K was incorrect.)
A(nother) workaround is to have the function return Any:
-----------------------------------------------------------------
)abbrev package FOO Foo
Foo(K,z): Exports == Implementation where
K : Ring
z : Symbol
Exports ==> with
bar: () -> Any
Implementation ==> add
bar ==
st := generate(const(1)$MappingPackage2(K, K), 0)$Stream(K)
ans := series(st)$UnivariateTaylorSeries(K,z,0)
coerce(ans)$AnyFunctions1(UnivariateTaylorSeries(K,z,0))
-----------------------------------------------------------------
--
-----------------------------------------------------------------
Marcus Better
Department of Mathematics Tel. +46 8 164539
Stockholm University Fax +46 8 6126717
SE-106 91 Stockholm
Sweden http://www.math.su.se
-----------------------------------------------------------------