lexbuckets.h File Reference

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

Go to the source code of this file.

Classes
class	LexBucket
Functions
BEGIN_NAMESPACE_PBORIGB Polynomial	without_prior_part (Polynomial p, idx_type tail_start)

---

Function Documentation

BEGIN_NAMESPACE_PBORIGB Polynomial without_prior_part	(	Polynomial	p,
		idx_type	tail_start
	)

Referenced by LexBucket::increaseTailStart(), LexBucket::LexBucket(), and LexBucket::operator+=().