PolyBoRi
Namespaces | Functions
GroebnerStrategy.cc File Reference
#include <polybori/groebner/HasTRepOrExtendedProductCriterion.h>
#include <polybori/groebner/ShorterEliminationLengthModified.h>
#include <polybori/groebner/tables.h>
#include <polybori/groebner/ExpGreater.h>
#include <polybori/groebner/ChainCriterion.h>
#include <polybori/groebner/minimal_elements.h>
#include <polybori/groebner/groebner_alg.h>
#include <polybori/groebner/nf.h>
#include <polybori/groebner/interpolate.h>
#include <polybori/groebner/red_tail.h>
#include <polybori/groebner/ll_red_nf.h>
#include <polybori/groebner/add_up.h>
#include <polybori/groebner/fixed_path_divisors.h>
#include <polybori/groebner/linear_algebra_step.h>
#include <polybori/groebner/GroebnerStrategy.h>
#include <polybori/groebner/RelatedTerms.h>
#include <polybori/groebner/PolyFromPolyEntry.h>
#include <polybori/groebner/TimesConstantImplication.h>
#include <polybori/groebner/TimesVariableSubstitution.h>
#include <polybori/groebner/IsVariableOfIndex.h>
#include <polybori/groebner/RedTailNth.h>
#include <polybori/groebner/GetNthPoly.h>
#include <polybori/groebner/RankingVector.h>
#include <sstream>

Namespaces

namespace  polybori
 
namespace  polybori::groebner
 

Functions

Polynomial polybori::groebner::reduce_by_small_entry (const Polynomial &poly, const PolyEntry &entry)
 
int polybori::groebner::steps (int size)
 

Detailed Description

Author
Michael Brickenstein
Date
2011-06-30

This file includes the definition of the class GroebnerStrategy.

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