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.
