Goal:  Provide BCH formulas and a way to check them.
====

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

Files in this directory:
=======================

  Mathematica Codes:
  -----------------

     expXexpY        ---  Define the first nine c's of BCH formulas which
                          write exp(X)*exp(Y) into a single exponential.

     expXexpYexpX    ---  Define the first nine c's of BCH formulas which
                          write exp(X)*exp(Y)*exp(X) into a single exponential.
                          (Note c's with even index are identitically zero.)

     CkexpXexpY      ---  Testing the correctness of the formulas 
                          in expXexpY.

     CkexpXexpYexpX  ---  Testing the correctness of the formulas 
                          in expXexpYexpX.

To Load BCH formulas into Mathematica:    In Mathematica, type 
=====================================

     <<expXexpY                  or             <<expXexpYexpX

To Check:  In Mathematica, type <<CkexpXexpY     or   <<CkexpXexpYexpX
========


Warning: Checking may take unbearably long time to finish.
=======  
