#include <algorithm>
#include <vector>
#include <map>
#include <set>
#include <utility>
#include "groebner_defs.h"
Go to the source code of this file.
Classes | |
class | LiteralFactorization |
class | LiteralFactorizationIterator |
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) |
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().