First time here? Check out the FAQ!
answered 2020-07-05 23:00:12 +0100
You could try
var('t') solve(cos(2*t)==sin(t),t,to_poly_solve='force')
which gives [t == -1/2*pi - 2*pi*z24, t == 1/6*pi + 2/3*pi*z25]
[t == -1/2*pi - 2*pi*z24, t == 1/6*pi + 2/3*pi*z25]
Z's are integers.