oldk1331 wrote:
>
> > limitPlus's lim fails
>
> In lim of limitPlus, the failure is caused by "lseries := exprToGenUPS ...",
> and returned value is [func = "Si",prob = "unknown kernel"]
>
> So the problem seems to be we can't expand Si to UPS.
Actually, we can not expand 'x*cos(1/x)' to UPS. The 'exprToGenUPS'
computes generalized expansion where coefficients may be variable.
The problem is that 'exprToGenUPS' does not know about 'Si'.
And in fact principles used by 'exprToGenUPS' are somewhat ad hoc,
so we would need sound rules about what expansions we are supposed
to get and how to handle it in other part of FriCAS. There is
book by Shackell about asymptitics, describes expansions and
how to use them to compute limits.
--
Waldek Hebisch
--
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 post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
