Thanks for the detailed answer. I realize that FriCAS is not able to find a matching signature of series or coerce the arguments into something that works. But it appears strange to me, since this is the case even with type annotations for all arguments.
I found that just coercing my full expression into a Puiseux series works. For example: > log(sqrt(t+1.0))*sqrt(t) + 1/t :: UnivariatePuiseuxSeries(Expression(Float),t,0.0) gives the answer. What puzzles me is that in the same way I would have expected that > series(log(sqrt(t+1.0))*sqrt(t) + 1/t, t=0.0) :: UnivariatePuiseuxSeries(Expression(Float),t,0.0) should work. When I look at https://fricas.github.io/api/ExpressionToUnivariatePowerSeries.html I see that series (or puiseux) has a signature "puiseux: (FE, Equation FE) -> Any", where FE can be FunctionSpace R and R is Comparable. Furthermore it is > Expression(Float) has FunctionSpace(Float) true so > puiseux((0.1*x) :: Expression(Float), (x=0.0) :: Equation(Expression(Float))) should have the right type signature, but ")set message bottom on" tells me: Function Selection for puiseux Arguments: (EXPR(FLOAT), EQ(EXPR(FLOAT))) -> no function puiseux found for arguments (EXPR(FLOAT), EQ(EXPR(FLOAT))) In any case the "workaround" works fine for me now and I can try to understand this issue once I'm more familiar with FriCAS. Tobias -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/CANL0awbxcjpzUfdi6dnHhhR2qqL1hMFgTcXFFgQSZPcx7ZYxig%40mail.gmail.com.
