[Axiom-developer] Re: Function returning UnivariateTaylorSeries

[Marcus Better]

(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
-----------------------------------------------------------------