drwxr-xr-x | 4096 | root |
root |
/usr/include/polybori
|
-rw-r--r-- | 517 | root |
root |
/usr/include/polybori.h
|
-rw-r--r-- | 1578 | root |
root |
/usr/include/polybori/BlockDegLexOrder.h
|
-rw-r--r-- | 1655 | root |
root |
/usr/include/polybori/BlockDegRevLexAscOrder.h
|
-rw-r--r-- | 3794 | root |
root |
/usr/include/polybori/BooleConstant.h
|
-rw-r--r-- | 4479 | root |
root |
/usr/include/polybori/BooleEnv.h
|
-rw-r--r-- | 8341 | root |
root |
/usr/include/polybori/BooleExponent.h
|
-rw-r--r-- | 11262 | root |
root |
/usr/include/polybori/BooleMonomial.h
|
-rw-r--r-- | 5901 | root |
root |
/usr/include/polybori/BoolePolyRing.h
|
-rw-r--r-- | 18417 | root |
root |
/usr/include/polybori/BoolePolynomial.h
|
-rw-r--r-- | 8271 | root |
root |
/usr/include/polybori/BooleSet.h
|
-rw-r--r-- | 1802 | root |
root |
/usr/include/polybori/BooleSetSequence.h
|
-rw-r--r-- | 2969 | root |
root |
/usr/include/polybori/BooleVariable.h
|
-rw-r--r-- | 2022 | root |
root |
/usr/include/polybori/DegLexOrder.h
|
-rw-r--r-- | 2101 | root |
root |
/usr/include/polybori/DegRevLexAscOrder.h
|
-rw-r--r-- | 2050 | root |
root |
/usr/include/polybori/LexOrder.h
|
drwxr-xr-x | 4096 | root |
root |
/usr/include/polybori/cache
|
drwxr-xr-x | 4096 | root |
root |
/usr/include/polybori/common
|
-rw-r--r-- | 584 | root |
root |
/usr/include/polybori/config.h
|
drwxr-xr-x | 4096 | root |
root |
/usr/include/polybori/cudd
|
drwxr-xr-x | 4096 | root |
root |
/usr/include/polybori/diagram
|
-rw-r--r-- | 10225 | root |
root |
/usr/include/polybori/embed.h
|
drwxr-xr-x | 4096 | root |
root |
/usr/include/polybori/except
|
drwxr-xr-x | 4096 | root |
root |
/usr/include/polybori/factories
|
drwxr-xr-x | 4096 | root |
root |
/usr/include/polybori/groebner
|
drwxr-xr-x | 4096 | root |
root |
/usr/include/polybori/iterators
|
drwxr-xr-x | 4096 | root |
root |
/usr/include/polybori/literals
|
drwxr-xr-x | 4096 | root |
root |
/usr/include/polybori/orderings
|
-rw-r--r-- | 7639 | root |
root |
/usr/include/polybori/pbori_defs.h
|
-rw-r--r-- | 1174 | root |
root |
/usr/include/polybori/polybori.h
|
drwxr-xr-x | 4096 | root |
root |
/usr/include/polybori/ring
|
drwxr-xr-x | 4096 | root |
root |
/usr/include/polybori/routines
|
-rw-r--r-- | 16622 | root |
root |
/usr/include/polybori/cache/CCacheManagement.h
|
-rw-r--r-- | 10142 | root |
root |
/usr/include/polybori/cache/CDegreeCache.h
|
-rw-r--r-- | 1565 | root |
root |
/usr/include/polybori/cache/CacheManager.h
|
-rw-r--r-- | 990 | root |
root |
/usr/include/polybori/common/CCheckedIdx.h
|
-rw-r--r-- | 4234 | root |
root |
/usr/include/polybori/common/CExtrusivePtr.h
|
-rw-r--r-- | 1581 | root |
root |
/usr/include/polybori/common/CWeakPtr.h
|
-rw-r--r-- | 1544 | root |
root |
/usr/include/polybori/common/CWeakPtrFacade.h
|
-rw-r--r-- | 1636 | root |
root |
/usr/include/polybori/common/TransformedSequence.h
|
-rw-r--r-- | 1710 | root |
root |
/usr/include/polybori/common/tags.h
|
-rw-r--r-- | 6112 | root |
root |
/usr/include/polybori/common/traits.h
|
-rw-r--r-- | 517 | root |
root |
/usr/include/polybori/cudd/cudd.h
|
-rw-r--r-- | 529 | root |
root |
/usr/include/polybori/cudd/cuddInt.h
|
-rw-r--r-- | 838 | root |
root |
/usr/include/polybori/cudd/prefix.h
|
-rw-r--r-- | 12942 | root |
root |
/usr/include/polybori/cudd/prefix_internal.h
|
-rw-r--r-- | 3862 | root |
root |
/usr/include/polybori/diagram/CApplyNodeFacade.h
|
-rw-r--r-- | 14411 | root |
root |
/usr/include/polybori/diagram/CCuddDDFacade.h
|
-rw-r--r-- | 1543 | root |
root |
/usr/include/polybori/diagram/CDDOperations.h
|
-rw-r--r-- | 1334 | root |
root |
/usr/include/polybori/diagram/CNodeCounter.h
|
-rw-r--r-- | 1130 | root |
root |
/usr/include/polybori/except/CErrorInfo.h
|
-rw-r--r-- | 1536 | root |
root |
/usr/include/polybori/except/PBoRiError.h
|
-rw-r--r-- | 1319 | root |
root |
/usr/include/polybori/except/PBoRiGenericError.h
|
-rw-r--r-- | 1442 | root |
root |
/usr/include/polybori/factories/CFactoryBase.h
|
-rw-r--r-- | 2328 | root |
root |
/usr/include/polybori/factories/MonomialFactory.h
|
-rw-r--r-- | 3460 | root |
root |
/usr/include/polybori/factories/PolynomialFactory.h
|
-rw-r--r-- | 2791 | root |
root |
/usr/include/polybori/factories/SetFactory.h
|
-rw-r--r-- | 2155 | root |
root |
/usr/include/polybori/factories/VariableBlock.h
|
-rw-r--r-- | 2152 | root |
root |
/usr/include/polybori/factories/VariableFactory.h
|
-rw-r--r-- | 2113 | root |
root |
/usr/include/polybori/groebner/BitMask.h
|
-rw-r--r-- | 1760 | root |
root |
/usr/include/polybori/groebner/BlockOrderHelper.h
|
-rw-r--r-- | 1693 | root |
root |
/usr/include/polybori/groebner/BoundedDivisorsOf.h
|
-rw-r--r-- | 1290 | root |
root |
/usr/include/polybori/groebner/ChainCriterion.h
|
-rw-r--r-- | 1416 | root |
root |
/usr/include/polybori/groebner/ChainVariableCriterion.h
|
-rw-r--r-- | 1867 | root |
root |
/usr/include/polybori/groebner/CheckChainCriterion.h
|
-rw-r--r-- | 2885 | root |
root |
/usr/include/polybori/groebner/CountCriterion.h
|
-rw-r--r-- | 1762 | root |
root |
/usr/include/polybori/groebner/DegOrderHelper.h
|
-rw-r--r-- | 962 | root |
root |
/usr/include/polybori/groebner/ExpGreater.h
|
-rw-r--r-- | 866 | root |
root |
/usr/include/polybori/groebner/ExpLexLess.h
|
-rw-r--r-- | 3132 | root |
root |
/usr/include/polybori/groebner/FGLMStrategy.h
|
-rw-r--r-- | 1063 | root |
root |
/usr/include/polybori/groebner/GetNthPoly.h
|
-rw-r--r-- | 1750 | root |
root |
/usr/include/polybori/groebner/GroebnerOptions.h
|
-rw-r--r-- | 6934 | root |
root |
/usr/include/polybori/groebner/GroebnerStrategy.h
|
-rw-r--r-- | 2265 | root |
root |
/usr/include/polybori/groebner/HasTRepOrExtendedProductCriterion.h
|
-rw-r--r-- | 906 | root |
root |
/usr/include/polybori/groebner/IJPairData.h
|
-rw-r--r-- | 1002 | root |
root |
/usr/include/polybori/groebner/IsEcart0Predicate.h
|
-rw-r--r-- | 1132 | root |
root |
/usr/include/polybori/groebner/IsVariableOfIndex.h
|
-rw-r--r-- | 3202 | root |
root |
/usr/include/polybori/groebner/LLReduction.h
|
-rw-r--r-- | 2178 | root |
root |
/usr/include/polybori/groebner/LLReductor.h
|
-rw-r--r-- | 848 | root |
root |
/usr/include/polybori/groebner/LMLessCompare.h
|
-rw-r--r-- | 867 | root |
root |
/usr/include/polybori/groebner/LMLessComparePS.h
|
-rw-r--r-- | 996 | root |
root |
/usr/include/polybori/groebner/LargerDegreeComparer.h
|
-rw-r--r-- | 1026 | root |
root |
/usr/include/polybori/groebner/LeadingTerms.h
|
-rw-r--r-- | 1099 | root |
root |
/usr/include/polybori/groebner/LeadingTerms00.h
|
-rw-r--r-- | 1097 | root |
root |
/usr/include/polybori/groebner/LeadingTerms11.h
|
-rw-r--r-- | 1475 | root |
root |
/usr/include/polybori/groebner/LessCombinedManySizesInStrat.h
|
-rw-r--r-- | 1558 | root |
root |
/usr/include/polybori/groebner/LessEcartThenLessWeightedLengthInStrat.h
|
-rw-r--r-- | 1612 | root |
root |
/usr/include/polybori/groebner/LessUsedTailVariablesThenLessWeightedLengthInStrat.h
|
-rw-r--r-- | 1259 | root |
root |
/usr/include/polybori/groebner/LessWeightedLengthInStrat.h
|
-rw-r--r-- | 1765 | root |
root |
/usr/include/polybori/groebner/LessWeightedLengthInStratModified.h
|
-rw-r--r-- | 2020 | root |
root |
/usr/include/polybori/groebner/LexBucket.h
|
-rw-r--r-- | 2366 | root |
root |
/usr/include/polybori/groebner/LexHelper.h
|
-rw-r--r-- | 1097 | root |
root |
/usr/include/polybori/groebner/LexOrderGreaterComparer.h
|
-rw-r--r-- | 1470 | root |
root |
/usr/include/polybori/groebner/LiteralFactorization.h
|
-rw-r--r-- | 2176 | root |
root |
/usr/include/polybori/groebner/LiteralFactorizationIterator.h
|
-rw-r--r-- | 1634 | root |
root |
/usr/include/polybori/groebner/Long64From32BitsPair.h
|
-rw-r--r-- | 1296 | root |
root |
/usr/include/polybori/groebner/MatrixMonomialOrderTables.h
|
-rw-r--r-- | 2043 | root |
root |
/usr/include/polybori/groebner/MinimalLeadingTerms.h
|
-rw-r--r-- | 822 | root |
root |
/usr/include/polybori/groebner/MonomialHasher.h
|
-rw-r--r-- | 1233 | root |
root |
/usr/include/polybori/groebner/MonomialPlusOneTerms.h
|
-rw-r--r-- | 1110 | root |
root |
/usr/include/polybori/groebner/MonomialTerms.h
|
-rw-r--r-- | 947 | root |
root |
/usr/include/polybori/groebner/NBitsUsed.h
|
-rw-r--r-- | 3030 | root |
root |
/usr/include/polybori/groebner/NextSpoly.h
|
-rw-r--r-- | 949 | root |
root |
/usr/include/polybori/groebner/PSCompareByEl.h
|
-rw-r--r-- | 909 | root |
root |
/usr/include/polybori/groebner/PairData.h
|
-rw-r--r-- | 2485 | root |
root |
/usr/include/polybori/groebner/PairE.h
|
-rw-r--r-- | 1192 | root |
root |
/usr/include/polybori/groebner/PairECompare.h
|
-rw-r--r-- | 1927 | root |
root |
/usr/include/polybori/groebner/PairLS.h
|
-rw-r--r-- | 1044 | root |
root |
/usr/include/polybori/groebner/PairLSCompare.h
|
-rw-r--r-- | 2543 | root |
root |
/usr/include/polybori/groebner/PairManager.h
|
-rw-r--r-- | 3137 | root |
root |
/usr/include/polybori/groebner/PairManagerFacade.h
|
-rw-r--r-- | 1912 | root |
root |
/usr/include/polybori/groebner/PairStatusSet.h
|
-rw-r--r-- | 1822 | root |
root |
/usr/include/polybori/groebner/PolyEntry.h
|
-rw-r--r-- | 1903 | root |
root |
/usr/include/polybori/groebner/PolyEntryBase.h
|
-rw-r--r-- | 3375 | root |
root |
/usr/include/polybori/groebner/PolyEntryIndices.h
|
-rw-r--r-- | 997 | root |
root |
/usr/include/polybori/groebner/PolyEntryPtrLmLess.h
|
-rw-r--r-- | 2272 | root |
root |
/usr/include/polybori/groebner/PolyEntryReference.h
|
-rw-r--r-- | 3720 | root |
root |
/usr/include/polybori/groebner/PolyEntryVector.h
|
-rw-r--r-- | 1054 | root |
root |
/usr/include/polybori/groebner/PolyFromPolyEntry.h
|
-rw-r--r-- | 1052 | root |
root |
/usr/include/polybori/groebner/PolyMonomialPairComparerLess.h
|
-rw-r--r-- | 1133 | root |
root |
/usr/include/polybori/groebner/PolyMonomialPairComparerLexLess.h
|
-rw-r--r-- | 896 | root |
root |
/usr/include/polybori/groebner/PolyPairData.h
|
-rw-r--r-- | 3120 | root |
root |
/usr/include/polybori/groebner/PolynomialSugar.h
|
-rw-r--r-- | 872 | root |
root |
/usr/include/polybori/groebner/PseudoLongLong.h
|
-rw-r--r-- | 2030 | root |
root |
/usr/include/polybori/groebner/PseudoLongProduct.h
|
-rw-r--r-- | 1238 | root |
root |
/usr/include/polybori/groebner/RankingVector.h
|
-rw-r--r-- | 1240 | root |
root |
/usr/include/polybori/groebner/RedTailNth.h
|
-rw-r--r-- | 1103 | root |
root |
/usr/include/polybori/groebner/ReductionOptions.h
|
-rw-r--r-- | 3159 | root |
root |
/usr/include/polybori/groebner/ReductionStrategy.h
|
-rw-r--r-- | 2490 | root |
root |
/usr/include/polybori/groebner/ReductionTerms.h
|
-rw-r--r-- | 1750 | root |
root |
/usr/include/polybori/groebner/RelatedTerms.h
|
-rw-r--r-- | 3096 | root |
root |
/usr/include/polybori/groebner/RelatedTermsBase.h
|
-rw-r--r-- | 1183 | root |
root |
/usr/include/polybori/groebner/SetAssociatedMinimal.h
|
-rw-r--r-- | 816 | root |
root |
/usr/include/polybori/groebner/SetBitUInt.h
|
-rw-r--r-- | 1140 | root |
root |
/usr/include/polybori/groebner/ShorterEliminationLength.h
|
-rw-r--r-- | 1358 | root |
root |
/usr/include/polybori/groebner/ShorterEliminationLengthModified.h
|
-rw-r--r-- | 3138 | root |
root |
/usr/include/polybori/groebner/SlimgbReduction.h
|
-rw-r--r-- | 1401 | root |
root |
/usr/include/polybori/groebner/TermsFacade.h
|
-rw-r--r-- | 1142 | root |
root |
/usr/include/polybori/groebner/TimesConstantImplication.h
|
-rw-r--r-- | 1175 | root |
root |
/usr/include/polybori/groebner/TimesVariableSubstitution.h
|
-rw-r--r-- | 999 | root |
root |
/usr/include/polybori/groebner/VariablePairData.h
|
-rw-r--r-- | 821 | root |
root |
/usr/include/polybori/groebner/ZeroFunction.h
|
-rw-r--r-- | 8098 | root |
root |
/usr/include/polybori/groebner/add_up.h
|
-rw-r--r-- | 3093 | root |
root |
/usr/include/polybori/groebner/cache_manager.h
|
-rw-r--r-- | 3366 | root |
root |
/usr/include/polybori/groebner/contained_variables.h
|
-rw-r--r-- | 223 | root |
root |
/usr/include/polybori/groebner/dlex4data.h
|
-rw-r--r-- | 229 | root |
root |
/usr/include/polybori/groebner/dp_asc4data.h
|
-rw-r--r-- | 1769 | root |
root |
/usr/include/polybori/groebner/draw_matrix.h
|
-rw-r--r-- | 4541 | root |
root |
/usr/include/polybori/groebner/fixed_path_divisors.h
|
-rw-r--r-- | 194 | root |
root |
/usr/include/polybori/groebner/groebner.h
|
-rw-r--r-- | 2911 | root |
root |
/usr/include/polybori/groebner/groebner_alg.h
|
-rw-r--r-- | 1150 | root |
root |
/usr/include/polybori/groebner/groebner_defs.h
|
-rw-r--r-- | 644 | root |
root |
/usr/include/polybori/groebner/interpolate.h
|
-rw-r--r-- | 19697 | root |
root |
/usr/include/polybori/groebner/linear_algebra_step.h
|
-rw-r--r-- | 2210 | root |
root |
/usr/include/polybori/groebner/ll_red_nf.h
|
-rw-r--r-- | 217 | root |
root |
/usr/include/polybori/groebner/lp4data.h
|
-rw-r--r-- | 13534 | root |
root |
/usr/include/polybori/groebner/minimal_elements.h
|
-rw-r--r-- | 1498 | root |
root |
/usr/include/polybori/groebner/nf.h
|
-rw-r--r-- | 655 | root |
root |
/usr/include/polybori/groebner/pairs.h
|
-rw-r--r-- | 282 | root |
root |
/usr/include/polybori/groebner/polynomial_properties.h
|
-rw-r--r-- | 707 | root |
root |
/usr/include/polybori/groebner/randomset.h
|
-rw-r--r-- | 6137 | root |
root |
/usr/include/polybori/groebner/red_tail.h
|
-rw-r--r-- | 4284 | root |
root |
/usr/include/polybori/groebner/tables.h
|
-rw-r--r-- | 4737 | root |
root |
/usr/include/polybori/iterators/CBidirectTermIter.h
|
-rw-r--r-- | 2381 | root |
root |
/usr/include/polybori/iterators/CCuddFirstIter.h
|
-rw-r--r-- | 1520 | root |
root |
/usr/include/polybori/iterators/CCuddLastIter.h
|
-rw-r--r-- | 5922 | root |
root |
/usr/include/polybori/iterators/CCuddNavigator.h
|
-rw-r--r-- | 3256 | root |
root |
/usr/include/polybori/iterators/CExpIter.h
|
-rw-r--r-- | 2556 | root |
root |
/usr/include/polybori/iterators/CGenericIter.h
|
-rw-r--r-- | 7063 | root |
root |
/usr/include/polybori/iterators/COrderedIter.h
|
-rw-r--r-- | 2196 | root |
root |
/usr/include/polybori/iterators/CStackSelector.h
|
-rw-r--r-- | 4512 | root |
root |
/usr/include/polybori/iterators/CTermGenerator.h
|
-rw-r--r-- | 3956 | root |
root |
/usr/include/polybori/iterators/CTermIter.h
|
-rw-r--r-- | 23997 | root |
root |
/usr/include/polybori/iterators/CTermStack.h
|
-rw-r--r-- | 2107 | root |
root |
/usr/include/polybori/iterators/CVariableIter.h
|
-rw-r--r-- | 2179 | root |
root |
/usr/include/polybori/iterators/PBoRiOutIter.h
|
-rw-r--r-- | 2250 | root |
root |
/usr/include/polybori/iterators/TransformedIterator.h
|
-rw-r--r-- | 1086 | root |
root |
/usr/include/polybori/literals/CLiteralCodes.h
|
-rw-r--r-- | 1887 | root |
root |
/usr/include/polybori/literals/CStringLiteral.h
|
-rw-r--r-- | 4319 | root |
root |
/usr/include/polybori/orderings/CBlockOrderingFacade.h
|
-rw-r--r-- | 5297 | root |
root |
/usr/include/polybori/orderings/COrderingBase.h
|
-rw-r--r-- | 6296 | root |
root |
/usr/include/polybori/orderings/COrderingFacade.h
|
-rw-r--r-- | 2682 | root |
root |
/usr/include/polybori/orderings/COrderingTags.h
|
-rw-r--r-- | 1141 | root |
root |
/usr/include/polybori/orderings/order_tags.h
|
-rw-r--r-- | 1591 | root |
root |
/usr/include/polybori/orderings/order_traits.h
|
-rw-r--r-- | 2012 | root |
root |
/usr/include/polybori/orderings/pbori_order.h
|
-rw-r--r-- | 3072 | root |
root |
/usr/include/polybori/ring/CCallbackWrapper.h
|
-rw-r--r-- | 3315 | root |
root |
/usr/include/polybori/ring/CCuddCore.h
|
-rw-r--r-- | 12042 | root |
root |
/usr/include/polybori/ring/CCuddInterface.h
|
-rw-r--r-- | 2538 | root |
root |
/usr/include/polybori/ring/CMemberFunctionTraits.h
|
-rw-r--r-- | 2512 | root |
root |
/usr/include/polybori/ring/CVariableNames.h
|
-rw-r--r-- | 1410 | root |
root |
/usr/include/polybori/ring/WeakRingPtr.h
|
-rw-r--r-- | 24813 | root |
root |
/usr/include/polybori/routines/pbori_algo.h
|
-rw-r--r-- | 20207 | root |
root |
/usr/include/polybori/routines/pbori_algo_int.h
|
-rw-r--r-- | 8929 | root |
root |
/usr/include/polybori/routines/pbori_algorithms.h
|
-rw-r--r-- | 23104 | root |
root |
/usr/include/polybori/routines/pbori_func.h
|
-rw-r--r-- | 1063 | root |
root |
/usr/include/polybori/routines/pbori_routines.h
|
-rw-r--r-- | 1771 | root |
root |
/usr/include/polybori/routines/pbori_routines_cuddext.h
|
-rw-r--r-- | 1640 | root |
root |
/usr/include/polybori/routines/pbori_routines_dd.h
|
-rw-r--r-- | 2072 | root |
root |
/usr/include/polybori/routines/pbori_routines_hash.h
|
-rw-r--r-- | 28997 | root |
root |
/usr/include/polybori/routines/pbori_routines_misc.h
|
-rw-r--r-- | 13733 | root |
root |
/usr/include/polybori/routines/pbori_routines_order.h
|
lrwxrwxrwx | 20 | root |
root |
/usr/lib/libpolybori-0.8.so
|
lrwxrwxrwx | 18 | root |
root |
/usr/lib/libpolybori.so
|
lrwxrwxrwx | 29 | root |
root |
/usr/lib/libpolybori_groebner-0.8.so
|
lrwxrwxrwx | 27 | root |
root |
/usr/lib/libpolybori_groebner.so
|
-rw-r--r-- | 727 | root |
root |
/usr/lib/pkgconfig/polybori-0.8.pc
|
-rw-r--r-- | 769 | root |
root |
/usr/lib/pkgconfig/polybori-groebner-0.8.pc
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/polybori-devel-0.8.3
|
-rw-r--r-- | 18337 | root |
root |
/usr/share/doc/polybori-devel-0.8.3/ChangeLog
|