groebner_defs.h
Go to the documentation of this file.
/*
* groebner_defs.h
* PolyBoRi
*
* Created by Michael Brickenstein on 19.04.06.
* Copyright 2006 The PolyBoRi Team. See LICENSE file.
*
*/
#include <polybori.h>
#include <boost/integer.hpp>
#ifndef PBORI_GB_DEFS_H
#define PBORI_GB_DEFS_H
#ifndef PBORI_NO_NAMESPACES
#define BEGIN_NAMESPACE_PBORIGB namespace PBORINAME { namespace groebner{
#define END_NAMESPACE_PBORIGB }} // end of namespace
#define USING_NAMESPACE_PBORIGB using namespace PBORINAME::groebner;
#else
#endif
// algorithmic variants
#define EXP_FOR_PAIRS
BEGIN_NAMESPACE_PBORIGB
class GBTypes{
typedef polybori::BoolePolynomial poly_type;
typedef polybori::BooleMonomial monom_type;
};
typedef polybori::BoolePolynomial Polynomial;
typedef polybori::BooleMonomial Monomial;
typedef polybori::BooleVariable Variable;
typedef polybori::BooleExponent Exponent;
typedef std::vector<Polynomial> PolynomialVector;
#ifdef PBORI_HAVE_LONG_LONG
typedef long long wlen_type;
#else
typedef long wlen_type;
#endif
typedef long len_type;
typedef int deg_type;
typedef polybori::CTypes::idx_type idx_type;
typedef polybori::BooleSet MonomialSet;
END_NAMESPACE_PBORIGB
#endif
polybori::groebner::Variable
polybori::BooleVariable Variable
Definition: groebner_defs.h:32
polybori::BooleExponent
This class is just a wrapper for using variables for storing indices as interim data structure for Bo...
Definition: BooleExponent.h:34
polybori::groebner::Monomial
polybori::BooleMonomial Monomial
Definition: groebner_defs.h:31
polybori::groebner::Exponent
polybori::BooleExponent Exponent
Definition: groebner_defs.h:33
END_NAMESPACE_PBORIGB
#define END_NAMESPACE_PBORIGB
Definition: groebner_defs.h:16
polybori::groebner::deg_type
int deg_type
Definition: groebner_defs.h:42
polybori::groebner::len_type
long len_type
Definition: groebner_defs.h:41
BEGIN_NAMESPACE_PBORIGB
#define BEGIN_NAMESPACE_PBORIGB
Definition: groebner_defs.h:15
polybori::groebner::GBTypes
Definition: groebner_defs.h:26
polybori::BoolePolynomial
This class wraps the underlying decicion diagram type and defines the necessary operations.
Definition: BoolePolynomial.h:85
polybori::groebner::MonomialSet
polybori::BooleSet MonomialSet
Definition: groebner_defs.h:45
polybori::groebner::Polynomial
polybori::BoolePolynomial Polynomial
Definition: groebner_defs.h:30
polybori::CAuxTypes::idx_type
int idx_type
Type for indices.
Definition: pbori_defs.h:228
polybori::groebner::wlen_type
long wlen_type
Definition: groebner_defs.h:39
polybori.h
polybori::groebner::PolynomialVector
std::vector< Polynomial > PolynomialVector
Definition: groebner_defs.h:34
polybori::groebner::idx_type
polybori::CTypes::idx_type idx_type
Definition: groebner_defs.h:44
polybori::BooleSet
Definition: BooleSet.h:57
polybori::BooleMonomial
This class is just a wrapper for using variables from cudd's decicion diagram.
Definition: BooleMonomial.h:50
polybori::BooleVariable
This class is just a wrapper for using variables from cudd's decicion diagram.
Definition: BooleVariable.h:39