PolyBoRi
Namespaces | Functions
lexbuckets.cc File Reference
#include "lexbuckets.h"

Namespaces

namespace  polybori
namespace  polybori::groebner

Functions

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