I have a simple code,
sage: theta=var('theta');
sage: assume(theta,'real');
sage: M=matrix([[1,0],[cos(theta),-i*sin(theta)]])/sqrt(2);
sage: show(M)
sage: cp = characteristic_polynomial((M.conjugate_transpose())*M)
sage: show(cp)
When I type cp.[TAB], I get no options to .simplify() the expression, neither to solve it, and typing this "solve(cp,x)" gives an error. What is the problem?