We had the same thoughts but you were quicker and more concise :)
On Friday, 26 September 2014 03:15:01 UTC+2, Bill Page wrote: > > 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] > <javascript:>> 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] >> <javascript:>> 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] <javascript:> >>> >>> -- >>> 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] <javascript:>. >>> To post to this group, send email to [email protected] >>> <javascript:>. >>> 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.
