But
(1) -> ts:UnivariateTaylorSeries(Expression(Integer),x,0)
Type: Void
(2) -> ts:=1
(2) 1
Type: UnivariateTaylorSeries(Expression(Integer),x,0)
(3) -> typeOf(ts)
(3) UnivariateTaylorSeries(Expression(Integer),x,0)
Type: Type
(4) -> ts:= taylor(sin x, x=0)$EXPR2UPS(INT, EXPR INT)
1 3 1 5 1 7 1 9 11
(4) x - - x + --- x - ---- x + ------ x + O(x )
6 120 5040 362880
Type: UnivariateTaylorSeries(Expression(Integer),x,0)
(5) -> typeOf(ts)
(5) UnivariateTaylorSeries(Expression(Integer),x,0)
Type: Type
On 18 August 2016 at 16:36, 'Martin R' via FriCAS - computer algebra
system <[email protected]> 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...
>
> Martin
--
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.
