drwxr-xr-x root/root 0 2015-02-26 15:31 ./ drwxr-xr-x root/root 0 2015-02-26 15:31 ./usr/ drwxr-xr-x root/root 0 2015-02-26 15:31 ./usr/lib/ drwxr-xr-x root/root 0 2015-02-26 15:31 ./usr/lib/x86_64-linux-gnu/ drwxr-xr-x root/root 0 2015-02-26 15:31 ./usr/lib/x86_64-linux-gnu/pkgconfig/ -rw-r--r-- root/root 312 2015-02-26 15:30 ./usr/lib/x86_64-linux-gnu/pkgconfig/polybori-groebner-0.8.pc drwxr-xr-x root/root 0 2015-02-26 15:31 ./usr/share/ drwxr-xr-x root/root 0 2015-02-26 15:31 ./usr/share/doc/ drwxr-xr-x root/root 0 2015-02-26 15:31 ./usr/share/doc/libpolybori-groebner-dev/ -rw-r--r-- root/root 4783 2013-11-03 08:33 ./usr/share/doc/libpolybori-groebner-dev/copyright -rw-r--r-- root/root 6792 2013-01-30 08:26 ./usr/share/doc/libpolybori-groebner-dev/changelog.gz -rw-r--r-- root/root 1762 2013-11-05 06:50 ./usr/share/doc/libpolybori-groebner-dev/changelog.Debian.gz drwxr-xr-x root/root 0 2015-02-26 15:31 ./usr/include/ drwxr-xr-x root/root 0 2015-02-26 15:31 ./usr/include/polybori/ drwxr-xr-x root/root 0 2015-02-26 15:30 ./usr/include/polybori/groebner/ -rw-r--r-- root/root 3137 2013-01-30 08:26 ./usr/include/polybori/groebner/PairManagerFacade.h -rw-r--r-- root/root 2911 2013-01-30 08:26 ./usr/include/polybori/groebner/groebner_alg.h -rw-r--r-- root/root 947 2013-01-30 08:26 ./usr/include/polybori/groebner/NBitsUsed.h -rw-r--r-- root/root 3720 2013-01-30 08:26 ./usr/include/polybori/groebner/PolyEntryVector.h -rw-r--r-- root/root 2043 2013-01-30 08:26 ./usr/include/polybori/groebner/MinimalLeadingTerms.h -rw-r--r-- root/root 996 2013-01-30 08:26 ./usr/include/polybori/groebner/LargerDegreeComparer.h -rw-r--r-- root/root 1183 2013-01-30 08:26 ./usr/include/polybori/groebner/SetAssociatedMinimal.h -rw-r--r-- root/root 1762 2013-01-30 08:26 ./usr/include/polybori/groebner/DegOrderHelper.h -rw-r--r-- root/root 1044 2013-01-30 08:26 ./usr/include/polybori/groebner/PairLSCompare.h -rw-r--r-- root/root 2113 2013-01-30 08:26 ./usr/include/polybori/groebner/BitMask.h -rw-r--r-- root/root 1416 2013-01-30 08:26 ./usr/include/polybori/groebner/ChainVariableCriterion.h -rw-r--r-- root/root 229 2013-01-30 08:26 ./usr/include/polybori/groebner/dp_asc4data.h -rw-r--r-- root/root 1238 2013-01-30 08:26 ./usr/include/polybori/groebner/RankingVector.h -rw-r--r-- root/root 1097 2013-01-30 08:26 ./usr/include/polybori/groebner/LexOrderGreaterComparer.h -rw-r--r-- root/root 4284 2013-01-30 08:26 ./usr/include/polybori/groebner/tables.h -rw-r--r-- root/root 3093 2013-01-30 08:26 ./usr/include/polybori/groebner/cache_manager.h -rw-r--r-- root/root 3366 2013-01-30 08:26 ./usr/include/polybori/groebner/contained_variables.h -rw-r--r-- root/root 2485 2013-01-30 08:26 ./usr/include/polybori/groebner/PairE.h -rw-r--r-- root/root 1132 2013-01-30 08:26 ./usr/include/polybori/groebner/IsVariableOfIndex.h -rw-r--r-- root/root 1498 2013-01-30 08:26 ./usr/include/polybori/groebner/nf.h -rw-r--r-- root/root 1233 2013-01-30 08:26 ./usr/include/polybori/groebner/MonomialPlusOneTerms.h -rw-r--r-- root/root 909 2013-01-30 08:26 ./usr/include/polybori/groebner/PairData.h -rw-r--r-- root/root 816 2013-01-30 08:26 ./usr/include/polybori/groebner/SetBitUInt.h -rw-r--r-- root/root 19697 2013-01-30 08:26 ./usr/include/polybori/groebner/linear_algebra_step.h -rw-r--r-- root/root 1470 2013-01-30 08:26 ./usr/include/polybori/groebner/LiteralFactorization.h -rw-r--r-- root/root 1558 2013-01-30 08:26 ./usr/include/polybori/groebner/LessEcartThenLessWeightedLengthInStrat.h -rw-r--r-- root/root 1110 2013-01-30 08:26 ./usr/include/polybori/groebner/MonomialTerms.h -rw-r--r-- root/root 3202 2013-01-30 08:26 ./usr/include/polybori/groebner/LLReduction.h -rw-r--r-- root/root 1634 2013-01-30 08:26 ./usr/include/polybori/groebner/Long64From32BitsPair.h -rw-r--r-- root/root 2176 2013-01-30 08:26 ./usr/include/polybori/groebner/LiteralFactorizationIterator.h -rw-r--r-- root/root 1750 2013-01-30 08:26 ./usr/include/polybori/groebner/RelatedTerms.h -rw-r--r-- root/root 1133 2013-01-30 08:26 ./usr/include/polybori/groebner/PolyMonomialPairComparerLexLess.h -rw-r--r-- root/root 1765 2013-01-30 08:26 ./usr/include/polybori/groebner/LessWeightedLengthInStratModified.h -rw-r--r-- root/root 1052 2013-01-30 08:26 ./usr/include/polybori/groebner/PolyMonomialPairComparerLess.h -rw-r--r-- root/root 1769 2013-01-30 08:26 ./usr/include/polybori/groebner/draw_matrix.h -rw-r--r-- root/root 1290 2013-01-30 08:26 ./usr/include/polybori/groebner/ChainCriterion.h -rw-r--r-- root/root 2265 2013-01-30 08:26 ./usr/include/polybori/groebner/HasTRepOrExtendedProductCriterion.h -rw-r--r-- root/root 2020 2013-01-30 08:26 ./usr/include/polybori/groebner/LexBucket.h -rw-r--r-- root/root 1612 2013-01-30 08:26 ./usr/include/polybori/groebner/LessUsedTailVariablesThenLessWeightedLengthInStrat.h -rw-r--r-- root/root 3120 2013-01-30 08:26 ./usr/include/polybori/groebner/PolynomialSugar.h -rw-r--r-- root/root 1760 2013-01-30 08:26 ./usr/include/polybori/groebner/BlockOrderHelper.h -rw-r--r-- root/root 6934 2013-01-30 08:26 ./usr/include/polybori/groebner/GroebnerStrategy.h -rw-r--r-- root/root 1867 2013-01-30 08:26 ./usr/include/polybori/groebner/CheckChainCriterion.h -rw-r--r-- root/root 866 2013-01-30 08:26 ./usr/include/polybori/groebner/ExpLexLess.h -rw-r--r-- root/root 1140 2013-01-30 08:26 ./usr/include/polybori/groebner/ShorterEliminationLength.h -rw-r--r-- root/root 2178 2013-01-30 08:26 ./usr/include/polybori/groebner/LLReductor.h -rw-r--r-- root/root 3138 2013-01-30 08:26 ./usr/include/polybori/groebner/SlimgbReduction.h -rw-r--r-- root/root 2030 2013-01-30 08:26 ./usr/include/polybori/groebner/PseudoLongProduct.h -rw-r--r-- root/root 1475 2013-01-30 08:26 ./usr/include/polybori/groebner/LessCombinedManySizesInStrat.h -rw-r--r-- root/root 872 2013-01-30 08:26 ./usr/include/polybori/groebner/PseudoLongLong.h -rw-r--r-- root/root 1912 2013-01-30 08:26 ./usr/include/polybori/groebner/PairStatusSet.h -rw-r--r-- root/root 867 2013-01-30 08:26 ./usr/include/polybori/groebner/LMLessComparePS.h -rw-r--r-- root/root 1063 2013-01-30 08:26 ./usr/include/polybori/groebner/GetNthPoly.h -rw-r--r-- root/root 3096 2013-01-30 08:26 ./usr/include/polybori/groebner/RelatedTermsBase.h -rw-r--r-- root/root 3159 2013-01-30 08:26 ./usr/include/polybori/groebner/ReductionStrategy.h -rw-r--r-- root/root 217 2013-01-30 08:26 ./usr/include/polybori/groebner/lp4data.h -rw-r--r-- root/root 896 2013-01-30 08:26 ./usr/include/polybori/groebner/PolyPairData.h -rw-r--r-- root/root 949 2013-01-30 08:26 ./usr/include/polybori/groebner/PSCompareByEl.h -rw-r--r-- root/root 1002 2013-01-30 08:26 ./usr/include/polybori/groebner/IsEcart0Predicate.h -rw-r--r-- root/root 3132 2013-01-30 08:26 ./usr/include/polybori/groebner/FGLMStrategy.h -rw-r--r-- root/root 1822 2013-01-30 08:26 ./usr/include/polybori/groebner/PolyEntry.h -rw-r--r-- root/root 822 2013-01-30 08:26 ./usr/include/polybori/groebner/MonomialHasher.h -rw-r--r-- root/root 1054 2013-01-30 08:26 ./usr/include/polybori/groebner/PolyFromPolyEntry.h -rw-r--r-- root/root 1192 2013-01-30 08:26 ./usr/include/polybori/groebner/PairECompare.h -rw-r--r-- root/root 3375 2013-01-30 08:26 ./usr/include/polybori/groebner/PolyEntryIndices.h -rw-r--r-- root/root 2272 2013-01-30 08:26 ./usr/include/polybori/groebner/PolyEntryReference.h -rw-r--r-- root/root 999 2013-01-30 08:26 ./usr/include/polybori/groebner/VariablePairData.h -rw-r--r-- root/root 821 2013-01-30 08:26 ./usr/include/polybori/groebner/ZeroFunction.h -rw-r--r-- root/root 1026 2013-01-30 08:26 ./usr/include/polybori/groebner/LeadingTerms.h -rw-r--r-- root/root 707 2013-01-30 08:26 ./usr/include/polybori/groebner/randomset.h -rw-r--r-- root/root 1240 2013-01-30 08:26 ./usr/include/polybori/groebner/RedTailNth.h -rw-r--r-- root/root 4541 2013-01-30 08:26 ./usr/include/polybori/groebner/fixed_path_divisors.h -rw-r--r-- root/root 3030 2013-01-30 08:26 ./usr/include/polybori/groebner/NextSpoly.h -rw-r--r-- root/root 1358 2013-01-30 08:26 ./usr/include/polybori/groebner/ShorterEliminationLengthModified.h -rw-r--r-- root/root 1175 2013-01-30 08:26 ./usr/include/polybori/groebner/TimesVariableSubstitution.h -rw-r--r-- root/root 1693 2013-01-30 08:26 ./usr/include/polybori/groebner/BoundedDivisorsOf.h -rw-r--r-- root/root 1150 2013-01-30 08:26 ./usr/include/polybori/groebner/groebner_defs.h -rw-r--r-- root/root 1097 2013-01-30 08:26 ./usr/include/polybori/groebner/LeadingTerms11.h -rw-r--r-- root/root 1099 2013-01-30 08:26 ./usr/include/polybori/groebner/LeadingTerms00.h -rw-r--r-- root/root 1401 2013-01-30 08:26 ./usr/include/polybori/groebner/TermsFacade.h -rw-r--r-- root/root 13534 2013-01-30 08:26 ./usr/include/polybori/groebner/minimal_elements.h -rw-r--r-- root/root 644 2013-01-30 08:26 ./usr/include/polybori/groebner/interpolate.h -rw-r--r-- root/root 6137 2013-01-30 08:26 ./usr/include/polybori/groebner/red_tail.h -rw-r--r-- root/root 282 2013-01-30 08:26 ./usr/include/polybori/groebner/polynomial_properties.h -rw-r--r-- root/root 223 2013-01-30 08:26 ./usr/include/polybori/groebner/dlex4data.h -rw-r--r-- root/root 2490 2013-01-30 08:26 ./usr/include/polybori/groebner/ReductionTerms.h -rw-r--r-- root/root 2885 2013-01-30 08:26 ./usr/include/polybori/groebner/CountCriterion.h -rw-r--r-- root/root 2210 2013-01-30 08:26 ./usr/include/polybori/groebner/ll_red_nf.h -rw-r--r-- root/root 1750 2013-01-30 08:26 ./usr/include/polybori/groebner/GroebnerOptions.h -rw-r--r-- root/root 194 2013-01-30 08:26 ./usr/include/polybori/groebner/groebner.h -rw-r--r-- root/root 8098 2013-01-30 08:26 ./usr/include/polybori/groebner/add_up.h -rw-r--r-- root/root 2366 2013-01-30 08:26 ./usr/include/polybori/groebner/LexHelper.h -rw-r--r-- root/root 1296 2013-01-30 08:26 ./usr/include/polybori/groebner/MatrixMonomialOrderTables.h -rw-r--r-- root/root 1103 2013-01-30 08:26 ./usr/include/polybori/groebner/ReductionOptions.h -rw-r--r-- root/root 906 2013-01-30 08:26 ./usr/include/polybori/groebner/IJPairData.h -rw-r--r-- root/root 1259 2013-01-30 08:26 ./usr/include/polybori/groebner/LessWeightedLengthInStrat.h -rw-r--r-- root/root 848 2013-01-30 08:26 ./usr/include/polybori/groebner/LMLessCompare.h -rw-r--r-- root/root 655 2013-01-30 08:26 ./usr/include/polybori/groebner/pairs.h -rw-r--r-- root/root 2543 2013-01-30 08:26 ./usr/include/polybori/groebner/PairManager.h -rw-r--r-- root/root 997 2013-01-30 08:26 ./usr/include/polybori/groebner/PolyEntryPtrLmLess.h -rw-r--r-- root/root 1927 2013-01-30 08:26 ./usr/include/polybori/groebner/PairLS.h -rw-r--r-- root/root 1142 2013-01-30 08:26 ./usr/include/polybori/groebner/TimesConstantImplication.h -rw-r--r-- root/root 1903 2013-01-30 08:26 ./usr/include/polybori/groebner/PolyEntryBase.h -rw-r--r-- root/root 962 2013-01-30 08:26 ./usr/include/polybori/groebner/ExpGreater.h lrwxrwxrwx root/root 0 2015-02-26 15:31 ./usr/lib/x86_64-linux-gnu/libpolybori_groebner-0.8.so -> libpolybori_groebner-0.8.so.3