drwxr-xr-x | 4096 | root |
root |
/usr/lib/debug
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/debug/.build-id
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/debug/usr
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/debug/.build-id/ae
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/debug/.build-id/e1
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/debug/.build-id/ef
|
lrwxrwxrwx | 44 | root |
root |
/usr/lib/debug/.build-id/ae/c8fbed3277372bdaa40eb5cc8a11cc8b5cca8e
|
lrwxrwxrwx | 48 | root |
root |
/usr/lib/debug/.build-id/ae/c8fbed3277372bdaa40eb5cc8a11cc8b5cca8e.debug
|
lrwxrwxrwx | 72 | root |
root |
/usr/lib/debug/.build-id/e1/b9e45efc12d29824df9e2182e44639f3407712
|
lrwxrwxrwx | 76 | root |
root |
/usr/lib/debug/.build-id/e1/b9e45efc12d29824df9e2182e44639f3407712.debug
|
lrwxrwxrwx | 53 | root |
root |
/usr/lib/debug/.build-id/ef/f2f014757fa7fe3fd0f612fd549f6624c8dfd9
|
lrwxrwxrwx | 57 | root |
root |
/usr/lib/debug/.build-id/ef/f2f014757fa7fe3fd0f612fd549f6624c8dfd9.debug
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/debug/usr/lib64
|
-r--r--r-- | 7325536 | root |
root |
/usr/lib/debug/usr/lib64/libpolybori-0.8.2.so.0.0.0.debug
|
lrwxrwxrwx | 32 | root |
root |
/usr/lib/debug/usr/lib64/libpolybori-0.8.2.so.0.debug
|
lrwxrwxrwx | 32 | root |
root |
/usr/lib/debug/usr/lib64/libpolybori-0.8.2.so.debug
|
lrwxrwxrwx | 32 | root |
root |
/usr/lib/debug/usr/lib64/libpolybori.so.debug
|
-r--r--r-- | 14941272 | root |
root |
/usr/lib/debug/usr/lib64/libpolybori_groebner-0.8.2.so.0.0.0.debug
|
lrwxrwxrwx | 41 | root |
root |
/usr/lib/debug/usr/lib64/libpolybori_groebner-0.8.2.so.0.debug
|
lrwxrwxrwx | 41 | root |
root |
/usr/lib/debug/usr/lib64/libpolybori_groebner-0.8.2.so.debug
|
lrwxrwxrwx | 41 | root |
root |
/usr/lib/debug/usr/lib64/libpolybori_groebner.so.debug
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/debug/usr/lib64/python2.7
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/debug/usr/lib64/python2.7/site-packages
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/debug/usr/lib64/python2.7/site-packages/polybori
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/debug/usr/lib64/python2.7/site-packages/polybori/dynamic
|
-r--r--r-- | 26093944 | root |
root |
/usr/lib/debug/usr/lib64/python2.7/site-packages/polybori/dynamic/PyPolyBoRi.so.debug
|
drwxr-xr-x | 4096 | root |
root |
/usr/src/debug/polybori-0.8.2
|
drwxr-xr-x | 4096 | root |
root |
/usr/src/debug/polybori-0.8.2/PyPolyBoRi
|
drwxr-xr-x | 4096 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner
|
drwxr-xr-x | 4096 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori
|
-rw-r--r-- | 8062 | root |
root |
/usr/src/debug/polybori-0.8.2/PyPolyBoRi/Poly_wrapper.cc
|
-rw-r--r-- | 764 | root |
root |
/usr/src/debug/polybori-0.8.2/PyPolyBoRi/Poly_wrapper.h
|
-rw-r--r-- | 619 | root |
root |
/usr/src/debug/polybori-0.8.2/PyPolyBoRi/fglm_wrapper.cc
|
-rw-r--r-- | 154 | root |
root |
/usr/src/debug/polybori-0.8.2/PyPolyBoRi/fglm_wrapper.h
|
-rw-r--r-- | 8520 | root |
root |
/usr/src/debug/polybori-0.8.2/PyPolyBoRi/main_wrapper.cc
|
-rw-r--r-- | 176 | root |
root |
/usr/src/debug/polybori-0.8.2/PyPolyBoRi/main_wrapper.h
|
-rw-r--r-- | 1683 | root |
root |
/usr/src/debug/polybori-0.8.2/PyPolyBoRi/misc_wrapper.cc
|
-rw-r--r-- | 176 | root |
root |
/usr/src/debug/polybori-0.8.2/PyPolyBoRi/misc_wrapper.h
|
-rw-r--r-- | 5367 | root |
root |
/usr/src/debug/polybori-0.8.2/PyPolyBoRi/monomial_wrapper.cc
|
-rw-r--r-- | 180 | root |
root |
/usr/src/debug/polybori-0.8.2/PyPolyBoRi/monomial_wrapper.h
|
-rw-r--r-- | 1544 | root |
root |
/usr/src/debug/polybori-0.8.2/PyPolyBoRi/navigator_wrap.cc
|
-rw-r--r-- | 172 | root |
root |
/usr/src/debug/polybori-0.8.2/PyPolyBoRi/navigator_wrap.h
|
-rw-r--r-- | 984 | root |
root |
/usr/src/debug/polybori-0.8.2/PyPolyBoRi/ntl_wrapper.cc
|
-rw-r--r-- | 165 | root |
root |
/usr/src/debug/polybori-0.8.2/PyPolyBoRi/ntl_wrapper.h
|
-rw-r--r-- | 351 | root |
root |
/usr/src/debug/polybori-0.8.2/PyPolyBoRi/out_helper.h
|
-rw-r--r-- | 1206 | root |
root |
/usr/src/debug/polybori-0.8.2/PyPolyBoRi/pypb_module.cc
|
-rw-r--r-- | 4984 | root |
root |
/usr/src/debug/polybori-0.8.2/PyPolyBoRi/set_wrapper.cc
|
-rw-r--r-- | 169 | root |
root |
/usr/src/debug/polybori-0.8.2/PyPolyBoRi/set_wrapper.h
|
-rw-r--r-- | 1321 | root |
root |
/usr/src/debug/polybori-0.8.2/PyPolyBoRi/slimgb_wrapper.cc
|
-rw-r--r-- | 168 | root |
root |
/usr/src/debug/polybori-0.8.2/PyPolyBoRi/slimgb_wrapper.h
|
-rw-r--r-- | 12029 | root |
root |
/usr/src/debug/polybori-0.8.2/PyPolyBoRi/strategy_wrapper.cc
|
-rw-r--r-- | 213 | root |
root |
/usr/src/debug/polybori-0.8.2/PyPolyBoRi/strategy_wrapper.h
|
-rw-r--r-- | 1804 | root |
root |
/usr/src/debug/polybori-0.8.2/PyPolyBoRi/test_util.cc
|
-rw-r--r-- | 179 | root |
root |
/usr/src/debug/polybori-0.8.2/PyPolyBoRi/test_util.h
|
-rw-r--r-- | 1697 | root |
root |
/usr/src/debug/polybori-0.8.2/PyPolyBoRi/variable_block.cc
|
-rw-r--r-- | 232 | root |
root |
/usr/src/debug/polybori-0.8.2/PyPolyBoRi/variable_block.h
|
drwxr-xr-x | 4096 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include
|
drwxr-xr-x | 4096 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/src
|
drwxr-xr-x | 4096 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori
|
drwxr-xr-x | 4096 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner
|
-rw-r--r-- | 2113 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/BitMask.h
|
-rw-r--r-- | 1760 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/BlockOrderHelper.h
|
-rw-r--r-- | 1693 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/BoundedDivisorsOf.h
|
-rw-r--r-- | 1290 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/ChainCriterion.h
|
-rw-r--r-- | 1867 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/CheckChainCriterion.h
|
-rw-r--r-- | 1762 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/DegOrderHelper.h
|
-rw-r--r-- | 962 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/ExpGreater.h
|
-rw-r--r-- | 866 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/ExpLexLess.h
|
-rw-r--r-- | 3132 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/FGLMStrategy.h
|
-rw-r--r-- | 1063 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/GetNthPoly.h
|
-rw-r--r-- | 1750 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/GroebnerOptions.h
|
-rw-r--r-- | 6934 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/GroebnerStrategy.h
|
-rw-r--r-- | 2265 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/HasTRepOrExtendedProductCriterion.h
|
-rw-r--r-- | 906 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/IJPairData.h
|
-rw-r--r-- | 1002 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/IsEcart0Predicate.h
|
-rw-r--r-- | 1132 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/IsVariableOfIndex.h
|
-rw-r--r-- | 3202 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/LLReduction.h
|
-rw-r--r-- | 2178 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/LLReductor.h
|
-rw-r--r-- | 867 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/LMLessComparePS.h
|
-rw-r--r-- | 996 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/LargerDegreeComparer.h
|
-rw-r--r-- | 1026 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/LeadingTerms.h
|
-rw-r--r-- | 1099 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/LeadingTerms00.h
|
-rw-r--r-- | 1097 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/LeadingTerms11.h
|
-rw-r--r-- | 1259 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/LessWeightedLengthInStrat.h
|
-rw-r--r-- | 1765 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/LessWeightedLengthInStratModified.h
|
-rw-r--r-- | 2020 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/LexBucket.h
|
-rw-r--r-- | 2366 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/LexHelper.h
|
-rw-r--r-- | 1097 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/LexOrderGreaterComparer.h
|
-rw-r--r-- | 1470 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/LiteralFactorization.h
|
-rw-r--r-- | 2176 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/LiteralFactorizationIterator.h
|
-rw-r--r-- | 1634 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/Long64From32BitsPair.h
|
-rw-r--r-- | 1296 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/MatrixMonomialOrderTables.h
|
-rw-r--r-- | 2043 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/MinimalLeadingTerms.h
|
-rw-r--r-- | 1233 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/MonomialPlusOneTerms.h
|
-rw-r--r-- | 1110 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/MonomialTerms.h
|
-rw-r--r-- | 3030 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/NextSpoly.h
|
-rw-r--r-- | 949 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/PSCompareByEl.h
|
-rw-r--r-- | 909 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/PairData.h
|
-rw-r--r-- | 2485 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/PairE.h
|
-rw-r--r-- | 1192 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/PairECompare.h
|
-rw-r--r-- | 1927 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/PairLS.h
|
-rw-r--r-- | 2543 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/PairManager.h
|
-rw-r--r-- | 3137 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/PairManagerFacade.h
|
-rw-r--r-- | 1912 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/PairStatusSet.h
|
-rw-r--r-- | 1822 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/PolyEntry.h
|
-rw-r--r-- | 1903 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/PolyEntryBase.h
|
-rw-r--r-- | 3375 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/PolyEntryIndices.h
|
-rw-r--r-- | 997 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/PolyEntryPtrLmLess.h
|
-rw-r--r-- | 2272 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/PolyEntryReference.h
|
-rw-r--r-- | 3605 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/PolyEntryVector.h
|
-rw-r--r-- | 1054 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/PolyFromPolyEntry.h
|
-rw-r--r-- | 1052 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/PolyMonomialPairComparerLess.h
|
-rw-r--r-- | 896 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/PolyPairData.h
|
-rw-r--r-- | 3120 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/PolynomialSugar.h
|
-rw-r--r-- | 2030 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/PseudoLongProduct.h
|
-rw-r--r-- | 1238 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/RankingVector.h
|
-rw-r--r-- | 1240 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/RedTailNth.h
|
-rw-r--r-- | 1103 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/ReductionOptions.h
|
-rw-r--r-- | 3159 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/ReductionStrategy.h
|
-rw-r--r-- | 2490 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/ReductionTerms.h
|
-rw-r--r-- | 1750 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/RelatedTerms.h
|
-rw-r--r-- | 3096 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/RelatedTermsBase.h
|
-rw-r--r-- | 1183 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/SetAssociatedMinimal.h
|
-rw-r--r-- | 816 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/SetBitUInt.h
|
-rw-r--r-- | 1358 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/ShorterEliminationLengthModified.h
|
-rw-r--r-- | 3138 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/SlimgbReduction.h
|
-rw-r--r-- | 1401 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/TermsFacade.h
|
-rw-r--r-- | 1142 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/TimesConstantImplication.h
|
-rw-r--r-- | 1175 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/TimesVariableSubstitution.h
|
-rw-r--r-- | 999 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/VariablePairData.h
|
-rw-r--r-- | 821 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/ZeroFunction.h
|
-rw-r--r-- | 8098 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/add_up.h
|
-rw-r--r-- | 3093 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/cache_manager.h
|
-rw-r--r-- | 3366 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/contained_variables.h
|
-rw-r--r-- | 223 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/dlex4data.h
|
-rw-r--r-- | 229 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/dp_asc4data.h
|
-rw-r--r-- | 1754 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/draw_matrix.h
|
-rw-r--r-- | 4541 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/fixed_path_divisors.h
|
-rw-r--r-- | 2911 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/groebner_alg.h
|
-rw-r--r-- | 1150 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/groebner_defs.h
|
-rw-r--r-- | 644 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/interpolate.h
|
-rw-r--r-- | 19640 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/linear_algebra_step.h
|
-rw-r--r-- | 2210 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/ll_red_nf.h
|
-rw-r--r-- | 217 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/lp4data.h
|
-rw-r--r-- | 13534 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/minimal_elements.h
|
-rw-r--r-- | 1498 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/nf.h
|
-rw-r--r-- | 655 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/pairs.h
|
-rw-r--r-- | 282 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/polynomial_properties.h
|
-rw-r--r-- | 707 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/randomset.h
|
-rw-r--r-- | 6137 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/red_tail.h
|
-rw-r--r-- | 4284 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/include/polybori/groebner/tables.h
|
-rw-r--r-- | 27473 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/src/FGLMStrategy.cc
|
-rw-r--r-- | 26043 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/src/GroebnerStrategy.cc
|
-rw-r--r-- | 2956 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/src/LexBucket.cc
|
-rw-r--r-- | 15650 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/src/LiteralFactorization.cc
|
-rw-r--r-- | 1105 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/src/LiteralFactorizationIterator.cc
|
-rw-r--r-- | 1409 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/src/MatrixMonomialOrderTables.cc
|
-rw-r--r-- | 536 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/src/PairManager.cc
|
-rw-r--r-- | 1088 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/src/PolyEntry.cc
|
-rw-r--r-- | 3236 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/src/ReductionStrategy.cc
|
-rw-r--r-- | 2363516 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/src/dlex4data.cc
|
-rw-r--r-- | 2299057 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/src/dp_asc4data.cc
|
-rw-r--r-- | 13969 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/src/groebner_alg.cc
|
-rw-r--r-- | 10012 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/src/interpolate.cc
|
-rw-r--r-- | 2335709 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/src/lp4data.cc
|
-rw-r--r-- | 27076 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/src/nf.cc
|
-rw-r--r-- | 239 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/src/pairs.cc
|
-rw-r--r-- | 3560 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/src/polynomial_properties.cc
|
-rw-r--r-- | 1492 | root |
root |
/usr/src/debug/polybori-0.8.2/groebner/src/randomset.cc
|
drwxr-xr-x | 4096 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include
|
drwxr-xr-x | 4096 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/src
|
drwxr-xr-x | 4096 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori
|
-rw-r--r-- | 1578 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/BlockDegLexOrder.h
|
-rw-r--r-- | 1655 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/BlockDegRevLexAscOrder.h
|
-rw-r--r-- | 3794 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/BooleConstant.h
|
-rw-r--r-- | 4479 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/BooleEnv.h
|
-rw-r--r-- | 8341 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/BooleExponent.h
|
-rw-r--r-- | 11262 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/BooleMonomial.h
|
-rw-r--r-- | 5901 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/BoolePolyRing.h
|
-rw-r--r-- | 18417 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/BoolePolynomial.h
|
-rw-r--r-- | 8271 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/BooleSet.h
|
-rw-r--r-- | 2969 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/BooleVariable.h
|
-rw-r--r-- | 2022 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/DegLexOrder.h
|
-rw-r--r-- | 2101 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/DegRevLexAscOrder.h
|
-rw-r--r-- | 2050 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/LexOrder.h
|
drwxr-xr-x | 4096 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/cache
|
drwxr-xr-x | 4096 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/common
|
drwxr-xr-x | 4096 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/diagram
|
drwxr-xr-x | 4096 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/except
|
drwxr-xr-x | 4096 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/factories
|
drwxr-xr-x | 4096 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/iterators
|
drwxr-xr-x | 4096 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/literals
|
drwxr-xr-x | 4096 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/orderings
|
-rw-r--r-- | 7639 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/pbori_defs.h
|
drwxr-xr-x | 4096 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/ring
|
drwxr-xr-x | 4096 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/routines
|
-rw-r--r-- | 16622 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/cache/CCacheManagement.h
|
-rw-r--r-- | 10142 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/cache/CDegreeCache.h
|
-rw-r--r-- | 1565 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/cache/CacheManager.h
|
-rw-r--r-- | 990 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/common/CCheckedIdx.h
|
-rw-r--r-- | 4234 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/common/CExtrusivePtr.h
|
-rw-r--r-- | 1581 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/common/CWeakPtr.h
|
-rw-r--r-- | 1544 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/common/CWeakPtrFacade.h
|
-rw-r--r-- | 1636 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/common/TransformedSequence.h
|
-rw-r--r-- | 1710 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/common/tags.h
|
-rw-r--r-- | 3862 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/diagram/CApplyNodeFacade.h
|
-rw-r--r-- | 14411 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/diagram/CCuddDDFacade.h
|
-rw-r--r-- | 1543 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/diagram/CDDOperations.h
|
-rw-r--r-- | 1334 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/diagram/CNodeCounter.h
|
-rw-r--r-- | 1130 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/except/CErrorInfo.h
|
-rw-r--r-- | 1536 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/except/PBoRiError.h
|
-rw-r--r-- | 1319 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/except/PBoRiGenericError.h
|
-rw-r--r-- | 1442 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/factories/CFactoryBase.h
|
-rw-r--r-- | 2328 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/factories/MonomialFactory.h
|
-rw-r--r-- | 3460 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/factories/PolynomialFactory.h
|
-rw-r--r-- | 2791 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/factories/SetFactory.h
|
-rw-r--r-- | 2155 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/factories/VariableBlock.h
|
-rw-r--r-- | 2152 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/factories/VariableFactory.h
|
-rw-r--r-- | 4737 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/iterators/CBidirectTermIter.h
|
-rw-r--r-- | 2381 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/iterators/CCuddFirstIter.h
|
-rw-r--r-- | 1520 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/iterators/CCuddLastIter.h
|
-rw-r--r-- | 5922 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/iterators/CCuddNavigator.h
|
-rw-r--r-- | 3256 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/iterators/CExpIter.h
|
-rw-r--r-- | 2556 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/iterators/CGenericIter.h
|
-rw-r--r-- | 7063 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/iterators/COrderedIter.h
|
-rw-r--r-- | 2196 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/iterators/CStackSelector.h
|
-rw-r--r-- | 4512 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/iterators/CTermGenerator.h
|
-rw-r--r-- | 3956 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/iterators/CTermIter.h
|
-rw-r--r-- | 23997 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/iterators/CTermStack.h
|
-rw-r--r-- | 2107 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/iterators/CVariableIter.h
|
-rw-r--r-- | 2179 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/iterators/PBoRiOutIter.h
|
-rw-r--r-- | 2250 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/iterators/TransformedIterator.h
|
-rw-r--r-- | 1086 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/literals/CLiteralCodes.h
|
-rw-r--r-- | 1887 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/literals/CStringLiteral.h
|
-rw-r--r-- | 4319 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/orderings/CBlockOrderingFacade.h
|
-rw-r--r-- | 5297 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/orderings/COrderingBase.h
|
-rw-r--r-- | 6296 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/orderings/COrderingFacade.h
|
-rw-r--r-- | 2682 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/orderings/COrderingTags.h
|
-rw-r--r-- | 1141 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/orderings/order_tags.h
|
-rw-r--r-- | 1591 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/orderings/order_traits.h
|
-rw-r--r-- | 2012 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/orderings/pbori_order.h
|
-rw-r--r-- | 3072 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/ring/CCallbackWrapper.h
|
-rw-r--r-- | 3315 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/ring/CCuddCore.h
|
-rw-r--r-- | 12042 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/ring/CCuddInterface.h
|
-rw-r--r-- | 2538 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/ring/CMemberFunctionTraits.h
|
-rw-r--r-- | 2512 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/ring/CVariableNames.h
|
-rw-r--r-- | 1410 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/ring/WeakRingPtr.h
|
-rw-r--r-- | 24813 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/routines/pbori_algo.h
|
-rw-r--r-- | 8929 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/routines/pbori_algorithms.h
|
-rw-r--r-- | 23104 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/routines/pbori_func.h
|
-rw-r--r-- | 1771 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/routines/pbori_routines_cuddext.h
|
-rw-r--r-- | 1640 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/routines/pbori_routines_dd.h
|
-rw-r--r-- | 2072 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/routines/pbori_routines_hash.h
|
-rw-r--r-- | 28997 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/routines/pbori_routines_misc.h
|
-rw-r--r-- | 13733 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/include/polybori/routines/pbori_routines_order.h
|
-rw-r--r-- | 1372 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/src/BlockDegLexOrder.cc
|
-rw-r--r-- | 1496 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/src/BlockDegRevLexAscOrder.cc
|
-rw-r--r-- | 3392 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/src/BooleEnv.cc
|
-rw-r--r-- | 10650 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/src/BooleExponent.cc
|
-rw-r--r-- | 6279 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/src/BooleMonomial.cc
|
-rw-r--r-- | 3422 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/src/BoolePolyRing.cc
|
-rw-r--r-- | 23681 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/src/BoolePolynomial.cc
|
-rw-r--r-- | 8540 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/src/BooleSet.cc
|
-rw-r--r-- | 785 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/src/BooleVariable.cc
|
-rw-r--r-- | 682 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/src/CCheckedIdx.cc
|
-rw-r--r-- | 670 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/src/CCuddFirstIter.cc
|
-rw-r--r-- | 2424 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/src/CCuddLastIter.cc
|
-rw-r--r-- | 1946 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/src/CErrorInfo.cc
|
-rw-r--r-- | 3288 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/src/DegLexOrder.cc
|
-rw-r--r-- | 3534 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/src/DegRevLexAscOrder.cc
|
-rw-r--r-- | 3634 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/src/LexOrder.cc
|
-rw-r--r-- | 1121 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/src/PBoRiError.cc
|
-rw-r--r-- | 671 | root |
root |
/usr/src/debug/polybori-0.8.2/libpolybori/src/pbori_routines.cc
|