#ifndef STAN_MATH_PRIM_MAT_FUN_QUAD_FORM_HPP
#define STAN_MATH_PRIM_MAT_FUN_QUAD_FORM_HPP

#include <boost/utility/enable_if.hpp>
#include <boost/type_traits.hpp>
#include <stan/math/prim/mat/fun/Eigen.hpp>
#include <stan/math/prim/mat/err/check_multiplicable.hpp>
#include <stan/math/prim/mat/err/check_square.hpp>
#include <stan/math/prim/mat/err/check_symmetric.hpp>
#include <stan/math/prim/mat/fun/dot_product.hpp>
#include <stan/math/prim/mat/fun/multiply.hpp>
#include <stan/math/prim/mat/fun/transpose.hpp>

namespace stan {
  namespace math {
    /**
     * Compute B^T A B
     **/
    template<int RA, int CA, int RB, int CB, typename T>
    inline Eigen::Matrix<T, CB, CB>
    quad_form(const Eigen::Matrix<T, RA, CA>& A,
              const Eigen::Matrix<T, RB, CB>& B) {
      check_square("quad_form", "A", A);
      check_multiplicable("quad_form", "A", A, "B", B);
      return multiply(transpose(B), multiply(A, B));
    }

    template<int RA, int CA, int RB, typename T>
    inline T
    quad_form(const Eigen::Matrix<T, RA, CA>& A,
              const Eigen::Matrix<T, RB, 1>& B) {
      check_square("quad_form", "A", A);
      check_multiplicable("quad_form", "A", A, "B", B);
      return dot_product(B, multiply(A, B));
    }

  }
}

#endif

