Martin Rubey wrote:
>
> Waldek Hebisch <[EMAIL PROTECTED]> writes:
>
> > In SparseMultivariateTaylorSeries we have:
> >
> > ++ This domain provides multivariate Taylor series with variables
> > ++ from an arbitrary ordered set. A Taylor series is represented
> > ++ by a stream of polynomials from the polynomial domain SMP.
> > ++ The nth element of the stream is a form of degree n. SMTS is an
> > ^^^^^^^^^^^ ^^^^^^^^
> > ++ internal domain.
> >
> > Now, I did not check which map you use, but my guess is that it
> > maps nth term of source series to nth term of target sequence.
> > However coefficient lowers degree -- that is why I suspect that
> > this implementation breaks invariant.
>
> Oh, very good catch... Unfortunately, I have no idea how to cure this. Do
> you
> have an idea? do you think lazyEvaluate from Stream might help?
>
coefficient lowers total degree by a constant, so it should be
enough to shift Stream.
--
Waldek Hebisch
[EMAIL PROTECTED]
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en
-~----------~----~----~----~------~----~------~--~---
