[Axiom-mail] Function returning UnivariateTaylorSeries

[Marcus Better]

Hello,

I am trying to create a function (in a spad package) that will compute 
some coefficients and assemble them into a Taylor series, which it will 
return. I run into some strange errors. I simplified the code as much as 
possible, so that it looks like this:

--------------------------------------------
)abbrev package FOO Foo
Foo(K,z): Exports == Implementation where
  K : Ring
  z : Symbol

  Exports ==> with
    bar: () -> UnivariateTaylorSeries(K,z,0)

  Implementation ==> add
    bar ==
      st := generate(const(1)$MappingPackage2(K, K), 0)$Stream(K)
      series(st)$UnivariateTaylorSeries(K,z,0)
-------------------------------------------

This will work when called as

  bar()$Foo(INT, new()$Symbol)

but writing instead

  bar()$Foo(POLY INT, new()$Symbol)

gives me

   >> System error:
   Caught fatal error [memory may be damaged]

The same goes for FRAC INT instead of POLY INT. Moreover, doing

  bar$Foo(INT, new()$Symbol)

returns

  theMap(FOO;bar;Uts;1,312)

as it should, but

  bar$Foo(FRAC INT, new()$Symbol)

gives the "Caught fatal error" message again.

(In my real code I need other types than INT, of course.)

I don't have a clue how to solve this. In particular, I would like to 
pass the z argument directly to the function, but that did not succeed 
so far.

I use axiom-0.20040831-1 on Debian Sarge i386.

Marcus