Waldek, What you wrote is clear.
> 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 > In fact you can just write: (3) -> )set message any on/off But how does it related to what I wrote below? Why does (2) -> typeOf(ts) return Any? I expected that it should return "UnivariateTaylorSeries ...". On 18 August 2016 at 16:19, Waldek Hebisch <[email protected]> wrote: > 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 -- 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.
