OK on second thought I guess I agree that it is only safe to simplify sin(arcsin(z)) to z
for all z (including complex z) but it in general it is wrong to simplify arcsin(sin(z)) to z since z is only one of the possible branches. On 25 September 2014 20:25, Bill Page <[email protected]> wrote: > Although I agree that such auto-simplification would hide what is > happening in normalize but otherwise why do you say that it is undesirable? > > > On 25 September 2014 20:16, Waldek Hebisch <[email protected]> > wrote: > >> kfp wrote: >> > >> > BTW OpenAxiom gives a correct answer. >> >> Well, old version of FriCAS did: >> >> (3) -> asin(sin(x)) >> >> (3) x >> Type: >> Expression(Integer) >> >> But this simplification is undesirable outside of 'normalize' >> and is no longer applied by default. >> >> >> >> >> -- >> Waldek Hebisch >> [email protected] >> >> -- >> 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 http://groups.google.com/group/fricas-devel. >> For more options, visit https://groups.google.com/d/optout. >> > > -- 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 http://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
