PolyBoRi
Namespaces | Functions

lexbuckets.cc File Reference

#include "lexbuckets.h"

Namespaces

namespace  PBORINAME
namespace  PBORINAME::groebner

Functions

Polynomial PBORINAME::groebner::without_prior_part (Polynomial p, idx_type tail_start)