So, yes the actual type of ts is Any but do you mean that with
)set message any on
the interpreter hacks somehow manage to display the "domainOf" ts but
that the operation 'domainOf' exported by Any fails to properly
interpret the parameter value?
(1) -> ts := taylor(x, x=1)
(1) 1 + (x - 1)
Type: UnivariateTaylorSeries(Expression(Integer),x,1)
(2) -> domainOf(ts)
(2) UnivariateTaylorSeries(Expression(Integer()),x,0()(0))
Type: OutputForm
(3) -> dom(ts)
(3) (UnivariateTaylorSeries (Expression (Integer)) x ((0 . 1) 0 . 1))
Type: SExpression
On 18 August 2016 at 16:54, Waldek Hebisch <[email protected]> wrote:
> 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.
>
--
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.
