I was reading the manual for Maple 13 and playing with some commands.

There is an equation: sin(x)=cos(x) and you can solve it by the solve command.

If you want all solutions, you just put there AllSolutions attribute and you get




I wonder why there is a tilde (~) behind "_Z1", because each integer satisfies

the equation (there is no need for an assumption).


I tried to use RealDomain package as well. But then the "AllSolutions case"

returns no solution. Why is this happening? It is not supported for RealDomain?


Thanks for every suggestion,


Please Wait...