Ralf Hemmecke wrote:
>
> I've added the section
>
> "Multivariate Taylor series with unknown coefficients"
>
> to http://axiom-wiki.newsynthesis.org/TaylorSeries .
>
> Does someone know a way without "pretend"?
I think that currently MultivariateTaylorSeriesCategory is
deliberatly incomplete. Namely in practice one needs some
term ordering and for mutivariate series there is no single
distinguished order. AFAICS it is possible to use recursive
definition (based on univariate series) and implenent all
exports of MTSCAT. Such implementation would be quite different
than SparseMultivariateTaylorSeries.
We could add 'coefficients' and 'series' function to
SMTS. With them it is possible to define various
interesting operations. Or maybe have 'addiag' defined
on series level.
--
Waldek Hebisch
[email protected]
--
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 http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
