#include "literal_factorization.h"
#include <iostream>
#include <CCacheManagement.h>
Defines | |
#define | ELEMENTAR_FACTORIZATION 1 |
Functions | |
BEGIN_NAMESPACE_PBORIGB std::vector< Polynomial > | easy_linear_factors (const Polynomial &p) |
deg_type | common_literal_factors_deg (const LiteralFactorization &a, const LiteralFactorization &b) |
bool | maps_to_one (const std::pair< const polybori::groebner::idx_type, int > v) |
bool | maps_to_zero (const std::pair< const polybori::groebner::idx_type, int > v) |
#define ELEMENTAR_FACTORIZATION 1 |
deg_type common_literal_factors_deg | ( | const LiteralFactorization & | a, | |
const LiteralFactorization & | b | |||
) |
BEGIN_NAMESPACE_PBORIGB std::vector<Polynomial> easy_linear_factors | ( | const Polynomial & | p | ) |
References LiteralFactorization::begin(), and LiteralFactorization::end().
bool maps_to_one | ( | const std::pair< const polybori::groebner::idx_type, int > | v | ) |
Referenced by LiteralFactorization::is00Factorization().
bool maps_to_zero | ( | const std::pair< const polybori::groebner::idx_type, int > | v | ) |
Referenced by LiteralFactorization::is11Factorization().