#ifndef TEST_MATH_HPP
#define TEST_MATH_HPP



#include <boost/type_traits/is_same.hpp>
#include <boost/mpl/assert.hpp>
#include <boost/mpl/size_t.hpp>
#include <boost/mpl/prior.hpp>
#include <boost/proto/proto.hpp>

#ifndef TEST_MATH_MAX_DIMENSION
#define TEST_MATH_MAX_DIMENSION 100
#endif

#include "constants.hpp"
#include "variables.hpp"
#include "basic_functions.hpp"
#include "functions.hpp"


namespace mathtest
{

using namespace boost;


//// Valid expressions on the LHS of the = operator
struct fundef_lhs_grammar
   : proto::or_<
         // lone functions are ok
         function_constant_proto_terminal
       , proto::and_<
             // f(x,y,z,...) is ok  ...
             proto::function<
                 proto::terminal< function_tag< proto::_ > >
               , proto::vararg< proto::terminal< variable_tag< proto::_ > > >
             >
             // ... as long as the dimension of the function
             // matches the number of arguments.
           , proto::if_<
                 mpl::equal_to<
                     dimension_of< proto::_value(proto::_child0) >
                   , mpl::prior<proto::arity_of<proto::_> >
                 >()
             >
         >
     >
{};


}
#endif //TEST_MATH_HPP