PolyBoRi
|
#include <algorithm>
#include <vector>
#include <map>
#include <set>
#include <utility>
#include "groebner_defs.h"
Go to the source code of this file.
Classes | |
class | PBORINAME::groebner::LiteralFactorization |
Namespaces | |
namespace | PBORINAME |
namespace | PBORINAME::groebner |
Functions | |
deg_type | PBORINAME::groebner::common_literal_factors_deg (const LiteralFactorization &a, const LiteralFactorization &b) |