#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.
1.5.6