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