fglm.h File Reference

#include <BooleEnv.h>
#include "groebner_alg.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

Generated by  doxygen 1.6.2