(*                         Ren-Cang Li, June 1, 1996
                           na.rcli@na-net.ornl.gov    *)

Print["Load BCH Formula"];
<<expXexpYexpX;

Print["Compute All Terms"];
<<CompCoeff;

(* More Rules *)
Cmt[Cmt[X[1],Cmt[X[1],X[3]]],z_Cmt]:=Expand[
    -Cmt[Cmt[Cmt[X[1],X[3]],z],X[1]]-Cmt[Cmt[z,X[1]],Cmt[X[1],X[3]]] ];

Cmt[z_Cmt,Cmt[X[1],Cmt[X[1],X[3]]]]:=Expand[
    -Cmt[X[1],Cmt[Cmt[X[1],X[3]],z]]-Cmt[Cmt[X[1],X[3]],Cmt[z,X[1]]] ];

Print["Compute and Dump coefficients"]
<<DumpCoeff;
