literal_factorization.cc File Reference

#include "literal_factorization.h"
#include <iostream>
#include <CCacheManagement.h>

Defines
#define	ELEMENTAR_FACTORIZATION   1
Functions
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 Documentation

#define ELEMENTAR_FACTORIZATION   1

---

Function Documentation

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

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

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().