PolyBoRi
|
Namespaces | |
namespace | PBORINAME |
namespace | PBORINAME::groebner |
Defines | |
#define | ELEMENTAR_FACTORIZATION 1 |
Functions | |
deg_type | PBORINAME::groebner::common_literal_factors_deg (const LiteralFactorization &a, const LiteralFactorization &b) |
bool | PBORINAME::groebner::maps_to_one (const std::pair< const polybori::groebner::idx_type, int > v) |
bool | PBORINAME::groebner::maps_to_zero (const std::pair< const polybori::groebner::idx_type, int > v) |
#define ELEMENTAR_FACTORIZATION 1 |