#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) |