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



match(Trans) :- match(z^3 + 3*h*z + g ,
        (V^3)^(-1)*U^3 + (-3)*4^(-1)*V^(-1)*U , Trans).

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

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