|
PolyBoRi
|
#include "groebner_defs.h"Go to the source code of this file.
Namespaces | |
| namespace | polybori |
| namespace | polybori::groebner |
Functions | |
| bool | polybori::groebner::is_rewriteable (const Polynomial &p, const MonomialSet &leading_terms) |
1.7.6.1