Bill Page wrote:
>
> I do not understand the result below. Why does 'typeOf' return 'Any'?
>
> (1) -> ts:=taylor(sin(1/x),x=1)
>
> (1)
> - sin(1) + 2cos(1) 2
> sin(1) - cos(1)(x - 1) + ------------------ (x - 1)
> 2
> +
> 6sin(1) - 5cos(1) 3 - 35sin(1) + 12cos(1) 4
> ----------------- (x - 1) + --------------------- (x - 1)
> 6 24
> +
> 220sin(1) - cos(1) 5 - 1501sin(1) - 450cos(1) 6
> ------------------ (x - 1) + ------------------------ (x - 1)
> 120 720
> +
> 10962sin(1) + 6931cos(1) 7 - 83495sin(1) - 89096cos(1) 8
> ------------------------ (x - 1) + --------------------------- (x - 1)
> 5040 40320
> +
> 632952sin(1) + 1120895cos(1) 9
> ---------------------------- (x - 1)
> 362880
> +
> - 4260601sin(1) - 14394150cos(1) 10 11
> -------------------------------- (x - 1) + O((x - 1) )
> 3628800
> Type: UnivariateTaylorSeries(Expression(Integer),x,1)
> (2) -> typeOf(ts)
>
> (2) Any
> Type: Type
Because that is correct type. Compare:
(2) -> 1::Any
(2) 1
Type: PositiveInteger
(3) -> )boot $printAnyIfTrue
|$printAnyIfTrue|
Value = T
(3) -> )boot $printAnyIfTrue := false
(EVAL-WHEN (EVAL LOAD) (SETQ |$printAnyIfTrue| NIL))
Value = NIL
(3) -> 1::Any
(3) 1
Type: Any
--
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.
