lexbuckets.cc File Reference

#include "lexbuckets.h"
#include <functional>
#include "groebner_defs.h"
#include "literal_factorization.h"
#include <boost/shared_ptr.hpp>
#include <queue>
#include <algorithm>
#include <utility>
#include <set>
#include <vector>

Functions

Polynomial without_prior_part (Polynomial p, idx_type tail_start)

Function Documentation

Polynomial without_prior_part ( Polynomial  p,
idx_type  tail_start 
)
Generated on Tue May 4 10:44:27 2010 for PolyBoRi by  doxygen 1.6.3