PolyBoRi
Classes | Namespaces | Typedefs
fglm.h File Reference
#include <BooleEnv.h>
#include "groebner_alg.h"
#include <m4ri/config.h>
#include <m4ri/m4ri.h>

Go to the source code of this file.

Classes

class  polybori::groebner::FGLMStrategy

Namespaces

namespace  polybori
namespace  polybori::groebner

Typedefs

typedef std::vector< Polynomial > polybori::groebner::poly_vec