added a code for checking admissible values for some trig eqs

Now we can solve equations of the form f(x) * g(x) * ... * h(x) = 0 and f(x) / g(x) = 0,
where factors contains trigonometric functions. We leave only admissible roots. And we write how we do this checking. 
Also I added tests for these types of equations.