OOps:

      Matrix // GroebnerBasis -- factor a map through another
      *******************************************************

      Synopsis
      ========

        * Usage:f//gg\\f
        * Operator: "//"
