File List

Here is a list of all files with brief descriptions:

.h [code]
add_up.h [code]
BitMask.h [code]
BlockDegLexOrder.cc
BlockDegLexOrder.h [code]
BlockDegRevLexAscOrder.cc
BlockDegRevLexAscOrder.h [code]
BlockOrderHelper.h [code]
BooleConstant.h [code]
BooleEnv.cc
BooleEnv.h [code]
BooleExponent.cc
BooleExponent.h [code]
BooleMonomial.cc
BooleMonomial.h [code]
BoolePolynomial.cc
BoolePolynomial.h [code]
BoolePolyRing.cc
BoolePolyRing.h [code]
BooleSet.cc
BooleSet.h [code]
BooleSetSequence.h [code]
BooleVariable.cc
BooleVariable.h [code]
BoundedDivisorsOf.h [code]
cache_manager.h [code]
CacheManager.h [code]
cacheopts.h [code]
CApplyNodeFacade.h [code]
CBidirectTermIter.h [code]
CBlockOrderingFacade.h [code]
CCacheManagement.h [code]
CCallbackWrapper.h [code]
CCheckedIdx.cc
CCheckedIdx.h [code]
CCuddCore.h [code]
CCuddDDFacade.h [code]
CCuddFirstIter.cc
CCuddFirstIter.h [code]
CCuddInterface.h [code]
CCuddLastIter.cc
CCuddLastIter.h [code]
CCuddNavigator.h [code]
CDDOperations.h [code]
CDegreeCache.h [code]
CErrorInfo.cc
CErrorInfo.h [code]
CExpIter.h [code]
CExtrusivePtr.h [code]
CFactoryBase.h [code]
CGenericIter.h [code]
ChainCriterion.h [code]
ChainVariableCriterion.h [code]
CheckChainCriterion.h [code]
CLiteralCodes.h [code]
CMemberFunctionTraits.h [code]
CNodeCounter.h [code]
contained_variables.h [code]
COrderedIter.h [code]
COrderingBase.h [code]
COrderingFacade.h [code]
COrderingTags.h [code]
CountCriterion.h [code]
CStackSelector.h [code]
CStringLiteral.h [code]
CTermGenerator.h [code]
CTermIter.h [code]
CTermStack.h [code]
cudd.h [code]
cuddInt.h [code]
CVariableIter.h [code]
CVariableNames.h [code]
CWeakPtr.h [code]
CWeakPtrFacade.h [code]
DegLexOrder.cc
DegLexOrder.h [code]
DegOrderHelper.h [code]
DegRevLexAscOrder.cc
DegRevLexAscOrder.h [code]
dlex4data.h [code]
dp_asc4data.h [code]
draw_matrix.h [code]
embed.h [code]
ExpGreater.h [code]
ExpLexLess.h [code]
FGLMStrategy.cc
FGLMStrategy.h [code]
fixed_path_divisors.h [code]
GetNthPoly.h [code]
groebner.cc
groebner.h [code]
groebner_alg.cc
groebner_alg.h [code]
groebner_defs.h [code]
GroebnerCriteria.h [code]
GroebnerOptions.h [code]
GroebnerStrategy.cc
GroebnerStrategy.h [code]
HasTRepOrExtendedProductCriterion.h [code]
IJPairData.h [code]
interpolate.cc
interpolate.h [code]
IsEcart0Predicate.h [code]
IsVariableOfIndex.h [code]
LargerDegreeComparer.h [code]
LeadingTerms.h [code]
LeadingTerms00.h [code]
LeadingTerms11.h [code]
LessCombinedManySizesInStrat.h [code]
LessEcartThenLessWeightedLengthInStrat.h [code]
LessUsedTailVariablesThenLessWeightedLengthInStrat.h [code]
LessWeightedLengthInStrat.h [code]
LessWeightedLengthInStratModified.h [code]
LexBucket.cc
LexBucket.h [code]
LexHelper.h [code]
LexOrder.cc
LexOrder.h [code]
LexOrderGreaterComparer.h [code]
linear_algebra_step.h [code]
LiteralFactorization.cc
LiteralFactorization.h [code]
LiteralFactorizationIterator.cc
LiteralFactorizationIterator.h [code]
ll_red_nf.h [code]
LLReduction.h [code]
LLReductor.h [code]
LMLessCompare.h [code]
LMLessComparePS.h [code]
Long64From32BitsPair.h [code]
lp4data.h [code]
MatrixMonomialOrderTables.cc
MatrixMonomialOrderTables.h [code]
minimal_elements.h [code]
MinimalLeadingTerms.h [code]
MonomialFactory.h [code]
MonomialHasher.h [code]
MonomialPlusOneTerms.h [code]
MonomialTerms.h [code]
NBitsUsed.h [code]
NextSpoly.h [code]
nf.cc
nf.h [code]
order_tags.h [code]
order_traits.h [code]
PairData.h [code]
PairE.h [code]
PairECompare.h [code]
PairLS.h [code]
PairLSCompare.h [code]
PairManager.cc
PairManager.h [code]
PairManagerFacade.h [code]
pairs.cc
pairs.h [code]
PairStatusSet.h [code]
pbori_algo.h [code]
pbori_algo_int.h [code]
pbori_algorithms.h [code]
pbori_defs.h [code]
pbori_func.h [code]
pbori_order.h [code]
pbori_routines.cc
pbori_routines.h [code]
pbori_routines_cuddext.h [code]
pbori_routines_dd.h [code]
pbori_routines_hash.h [code]
pbori_routines_misc.h [code]
pbori_routines_order.h [code]
PBoRiError.cc
PBoRiError.h [code]
PBoRiGenericError.h [code]
PBoRiOutIter.h [code]
polybori/polybori.h [code]
polybori.h [code]
PolyEntry.cc
PolyEntry.h [code]
PolyEntryBase.h [code]
PolyEntryIndices.h [code]
PolyEntryPtrLmLess.h [code]
PolyEntryReference.h [code]
PolyEntryVector.h [code]
PolyFromPolyEntry.h [code]
PolyMonomialPairComparerLess.h [code]
PolyMonomialPairComparerLexLess.h [code]
polynomial_properties.cc
polynomial_properties.h [code]
PolynomialFactory.h [code]
PolynomialSugar.h [code]
PolyPairData.h [code]
prefix.h [code]
prefix_internal.h [code]
PSCompareByEl.h [code]
PseudoLongLong.h [code]
PseudoLongProduct.h [code]
randomset.cc
randomset.h [code]
RankingVector.h [code]
red_tail.h [code]
RedTailNth.h [code]
ReductionOptions.h [code]
ReductionStrategy.cc
ReductionStrategy.h [code]
ReductionTerms.h [code]
RelatedTerms.h [code]
RelatedTermsBase.h [code]
SetAssociatedMinimal.h [code]
SetBitUInt.h [code]
SetFactory.h [code]
ShorterEliminationLength.h [code]
ShorterEliminationLengthModified.h [code]
SlimgbReduction.h [code]
tables.h [code]
tags.h [code]
TermsFacade.h [code]
TimesConstantImplication.h [code]
TimesVariableSubstitution.h [code]
traits.h [code]
TransformedIterator.h [code]
TransformedSequence.h [code]
VariableBlock.h [code]
VariableFactory.h [code]
VariablePairData.h [code]
WeakRingPtr.h [code]
ZeroFunction.h [code]