PolyBoRi
Namespaces | Functions
LexBucket.cc File Reference
#include <polybori/groebner/LexBucket.h>

Namespaces

namespace  polybori
namespace  polybori::groebner

Functions

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