Martin R wrote:
> I think that Bill was asking why Any is the return type of taylor(sin x,
> x=0)$EXPR2UPS(INT, EXPR INT).
>
> If I remember correctly, the reason is that fricas does not have dependent
> types: the type of taylor(sin x, x=0) depends on the symbol x and the
> center 0...
I am affraid that the answer is: becase interperter works that
way. More precisely, in general interpreter can not infer
parameters for types. But it contains hacks handling a lot
of common cases. And the hacks work for EXPR2UPS(INT, EXPR INT),
but (almost surely) would fail for FS2UPS.
--
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.
