libalgebra-demo/libalgebra/libalgebra.h

/* *************************************************************

Copyright 2010 Terry Lyons, Stephen Buckley, Djalil Chafai, 
Greg Gyurkó and Arend Janssen. 

Distributed under the terms of the GNU General Public License, 
Version 3. (See accompanying file License.txt)

************************************************************* */




//  libalgebra.h 


// Include once wrapper
#ifndef DJC_COROPA_LIBALGEBRAH_SEEN
#define DJC_COROPA_LIBALGEBRAH_SEEN

#include <iostream>
#include <sstream>
#include <string>
#include <deque>
#include <vector>
#include <map>
#include <utility>
#include <algorithm>
#include <cmath>
#include "implimentation_types.h"
#include <stdlib.h>
#include <cassert>
#include <boost/thread/shared_mutex.hpp>
#include <boost/thread/recursive_mutex.hpp>
#include <boost/thread/locks.hpp>


namespace alg
{

// Some useful macros to avoid similar codes.

#define __DECLARE_BINARY_OPERATOR(T1, NEWOP, OLDOP, T2) \
        T1 operator NEWOP(const T2& rhs) const \
        { T1 result(*this); return result OLDOP rhs; }

#define __DECLARE_UNARY_OPERATOR(NEWT, NEWOP, OLDOP, OLDT) \
        NEWT operator NEWOP(void) const \
        { return OLDT::operator OLDOP (); }

//  End of macros.


template<class BASIS, class MAP = typename BASIS::MAP>
class sparse_vector;
template<class BASIS>
class algebra;
template<typename SCA, DEG n_letters, DEG max_degree = 0>
class tensor_basis;
template<typename SCA, typename RAT,
                 DEG n_letters, DEG max_degree = 0>
class free_tensor_basis;
template<typename SCA, typename RAT,
                 DEG n_letters, DEG max_degree = 0>
class shuffle_tensor_basis;
template<typename SCA, typename RAT,
                 DEG n_letters, DEG max_degree = 0>
class free_tensor;
template<typename SCA, typename RAT,
                 DEG n_letters, DEG max_degree = 0>
class shuffle_tensor;
class hall_basis;
template<typename SCA, typename RAT,
                 DEG n_letters, DEG max_degree = 0>
class lie_basis;
template<typename SCA, typename RAT,
                 DEG n_letters, DEG max_degree = 0>
class lie;
template<typename SCA, typename RAT,
                 DEG n_letters, DEG max_degree = 0>
class maps;
template<typename SCA, typename RAT,
                 DEG n_letters, DEG max_degree>
class cbh;
template<typename SCA, typename RAT>
class poly_basis;
template<typename SCA, typename RAT>
class poly;


template<typename SCA, DEG n_letters, DEG max_degree = 0>
class monomial_basis;
template<typename SCA, typename RAT, DEG n_letters, DEG max_degree = 0>
class free_monomial_basis;
template<typename SCA, typename RAT, DEG n_letters, DEG max_degree = 0>
class multi_polynomial;


template<typename SCA, typename RAT, DEG n_letters, DEG max_degree = 0>
class poly_lie_basis;

template<typename SCA, typename RAT, DEG n_letters, DEG max_degree = 0>
class poly_lie;

#include "sparse_vector.h"
#include "algebra.h"
#include "tensor_basis.h"
#include "tensor.h"
#include "lie_basis.h"
#include "lie.h"
#include "utils.h"
#include "poly_basis.h"
#include "polynomials.h"
#include "monomial_basis.h"
#include "multi_polynomial.h"
#include "poly_lie_basis.h"
#include "poly_lie.h"

// Undeclaring local macros in reverse order of declaration.
#undef __DECLARE_UNARY_OPERATOR
#undef __DECLARE_BINARY_OPERATOR
// End of undeclaration of local macros.

} // namespace alg


// Include once wrapper
#endif // DJC_COROPA_LIBALGEBRAH_SEEN

//EOF.