PolyBoRi
Classes | Namespaces | Functions

literal_factorization.h File Reference

#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)