On Mon, Feb 22, 2021 at 06:38:49PM +0100, Ralf Hemmecke wrote:
> Hello,
>
> I wrote some code that relies on univariate taylor series in q.
> Since it was cumbersome to always carry the variable name 'q and the
> center of expansion 0 in the type, I created a kind of wrapper domain.
> (See attachement for something that demonstrates my problem.)
>
> My wrapper domain actually works nicely as long as I do not want to make
> a connection back and forth to UnivariateTaylorSeries.
>
> My question is how can I coerce an element of QEtaTaylorSeries(Q) to an
> element of UnivariateTaylorSeries(Q, 'q, 0$Q) and/or the other way round?
>
> I simply cannot find the error in the implementation.
>
> I am sure it has something to do with non-type-valued arguments, but how
> can I make this code work nicely without tricks?
Fix interpreter and compiler? At compiler level this is confusion
between 0 and '(Zero)'. The second is needed to get proper
evaluation, the first appears in types. Spad compiler prints offending
types so one can see what the problem is.
Interpreter has some extra problem.
--
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 view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/20210226144924.GA26976%40math.uni.wroc.pl.
