cache_manager.h File Reference

#include <polybori.h>
#include "BooleSet.h"
#include "BoolePolyRing.h"
#include "BooleEnv.h"
#include "BoolePolynomial.h"
#include "BooleMonomial.h"
#include "BooleVariable.h"
#include "BooleExponent.h"
#include "PBoRiError.h"
#include "PBoRiGenericError.h"
#include "CGenericIter.h"
#include "CExpIter.h"
#include "pbori_algorithms.h"
#include <algorithm>
#include <utility>
#include <iostream>
#include <boost/shared_ptr.hpp>
#include <polybori.h>
#include <boost/integer.hpp>

Go to the source code of this file.

Classes
class	polybori::groebner::CacheManager
Namespaces
namespace	polybori
namespace	polybori::groebner
Functions
template<class idx_type1 , class idx_type2 >
void	polybori::groebner::set_up_translation_vectors (std::vector< idx_type1 > &ring_2_0123, std::vector< idx_type2 > &back_2_ring, const Exponent &used_variables)
Polynomial	polybori::groebner::translate_indices (const Polynomial &p, const std::vector< idx_type > &table)