PolyBoRi
Namespaces | Functions
randomset.cc File Reference
#include <polybori/groebner/randomset.h>
#include <ctime>
#include <set>
#include <polybori/groebner/nf.h>
#include <polybori/groebner/add_up.h>
#include <polybori/groebner/ExpLexLess.h>

Namespaces

namespace  polybori
 
namespace  polybori::groebner
 

Functions

void polybori::groebner::set_random_seed (unsigned int seed)
 
MonomialSet polybori::groebner::random_set_using_generator (const Monomial &variables, unsigned int len, bool_gen_type &bit_gen)
 
MonomialSet polybori::groebner::random_set (const Monomial &variables, unsigned int len)