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	LiteralFactorization
Functions
deg_type	common_literal_factors_deg (const LiteralFactorization &a, const LiteralFactorization &b)

---

Function Documentation

deg_type common_literal_factors_deg	(	const LiteralFactorization &	a,
		const LiteralFactorization &	b
	)

References LiteralFactorization::factors, LiteralFactorization::rest, and LiteralFactorization::var2var_map.