Version of Aug. 8, 1996


                     This is rabbit, a small Maple package

                            accompanying the paper

          "A condensed condensation proof of a determinant evaluation

                  conjectured by Greg Kuperberg and Jim Propp"

                  by Tewodros Amdeberhan and Shalosh B. Ekhad


                The most current version is available on WWW at:

                       http://www.math.temple.edu/~ekhad .


                The paper itself is also available there, or at

                     http://www.math.temple.edu/~tewodros .

             Please report all bugs to: zeilberg@math.temple.edu .

         All bugs or other comments used will be acknowledged in future

                                   versions.


            For general help, and a list of the available functions,

         type "ezra();". For specific help type "ezra(procedure_name)"




              The output of "Lewis" for the proposed expression in

                "A q-generalization of a determinant conjectured

                         by Kuperberg and Propp",  is:


             (R(m-1,a,b)*R(m-1,a+1,b+1))/R(m,a,b)/R(m-2,a+1,b+1) =

                     (m + 1 + a + b) (m - 2 n + a + b - 1)
                     -------------------------------------
                               (- 2 n + m - 2) m

                                      and

             (R(m-1,a+1,b)*R(m-1,a,b+1))/R(m,a,b)/R(m-2,a+1,b+1) =

                      (a + 1 + b) (a + b - 2 n + 2 m - 1)
                      -----------------------------------
                               (- 2 n + m - 2) m



                             the q-analogues being

                    (2 n - m + 1 - a - b)        (m + 1 + a + b)
              (1 - q                     ) (1 - q               )
              ---------------------------------------------------
                               (2 n - m + 2)        m
                         (1 - q             ) (1 - q )

                                      and

                    (a + 1 + b)        (2 n - 2 m + 1 - a - b)   m
              (1 - q           ) (1 - q                       ) q
              ----------------------------------------------------
                                (2 n - m + 2)        m
                          (1 - q             ) (1 - q )



                               the difference is:

                      m    (m + 2 n + 2)    (2 m)    (2 n + 2)
                   - q  - q              + q      + q
                 - -------------------------------------------
                              m    (2 n + 2)          m
                          (- q  + q         ) (- 1 + q )

                                this reduces to

                                       1