/nix/store/d80z046q8l3rhi7zwbcxzaydfrqxvzq9-brial-1.2.4
├── 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.1
    ├── libbrial_groebner.so.3 -> libbrial_groebner.so.3.0.1
    ├── libbrial_groebner.so.3.0.1
    ├── libbrial.la
    ├── libbrial.so -> libbrial.so.3.0.1
    ├── libbrial.so.3 -> libbrial.so.3.0.1
    └── libbrial.so.3.0.1

15 directories, 196 files