I wrote:
>
> Ralf Hemmecke wrote:
> >
> > > We could add 'coefficients' and 'series' function to SMTS.
> >
> > You probably mean by 'series' what I denoted by 'smts'. Yes, I would be
> > in favour of such 'series' construction.
>
> I used name 'series' because it is what univariate domains use. This
> would be an easy addition.
Attached is a patch adding them to SMTS.
--
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.
--- ../ax-build140/src/algebra/SMTS.spad 2014-11-28 11:08:17.000000000
-0500
+++ SMTS.spad 2014-11-30 16:16:24.000000000 -0500
@@ -37,6 +37,11 @@
Exports ==> MultivariateTaylorSeriesCategory(Coef, Var) with
coefficient : (%, NNI) -> SMP
++ \spad{coefficient(s, n)} gives the terms of total degree n.
+ coefficients : % -> StS
+ ++ \spad{coefficients(s)} gives stream of coefficients of s.
+ series : StS -> %
+ ++ \spad{series(st)} creates a sereis from a stream of
+ ++ coefficients.
coerce : Var -> %
++ \spad{coerce(var)} converts a variable to a Taylor series
coerce : SMP -> %
@@ -64,6 +69,10 @@
Rep := StS
+ coefficients(s : %) : StS == s::Rep
+
+ series(st : StS) : % == st
+
extend(x, n) == extend(x, n + 1)$Rep
complete x == complete(x)$Rep
--
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.
