PolyBoRi
Classes | Namespaces | Functions
HasTRepOrExtendedProductCriterion.h File Reference
#include "groebner_defs.h"
#include "GroebnerStrategy.h"

Go to the source code of this file.

Classes

class  polybori::groebner::HasTRepOrExtendedProductCriterion
 This class defines HasTRepOrExtendedProductCriterion. More...

Namespaces

namespace  polybori
namespace  polybori::groebner

Functions

bool polybori::groebner::extended_product_criterion (const PolyEntry &m, const PolyEntry &m2)

Detailed Description

Author:
Michael Brickenstein
Date:
2011-06-30

This file includes the definition of the class HasTRepOrExtendedProductCriterion.

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