/* cubic
Auxillary stuff for solving cubic
Alan Bundy 13.8.80
use with powerful matcher */



collax(U , cos(U)^3 + (-1)*3*(4^(-1))*cos(U), 4^(-1)*cos(3*U) ).


solve(Ans) :- try_hard_to_solve(z^3 + 3*h*z + g = 0 , z , Ans).
