#include "groebner_defs.h"
Go to the source code of this file.
Namespaces | |
namespace | polybori |
namespace | polybori::groebner |
Functions | |
MonomialSet | polybori::groebner::contained_variables_cudd_style (const MonomialSet &m) |
MonomialSet | polybori::groebner::contained_deg2_cudd_style (const MonomialSet &m) |
std::vector< idx_type > | polybori::groebner::contained_variables (const MonomialSet &m) |
contained_variables
functions.