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 
)
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  ) 
Generated on Tue May 4 08:13:21 2010 for PolyBoRi by  doxygen 1.6.3