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