Created
October 17, 2020 19:37
-
-
Save r-ryantm/2645b6f5e18c06c4165b722018728d96 to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
/nix/store/4nx2cw2v9gms39nh4v3sww98wkr47dy4-brial-1.2.10 | |
├── include | |
│ ├── polybori | |
│ │ ├── BlockDegLexOrder.h | |
│ │ ├── BlockDegRevLexAscOrder.h | |
│ │ ├── BooleConstant.h | |
│ │ ├── BooleEnv.h | |
│ │ ├── BooleExponent.h | |
│ │ ├── BooleMonomial.h | |
│ │ ├── BoolePolynomial.h | |
│ │ ├── BoolePolyRing.h | |
│ │ ├── BooleSet.h | |
│ │ ├── BooleSetSequence.h | |
│ │ ├── BooleVariable.h | |
│ │ ├── cache | |
│ │ │ ├── CacheManager.h | |
│ │ │ ├── CCacheManagement.h | |
│ │ │ └── CDegreeCache.h | |
│ │ ├── common | |
│ │ │ ├── CCheckedIdx.h | |
│ │ │ ├── CExtrusivePtr.h | |
│ │ │ ├── CWeakPtrFacade.h | |
│ │ │ ├── CWeakPtr.h | |
│ │ │ ├── tags.h | |
│ │ │ ├── traits.h | |
│ │ │ └── TransformedSequence.h | |
│ │ ├── config.h | |
│ │ ├── cudd | |
│ │ │ ├── cudd.h | |
│ │ │ ├── cuddInt.h | |
│ │ │ ├── prefix.h | |
│ │ │ └── prefix_internal.h | |
│ │ ├── DegLexOrder.h | |
│ │ ├── DegRevLexAscOrder.h | |
│ │ ├── diagram | |
│ │ │ ├── CApplyNodeFacade.h | |
│ │ │ ├── CCuddDDFacade.h | |
│ │ │ ├── CDDOperations.h | |
│ │ │ └── CNodeCounter.h | |
│ │ ├── except | |
│ │ │ ├── CErrorInfo.h | |
│ │ │ ├── PBoRiError.h | |
│ │ │ └── PBoRiGenericError.h | |
│ │ ├── factories | |
│ │ │ ├── CFactoryBase.h | |
│ │ │ ├── MonomialFactory.h | |
│ │ │ ├── PolynomialFactory.h | |
│ │ │ ├── SetFactory.h | |
│ │ │ ├── VariableBlock.h | |
│ │ │ └── VariableFactory.h | |
│ │ ├── groebner | |
│ │ │ ├── add_up.h | |
│ │ │ ├── BitMask.h | |
│ │ │ ├── BlockOrderHelper.h | |
│ │ │ ├── BoundedDivisorsOf.h | |
│ │ │ ├── cache_manager.h | |
│ │ │ ├── ChainCriterion.h | |
│ │ │ ├── ChainVariableCriterion.h | |
│ │ │ ├── CheckChainCriterion.h | |
│ │ │ ├── contained_variables.h | |
│ │ │ ├── CountCriterion.h | |
│ │ │ ├── DegOrderHelper.h | |
│ │ │ ├── dlex4data.h | |
│ │ │ ├── dp_asc4data.h | |
│ │ │ ├── draw_matrix.h | |
│ │ │ ├── ExpGreater.h | |
│ │ │ ├── ExpLexLess.h | |
│ │ │ ├── FGLMStrategy.h | |
│ │ │ ├── fixed_path_divisors.h | |
│ │ │ ├── GetNthPoly.h | |
│ │ │ ├── groebner_alg.h | |
│ │ │ ├── groebner_defs.h | |
│ │ │ ├── groebner.h | |
│ │ │ ├── GroebnerOptions.h | |
│ │ │ ├── GroebnerStrategy.h | |
│ │ │ ├── HasTRepOrExtendedProductCriterion.h | |
│ │ │ ├── IJPairData.h | |
│ │ │ ├── interpolate.h | |
│ │ │ ├── IsEcart0Predicate.h | |
│ │ │ ├── IsVariableOfIndex.h | |
│ │ │ ├── LargerDegreeComparer.h | |
│ │ │ ├── LeadingTerms00.h | |
│ │ │ ├── LeadingTerms11.h | |
│ │ │ ├── LeadingTerms.h | |
│ │ │ ├── LessCombinedManySizesInStrat.h | |
│ │ │ ├── LessEcartThenLessWeightedLengthInStrat.h | |
│ │ │ ├── LessUsedTailVariablesThenLessWeightedLengthInStrat.h | |
│ │ │ ├── LessWeightedLengthInStrat.h | |
│ │ │ ├── LessWeightedLengthInStratModified.h | |
│ │ │ ├── LexBucket.h | |
│ │ │ ├── LexHelper.h | |
│ │ │ ├── LexOrderGreaterComparer.h | |
│ │ │ ├── linear_algebra_step.h | |
│ │ │ ├── LiteralFactorization.h | |
│ │ │ ├── LiteralFactorizationIterator.h | |
│ │ │ ├── ll_red_nf.h | |
│ │ │ ├── LLReduction.h | |
│ │ │ ├── LLReductor.h | |
│ │ │ ├── LMLessCompare.h | |
│ │ │ ├── LMLessComparePS.h | |
│ │ │ ├── Long64From32BitsPair.h | |
│ │ │ ├── lp4data.h | |
│ │ │ ├── MatrixMonomialOrderTables.h | |
│ │ │ ├── minimal_elements.h | |
│ │ │ ├── MinimalLeadingTerms.h | |
│ │ │ ├── MonomialHasher.h | |
│ │ │ ├── MonomialPlusOneTerms.h | |
│ │ │ ├── MonomialTerms.h | |
│ │ │ ├── NBitsUsed.h | |
│ │ │ ├── NextSpoly.h | |
│ │ │ ├── nf.h | |
│ │ │ ├── PairData.h | |
│ │ │ ├── PairECompare.h | |
│ │ │ ├── PairE.h | |
│ │ │ ├── PairLSCompare.h | |
│ │ │ ├── PairLS.h | |
│ │ │ ├── PairManagerFacade.h | |
│ │ │ ├── PairManager.h | |
│ │ │ ├── pairs.h | |
│ │ │ ├── PairStatusSet.h | |
│ │ │ ├── PolyEntryBase.h | |
│ │ │ ├── PolyEntry.h | |
│ │ │ ├── PolyEntryIndices.h | |
│ │ │ ├── PolyEntryPtrLmLess.h | |
│ │ │ ├── PolyEntryReference.h | |
│ │ │ ├── PolyEntryVector.h | |
│ │ │ ├── PolyFromPolyEntry.h | |
│ │ │ ├── PolyMonomialPairComparerLess.h | |
│ │ │ ├── PolyMonomialPairComparerLexLess.h | |
│ │ │ ├── polynomial_properties.h | |
│ │ │ ├── PolynomialSugar.h | |
│ │ │ ├── PolyPairData.h | |
│ │ │ ├── PSCompareByEl.h | |
│ │ │ ├── PseudoLongLong.h | |
│ │ │ ├── PseudoLongProduct.h | |
│ │ │ ├── randomset.h | |
│ │ │ ├── RankingVector.h | |
│ │ │ ├── red_tail.h | |
│ │ │ ├── RedTailNth.h | |
│ │ │ ├── ReductionOptions.h | |
│ │ │ ├── ReductionStrategy.h | |
│ │ │ ├── ReductionTerms.h | |
│ │ │ ├── RelatedTermsBase.h | |
│ │ │ ├── RelatedTerms.h | |
│ │ │ ├── SetAssociatedMinimal.h | |
│ │ │ ├── SetBitUInt.h | |
│ │ │ ├── ShorterEliminationLength.h | |
│ │ │ ├── ShorterEliminationLengthModified.h | |
│ │ │ ├── SlimgbReduction.h | |
│ │ │ ├── tables.h | |
│ │ │ ├── TermsFacade.h | |
│ │ │ ├── TimesConstantImplication.h | |
│ │ │ ├── TimesVariableSubstitution.h | |
│ │ │ ├── VariablePairData.h | |
│ │ │ └── ZeroFunction.h | |
│ │ ├── iterators | |
│ │ │ ├── CBidirectTermIter.h | |
│ │ │ ├── CCuddFirstIter.h | |
│ │ │ ├── CCuddLastIter.h | |
│ │ │ ├── CCuddNavigator.h | |
│ │ │ ├── CExpIter.h | |
│ │ │ ├── CGenericIter.h | |
│ │ │ ├── COrderedIter.h | |
│ │ │ ├── CStackSelector.h | |
│ │ │ ├── CTermGenerator.h | |
│ │ │ ├── CTermIter.h | |
│ │ │ ├── CTermStack.h | |
│ │ │ ├── CVariableIter.h | |
│ │ │ ├── PBoRiOutIter.h | |
│ │ │ └── TransformedIterator.h | |
│ │ ├── LexOrder.h | |
│ │ ├── literals | |
│ │ │ ├── CLiteralCodes.h | |
│ │ │ └── CStringLiteral.h | |
│ │ ├── orderings | |
│ │ │ ├── CBlockOrderingFacade.h | |
│ │ │ ├── COrderingBase.h | |
│ │ │ ├── COrderingFacade.h | |
│ │ │ ├── COrderingTags.h | |
│ │ │ ├── order_tags.h | |
│ │ │ ├── order_traits.h | |
│ │ │ └── pbori_order.h | |
│ │ ├── pbori_defs.h | |
│ │ ├── polybori.h | |
│ │ ├── ring | |
│ │ │ ├── CCallbackWrapper.h | |
│ │ │ ├── CCuddCore.h | |
│ │ │ ├── CCuddInterface.h | |
│ │ │ ├── CMemberFunctionTraits.h | |
│ │ │ ├── CVariableNames.h | |
│ │ │ └── WeakRingPtr.h | |
│ │ └── routines | |
│ │ ├── pbori_algo.h | |
│ │ ├── pbori_algo_int.h | |
│ │ ├── pbori_algorithms.h | |
│ │ ├── pbori_func.h | |
│ │ ├── pbori_routines_cuddext.h | |
│ │ ├── pbori_routines_dd.h | |
│ │ ├── pbori_routines.h | |
│ │ ├── pbori_routines_hash.h | |
│ │ ├── pbori_routines_misc.h | |
│ │ └── pbori_routines_order.h | |
│ └── polybori.h | |
└── lib | |
├── libbrial_groebner.la | |
├── libbrial_groebner.so -> libbrial_groebner.so.3.0.6 | |
├── libbrial_groebner.so.3 -> libbrial_groebner.so.3.0.6 | |
├── libbrial_groebner.so.3.0.6 | |
├── libbrial.la | |
├── libbrial.so -> libbrial.so.3.0.6 | |
├── libbrial.so.3 -> libbrial.so.3.0.6 | |
└── libbrial.so.3.0.6 | |
15 directories, 196 files |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment