I try to solve the general solutions of sin(x^2)=1/2. And then I would like to check the solution,but failed. How to do?
s:=solve(sin(x^2)=1/2,allsolutions);
about(_Z1); #Originally _Z1, renamed _Z1~: is assumed to be: integer
about(_B1); #Originally _B1, renamed _B1~: is assumed to be: OrProp(0,1)
test:=simplify(subs(x=s[1],sin(x^2)))
about(_Z1); #Originally _Z1, renamed _Z1~: is assumed to be: integer
about(_B1); #Originally _B1, renamed _B1~: is assumed to be: OrProp(0,1)
test:=simplify(subs(x=s[1],sin(x^2)))
it sholud be 1/2. Thanks!