I am a beginner and I am reading the page Basic Algebra and Calculus of the Tutorial where there is the following example
theta = var('theta')
solve(cos(theta)==sin(theta), theta)
and there is no solution, but a human being and other systems, like Mathematica, are able to solve this simple equation. So I suppose there is a way to solve it with Sage. Can you show me how?