thanks, not very satisfying, however Am 01.11.2011 um 16:59 schrieb Ralf Hemmecke:
> The only thing I can do is the following. > > (1) -> x := 2*sqrt(%pi)/(sqrt(2)*sqrt(2*%pi)) > > +---+ > 2\|%pi > (1) ----------- > +-+ +----+ > \|2 \|2%pi > Type: Expression(Integer) > (2) -> x^2 > > (2) 1 > Type: Expression(Integer) > > > The documentation says (from RADCAT): > > sqrt(x) returns the square root of x. The branch cut lies along the negative > real axis, continuous with quadrant II. > > > It's nowhere written whether sqrt(2) is positive or negative. If it is > negative, then you probably see the consequences in your expression above. > > Unfortunately, I don't know how to convince FriCAS to assume sqrt(x)>=0. > > Ralf > > -- > You received this message because you are subscribed to the Google Groups > "FriCAS - computer algebra system" group. > To post to this group, send email to [email protected]. > To unsubscribe from this group, send email to > [email protected]. > For more options, visit this group at > http://groups.google.com/group/fricas-devel?hl=en. > Mit freundlichen Grüßen Johannes Grabmeier Prof. Dr. Johannes Grabmeier Köckstraße 1, D-94469 Deggendorf Tel. +49-(0)-991-2979584, Tel. +49-(0)-171-5503789 Tel. +49-(0)-991-3615-100 (d), Fax: +49-(0)-1803-5518-17745 -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en.
