Repository: amd64/stable
Package time:
Size: 674236
SHA256: a03c68db2464a561f4d6dc1ab52b650fc0b540a271939ec62c87d00849a1cfa0
Installed Size: 4.8MiB
Maintainer: Mingcong Bai <jeffbaiaosc.io>
Library depends: libc.so.6, libgcc_s.so.1, libm4ri-0.0.20140914.so, libm.so.6, libpng16.so.16, libstdc++.so.6, libz.so.1
Library provides: libbrial_groebner.so.3.0.4, libbrial.so.3.0.4
Files:
- -rw-r--r-- root(0) root(0) 1.5K /usr/include/polybori/BlockDegLexOrder.h
- -rw-r--r-- root(0) root(0) 1.6K /usr/include/polybori/BlockDegRevLexAscOrder.h
- -rw-r--r-- root(0) root(0) 3.7K /usr/include/polybori/BooleConstant.h
- -rw-r--r-- root(0) root(0) 4.4K /usr/include/polybori/BooleEnv.h
- -rw-r--r-- root(0) root(0) 8.9K /usr/include/polybori/BooleExponent.h
- -rw-r--r-- root(0) root(0) 11K /usr/include/polybori/BooleMonomial.h
- -rw-r--r-- root(0) root(0) 18K /usr/include/polybori/BoolePolynomial.h
- -rw-r--r-- root(0) root(0) 5.8K /usr/include/polybori/BoolePolyRing.h
- -rw-r--r-- root(0) root(0) 8.1K /usr/include/polybori/BooleSet.h
- -rw-r--r-- root(0) root(0) 1.8K /usr/include/polybori/BooleSetSequence.h
- -rw-r--r-- root(0) root(0) 2.9K /usr/include/polybori/BooleVariable.h
- -rw-r--r-- root(0) root(0) 1.5K /usr/include/polybori/cache/CacheManager.h
- -rw-r--r-- root(0) root(0) 16K /usr/include/polybori/cache/CCacheManagement.h
- -rw-r--r-- root(0) root(0) 9.9K /usr/include/polybori/cache/CDegreeCache.h
- -rw-r--r-- root(0) root(0) 990 /usr/include/polybori/common/CCheckedIdx.h
- -rw-r--r-- root(0) root(0) 4.1K /usr/include/polybori/common/CExtrusivePtr.h
- -rw-r--r-- root(0) root(0) 1.5K /usr/include/polybori/common/CWeakPtrFacade.h
- -rw-r--r-- root(0) root(0) 1.5K /usr/include/polybori/common/CWeakPtr.h
- -rw-r--r-- root(0) root(0) 1.7K /usr/include/polybori/common/tags.h
- -rw-r--r-- root(0) root(0) 6.0K /usr/include/polybori/common/traits.h
- -rw-r--r-- root(0) root(0) 1.6K /usr/include/polybori/common/TransformedSequence.h
- -rw-r--r-- root(0) root(0) 469 /usr/include/polybori/config.h
- -rw-r--r-- root(0) root(0) 59K /usr/include/polybori/cudd/cudd.h
- -rw-r--r-- root(0) root(0) 51K /usr/include/polybori/cudd/cuddInt.h
- -rw-r--r-- root(0) root(0) 838 /usr/include/polybori/cudd/prefix.h
- -rw-r--r-- root(0) root(0) 13K /usr/include/polybori/cudd/prefix_internal.h
- -rw-r--r-- root(0) root(0) 2.0K /usr/include/polybori/DegLexOrder.h
- -rw-r--r-- root(0) root(0) 2.1K /usr/include/polybori/DegRevLexAscOrder.h
- -rw-r--r-- root(0) root(0) 3.8K /usr/include/polybori/diagram/CApplyNodeFacade.h
- -rw-r--r-- root(0) root(0) 14K /usr/include/polybori/diagram/CCuddDDFacade.h
- -rw-r--r-- root(0) root(0) 1.3K /usr/include/polybori/diagram/CDDOperations.h
- -rw-r--r-- root(0) root(0) 1.3K /usr/include/polybori/diagram/CNodeCounter.h
- -rw-r--r-- root(0) root(0) 1.1K /usr/include/polybori/except/CErrorInfo.h
- -rw-r--r-- root(0) root(0) 1.5K /usr/include/polybori/except/PBoRiError.h
- -rw-r--r-- root(0) root(0) 1.3K /usr/include/polybori/except/PBoRiGenericError.h
- -rw-r--r-- root(0) root(0) 1.4K /usr/include/polybori/factories/CFactoryBase.h
- -rw-r--r-- root(0) root(0) 2.3K /usr/include/polybori/factories/MonomialFactory.h
- -rw-r--r-- root(0) root(0) 3.4K /usr/include/polybori/factories/PolynomialFactory.h
- -rw-r--r-- root(0) root(0) 2.7K /usr/include/polybori/factories/SetFactory.h
- -rw-r--r-- root(0) root(0) 2.1K /usr/include/polybori/factories/VariableBlock.h
- -rw-r--r-- root(0) root(0) 2.1K /usr/include/polybori/factories/VariableFactory.h
- -rw-r--r-- root(0) root(0) 7.9K /usr/include/polybori/groebner/add_up.h
- -rw-r--r-- root(0) root(0) 2.1K /usr/include/polybori/groebner/BitMask.h
- -rw-r--r-- root(0) root(0) 1.7K /usr/include/polybori/groebner/BlockOrderHelper.h
- -rw-r--r-- root(0) root(0) 1.7K /usr/include/polybori/groebner/BoundedDivisorsOf.h
- -rw-r--r-- root(0) root(0) 3.0K /usr/include/polybori/groebner/cache_manager.h
- -rw-r--r-- root(0) root(0) 1.3K /usr/include/polybori/groebner/ChainCriterion.h
- -rw-r--r-- root(0) root(0) 1.4K /usr/include/polybori/groebner/ChainVariableCriterion.h
- -rw-r--r-- root(0) root(0) 1.8K /usr/include/polybori/groebner/CheckChainCriterion.h
- -rw-r--r-- root(0) root(0) 3.3K /usr/include/polybori/groebner/contained_variables.h
- -rw-r--r-- root(0) root(0) 2.8K /usr/include/polybori/groebner/CountCriterion.h
- -rw-r--r-- root(0) root(0) 1.7K /usr/include/polybori/groebner/DegOrderHelper.h
- -rw-r--r-- root(0) root(0) 223 /usr/include/polybori/groebner/dlex4data.h
- -rw-r--r-- root(0) root(0) 229 /usr/include/polybori/groebner/dp_asc4data.h
- -rw-r--r-- root(0) root(0) 1.7K /usr/include/polybori/groebner/draw_matrix.h
- -rw-r--r-- root(0) root(0) 962 /usr/include/polybori/groebner/ExpGreater.h
- -rw-r--r-- root(0) root(0) 866 /usr/include/polybori/groebner/ExpLexLess.h
- -rw-r--r-- root(0) root(0) 3.1K /usr/include/polybori/groebner/FGLMStrategy.h
- -rw-r--r-- root(0) root(0) 4.4K /usr/include/polybori/groebner/fixed_path_divisors.h
- -rw-r--r-- root(0) root(0) 1.0K /usr/include/polybori/groebner/GetNthPoly.h
- -rw-r--r-- root(0) root(0) 2.8K /usr/include/polybori/groebner/groebner_alg.h
- -rw-r--r-- root(0) root(0) 1.1K /usr/include/polybori/groebner/groebner_defs.h
- -rw-r--r-- root(0) root(0) 194 /usr/include/polybori/groebner/groebner.h
- -rw-r--r-- root(0) root(0) 1.7K /usr/include/polybori/groebner/GroebnerOptions.h
- -rw-r--r-- root(0) root(0) 6.8K /usr/include/polybori/groebner/GroebnerStrategy.h
- -rw-r--r-- root(0) root(0) 2.2K /usr/include/polybori/groebner/HasTRepOrExtendedProductCriterion.h
- -rw-r--r-- root(0) root(0) 906 /usr/include/polybori/groebner/IJPairData.h
- -rw-r--r-- root(0) root(0) 644 /usr/include/polybori/groebner/interpolate.h
- -rw-r--r-- root(0) root(0) 1002 /usr/include/polybori/groebner/IsEcart0Predicate.h
- -rw-r--r-- root(0) root(0) 1.1K /usr/include/polybori/groebner/IsVariableOfIndex.h
- -rw-r--r-- root(0) root(0) 996 /usr/include/polybori/groebner/LargerDegreeComparer.h
- -rw-r--r-- root(0) root(0) 1.1K /usr/include/polybori/groebner/LeadingTerms00.h
- -rw-r--r-- root(0) root(0) 1.1K /usr/include/polybori/groebner/LeadingTerms11.h
- -rw-r--r-- root(0) root(0) 1.0K /usr/include/polybori/groebner/LeadingTerms.h
- -rw-r--r-- root(0) root(0) 1.4K /usr/include/polybori/groebner/LessCombinedManySizesInStrat.h
- -rw-r--r-- root(0) root(0) 1.5K /usr/include/polybori/groebner/LessEcartThenLessWeightedLengthInStrat.h
- -rw-r--r-- root(0) root(0) 1.6K /usr/include/polybori/groebner/LessUsedTailVariablesThenLessWeightedLengthInStrat.h
- -rw-r--r-- root(0) root(0) 1.2K /usr/include/polybori/groebner/LessWeightedLengthInStrat.h
- -rw-r--r-- root(0) root(0) 1.7K /usr/include/polybori/groebner/LessWeightedLengthInStratModified.h
- -rw-r--r-- root(0) root(0) 2.0K /usr/include/polybori/groebner/LexBucket.h
- -rw-r--r-- root(0) root(0) 2.3K /usr/include/polybori/groebner/LexHelper.h
- -rw-r--r-- root(0) root(0) 1.1K /usr/include/polybori/groebner/LexOrderGreaterComparer.h
- -rw-r--r-- root(0) root(0) 19K /usr/include/polybori/groebner/linear_algebra_step.h
- -rw-r--r-- root(0) root(0) 1.4K /usr/include/polybori/groebner/LiteralFactorization.h
- -rw-r--r-- root(0) root(0) 2.1K /usr/include/polybori/groebner/LiteralFactorizationIterator.h
- -rw-r--r-- root(0) root(0) 2.2K /usr/include/polybori/groebner/ll_red_nf.h
- -rw-r--r-- root(0) root(0) 3.1K /usr/include/polybori/groebner/LLReduction.h
- -rw-r--r-- root(0) root(0) 2.1K /usr/include/polybori/groebner/LLReductor.h
- -rw-r--r-- root(0) root(0) 848 /usr/include/polybori/groebner/LMLessCompare.h
- -rw-r--r-- root(0) root(0) 867 /usr/include/polybori/groebner/LMLessComparePS.h
- -rw-r--r-- root(0) root(0) 1.6K /usr/include/polybori/groebner/Long64From32BitsPair.h
- -rw-r--r-- root(0) root(0) 217 /usr/include/polybori/groebner/lp4data.h
- -rw-r--r-- root(0) root(0) 1.3K /usr/include/polybori/groebner/MatrixMonomialOrderTables.h
- -rw-r--r-- root(0) root(0) 13K /usr/include/polybori/groebner/minimal_elements.h
- -rw-r--r-- root(0) root(0) 2.0K /usr/include/polybori/groebner/MinimalLeadingTerms.h
- -rw-r--r-- root(0) root(0) 822 /usr/include/polybori/groebner/MonomialHasher.h
- -rw-r--r-- root(0) root(0) 1.2K /usr/include/polybori/groebner/MonomialPlusOneTerms.h
- -rw-r--r-- root(0) root(0) 1.1K /usr/include/polybori/groebner/MonomialTerms.h
- -rw-r--r-- root(0) root(0) 947 /usr/include/polybori/groebner/NBitsUsed.h
- -rw-r--r-- root(0) root(0) 3.0K /usr/include/polybori/groebner/NextSpoly.h
- -rw-r--r-- root(0) root(0) 1.4K /usr/include/polybori/groebner/nf.h
- -rw-r--r-- root(0) root(0) 909 /usr/include/polybori/groebner/PairData.h
- -rw-r--r-- root(0) root(0) 1.2K /usr/include/polybori/groebner/PairECompare.h
- -rw-r--r-- root(0) root(0) 2.4K /usr/include/polybori/groebner/PairE.h
- -rw-r--r-- root(0) root(0) 1.0K /usr/include/polybori/groebner/PairLSCompare.h
- -rw-r--r-- root(0) root(0) 1.9K /usr/include/polybori/groebner/PairLS.h
- -rw-r--r-- root(0) root(0) 3.1K /usr/include/polybori/groebner/PairManagerFacade.h
- -rw-r--r-- root(0) root(0) 2.5K /usr/include/polybori/groebner/PairManager.h
- -rw-r--r-- root(0) root(0) 641 /usr/include/polybori/groebner/pairs.h
- -rw-r--r-- root(0) root(0) 1.9K /usr/include/polybori/groebner/PairStatusSet.h
- -rw-r--r-- root(0) root(0) 1.9K /usr/include/polybori/groebner/PolyEntryBase.h
- -rw-r--r-- root(0) root(0) 1.8K /usr/include/polybori/groebner/PolyEntry.h
- -rw-r--r-- root(0) root(0) 3.3K /usr/include/polybori/groebner/PolyEntryIndices.h
- -rw-r--r-- root(0) root(0) 997 /usr/include/polybori/groebner/PolyEntryPtrLmLess.h
- -rw-r--r-- root(0) root(0) 2.2K /usr/include/polybori/groebner/PolyEntryReference.h
- -rw-r--r-- root(0) root(0) 3.6K /usr/include/polybori/groebner/PolyEntryVector.h
- -rw-r--r-- root(0) root(0) 1.0K /usr/include/polybori/groebner/PolyFromPolyEntry.h
- -rw-r--r-- root(0) root(0) 1.0K /usr/include/polybori/groebner/PolyMonomialPairComparerLess.h
- -rw-r--r-- root(0) root(0) 1.1K /usr/include/polybori/groebner/PolyMonomialPairComparerLexLess.h
- -rw-r--r-- root(0) root(0) 282 /usr/include/polybori/groebner/polynomial_properties.h
- -rw-r--r-- root(0) root(0) 3.0K /usr/include/polybori/groebner/PolynomialSugar.h
- -rw-r--r-- root(0) root(0) 896 /usr/include/polybori/groebner/PolyPairData.h
- -rw-r--r-- root(0) root(0) 949 /usr/include/polybori/groebner/PSCompareByEl.h
- -rw-r--r-- root(0) root(0) 872 /usr/include/polybori/groebner/PseudoLongLong.h
- -rw-r--r-- root(0) root(0) 2.0K /usr/include/polybori/groebner/PseudoLongProduct.h
- -rw-r--r-- root(0) root(0) 707 /usr/include/polybori/groebner/randomset.h
- -rw-r--r-- root(0) root(0) 1.2K /usr/include/polybori/groebner/RankingVector.h
- -rw-r--r-- root(0) root(0) 6.0K /usr/include/polybori/groebner/red_tail.h
- -rw-r--r-- root(0) root(0) 1.2K /usr/include/polybori/groebner/RedTailNth.h
- -rw-r--r-- root(0) root(0) 1.1K /usr/include/polybori/groebner/ReductionOptions.h
- -rw-r--r-- root(0) root(0) 3.0K /usr/include/polybori/groebner/ReductionStrategy.h
- -rw-r--r-- root(0) root(0) 2.4K /usr/include/polybori/groebner/ReductionTerms.h
- -rw-r--r-- root(0) root(0) 3.0K /usr/include/polybori/groebner/RelatedTermsBase.h
- -rw-r--r-- root(0) root(0) 1.7K /usr/include/polybori/groebner/RelatedTerms.h
- -rw-r--r-- root(0) root(0) 1.2K /usr/include/polybori/groebner/SetAssociatedMinimal.h
- -rw-r--r-- root(0) root(0) 816 /usr/include/polybori/groebner/SetBitUInt.h
- -rw-r--r-- root(0) root(0) 1.1K /usr/include/polybori/groebner/ShorterEliminationLength.h
- -rw-r--r-- root(0) root(0) 1.3K /usr/include/polybori/groebner/ShorterEliminationLengthModified.h
- -rw-r--r-- root(0) root(0) 3.1K /usr/include/polybori/groebner/SlimgbReduction.h
- -rw-r--r-- root(0) root(0) 3.7K /usr/include/polybori/groebner/tables.h
- -rw-r--r-- root(0) root(0) 1.4K /usr/include/polybori/groebner/TermsFacade.h
- -rw-r--r-- root(0) root(0) 1.1K /usr/include/polybori/groebner/TimesConstantImplication.h
- -rw-r--r-- root(0) root(0) 1.1K /usr/include/polybori/groebner/TimesVariableSubstitution.h
- -rw-r--r-- root(0) root(0) 999 /usr/include/polybori/groebner/VariablePairData.h
- -rw-r--r-- root(0) root(0) 821 /usr/include/polybori/groebner/ZeroFunction.h
- -rw-r--r-- root(0) root(0) 517 /usr/include/polybori.h
- -rw-r--r-- root(0) root(0) 4.6K /usr/include/polybori/iterators/CBidirectTermIter.h
- -rw-r--r-- root(0) root(0) 2.3K /usr/include/polybori/iterators/CCuddFirstIter.h
- -rw-r--r-- root(0) root(0) 1.5K /usr/include/polybori/iterators/CCuddLastIter.h
- -rw-r--r-- root(0) root(0) 5.8K /usr/include/polybori/iterators/CCuddNavigator.h
- -rw-r--r-- root(0) root(0) 3.2K /usr/include/polybori/iterators/CExpIter.h
- -rw-r--r-- root(0) root(0) 2.5K /usr/include/polybori/iterators/CGenericIter.h
- -rw-r--r-- root(0) root(0) 6.9K /usr/include/polybori/iterators/COrderedIter.h
- -rw-r--r-- root(0) root(0) 2.1K /usr/include/polybori/iterators/CStackSelector.h
- -rw-r--r-- root(0) root(0) 4.4K /usr/include/polybori/iterators/CTermGenerator.h
- -rw-r--r-- root(0) root(0) 3.9K /usr/include/polybori/iterators/CTermIter.h
- -rw-r--r-- root(0) root(0) 23K /usr/include/polybori/iterators/CTermStack.h
- -rw-r--r-- root(0) root(0) 2.1K /usr/include/polybori/iterators/CVariableIter.h
- -rw-r--r-- root(0) root(0) 2.1K /usr/include/polybori/iterators/PBoRiOutIter.h
- -rw-r--r-- root(0) root(0) 2.2K /usr/include/polybori/iterators/TransformedIterator.h
- -rw-r--r-- root(0) root(0) 2.0K /usr/include/polybori/LexOrder.h
- -rw-r--r-- root(0) root(0) 1.1K /usr/include/polybori/literals/CLiteralCodes.h
- -rw-r--r-- root(0) root(0) 1.8K /usr/include/polybori/literals/CStringLiteral.h
- -rw-r--r-- root(0) root(0) 4.2K /usr/include/polybori/orderings/CBlockOrderingFacade.h
- -rw-r--r-- root(0) root(0) 5.3K /usr/include/polybori/orderings/COrderingBase.h
- -rw-r--r-- root(0) root(0) 6.1K /usr/include/polybori/orderings/COrderingFacade.h
- -rw-r--r-- root(0) root(0) 2.6K /usr/include/polybori/orderings/COrderingTags.h
- -rw-r--r-- root(0) root(0) 1.1K /usr/include/polybori/orderings/order_tags.h
- -rw-r--r-- root(0) root(0) 1.6K /usr/include/polybori/orderings/order_traits.h
- -rw-r--r-- root(0) root(0) 2.0K /usr/include/polybori/orderings/pbori_order.h
- -rw-r--r-- root(0) root(0) 7.5K /usr/include/polybori/pbori_defs.h
- -rw-r--r-- root(0) root(0) 1.1K /usr/include/polybori/polybori.h
- -rw-r--r-- root(0) root(0) 3.0K /usr/include/polybori/ring/CCallbackWrapper.h
- -rw-r--r-- root(0) root(0) 3.2K /usr/include/polybori/ring/CCuddCore.h
- -rw-r--r-- root(0) root(0) 13K /usr/include/polybori/ring/CCuddInterface.h
- -rw-r--r-- root(0) root(0) 2.5K /usr/include/polybori/ring/CMemberFunctionTraits.h
- -rw-r--r-- root(0) root(0) 2.5K /usr/include/polybori/ring/CVariableNames.h
- -rw-r--r-- root(0) root(0) 1.4K /usr/include/polybori/ring/WeakRingPtr.h
- -rw-r--r-- root(0) root(0) 24K /usr/include/polybori/routines/pbori_algo.h
- -rw-r--r-- root(0) root(0) 20K /usr/include/polybori/routines/pbori_algo_int.h
- -rw-r--r-- root(0) root(0) 8.7K /usr/include/polybori/routines/pbori_algorithms.h
- -rw-r--r-- root(0) root(0) 20K /usr/include/polybori/routines/pbori_func.h
- -rw-r--r-- root(0) root(0) 1.7K /usr/include/polybori/routines/pbori_routines_cuddext.h
- -rw-r--r-- root(0) root(0) 1.6K /usr/include/polybori/routines/pbori_routines_dd.h
- -rw-r--r-- root(0) root(0) 1.0K /usr/include/polybori/routines/pbori_routines.h
- -rw-r--r-- root(0) root(0) 2.0K /usr/include/polybori/routines/pbori_routines_hash.h
- -rw-r--r-- root(0) root(0) 28K /usr/include/polybori/routines/pbori_routines_misc.h
- -rw-r--r-- root(0) root(0) 13K /usr/include/polybori/routines/pbori_routines_order.h
- -rwxrwxrwx root(0) root(0) 0 /usr/lib/libbrial_groebner.so
- -rwxrwxrwx root(0) root(0) 0 /usr/lib/libbrial_groebner.so.3
- -rwxr-xr-x root(0) root(0) 3.1M /usr/lib/libbrial_groebner.so.3.0.4
- -rwxrwxrwx root(0) root(0) 0 /usr/lib/libbrial.so
- -rwxrwxrwx root(0) root(0) 0 /usr/lib/libbrial.so.3
- -rwxr-xr-x root(0) root(0) 410K /usr/lib/libbrial.so.3.0.4
- -rw-r--r-- root(0) root(0) 18K /usr/share/doc/brial/LICENSE