/usr/include/polybori/groebner/groebner_defs.h is in libbrial-groebner-dev 0.8.5-4.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 | /*
* 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
|