PolyBoRi
Namespaces | Functions
contained_variables.h File Reference
#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)
 

Detailed Description

Author
Michael Brickenstein
Date
2011-06-30

This file includes the definition of the contained_variables functions.

Copyright:
(c) 2006-2011 by The PolyBoRi Team