| 
    
        
    
    
    /usr/
    
        
    
 |  | root:root | 0o755 |  | 
        
            
                | 
    
        
    
    
    /usr/include/
    
        
    
 |  | root:root | 0o755 |  | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/
    
        
    
 |  | root:root | 0o755 |  | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/
    
        
    
 |  | root:root | 0o755 |  | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/add_up.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 7.9 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/BitMask.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 2.1 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/BlockOrderHelper.h
    
        
    
 | text/x-c | root:root | 0o644 | 1.7 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/BoundedDivisorsOf.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 1.7 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/cache_manager.h
    
        
    
 | text/x-c | root:root | 0o644 | 3.0 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/ChainCriterion.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 1.3 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/ChainVariableCriterion.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 1.4 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/CheckChainCriterion.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 1.8 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/contained_variables.h
    
        
    
 | text/x-c | root:root | 0o644 | 3.3 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/CountCriterion.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 2.8 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/DegOrderHelper.h
    
        
    
 | text/x-c | root:root | 0o644 | 1.7 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/dlex4data.h
    
        
    
 | text/x-c | root:root | 0o644 | 223 bytes | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/dp_asc4data.h
    
        
    
 | text/x-c | root:root | 0o644 | 229 bytes | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/draw_matrix.h
    
        
    
 | text/x-c | root:root | 0o644 | 1.7 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/ExpGreater.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 962 bytes | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/ExpLexLess.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 866 bytes | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/FGLMStrategy.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 3.1 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/fixed_path_divisors.h
    
        
    
 | text/x-c | root:root | 0o644 | 4.4 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/GetNthPoly.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 1.0 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/groebner_alg.h
    
        
    
 | text/x-c | root:root | 0o644 | 2.8 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/groebner_defs.h
    
        
    
 | text/x-c | root:root | 0o644 | 1.1 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/groebner.h
    
        
    
 | text/x-c | root:root | 0o644 | 194 bytes | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/GroebnerOptions.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 1.7 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/GroebnerStrategy.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 6.8 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/HasTRepOrExtendedProductCriterion.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 2.2 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/IJPairData.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 906 bytes | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/interpolate.h
    
        
    
 | text/x-c | root:root | 0o644 | 644 bytes | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/IsEcart0Predicate.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 1002 bytes | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/IsVariableOfIndex.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 1.1 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/LargerDegreeComparer.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 996 bytes | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/LeadingTerms00.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 1.1 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/LeadingTerms11.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 1.1 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/LeadingTerms.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 1.0 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/LessCombinedManySizesInStrat.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 1.4 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/LessEcartThenLessWeightedLengthInStrat.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 1.5 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/LessUsedTailVariablesThenLessWeightedLengthInStrat.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 1.6 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/LessWeightedLengthInStrat.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 1.2 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/LessWeightedLengthInStratModified.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 1.7 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/LexBucket.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 2.0 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/LexHelper.h
    
        
    
 | text/x-c | root:root | 0o644 | 2.3 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/LexOrderGreaterComparer.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 1.1 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/linear_algebra_step.h
    
        
    
 | text/x-c | root:root | 0o644 | 19.2 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/LiteralFactorization.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 1.4 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/LiteralFactorizationIterator.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 2.1 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/ll_red_nf.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 2.2 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/LLReduction.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 3.1 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/LLReductor.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 2.1 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/LMLessCompare.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 848 bytes | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/LMLessComparePS.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 867 bytes | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/Long64From32BitsPair.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 1.6 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/lp4data.h
    
        
    
 | text/x-c | root:root | 0o644 | 217 bytes | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/MatrixMonomialOrderTables.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 1.3 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/minimal_elements.h
    
        
    
 | text/x-c | root:root | 0o644 | 13.2 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/MinimalLeadingTerms.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 2.0 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/MonomialHasher.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 822 bytes | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/MonomialPlusOneTerms.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 1.2 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/MonomialTerms.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 1.1 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/NBitsUsed.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 947 bytes | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/NextSpoly.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 3.0 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/nf.h
    
        
    
 | text/x-c | root:root | 0o644 | 1.5 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/PairData.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 909 bytes | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/PairECompare.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 1.2 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/PairE.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 2.4 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/PairLSCompare.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 1.0 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/PairLS.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 1.9 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/PairManagerFacade.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 3.1 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/PairManager.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 2.5 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/pairs.h
    
        
    
 | text/x-c | root:root | 0o644 | 655 bytes | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/PairStatusSet.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 1.9 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/PolyEntryBase.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 1.9 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/PolyEntry.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 1.8 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/PolyEntryIndices.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 3.3 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/PolyEntryPtrLmLess.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 997 bytes | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/PolyEntryReference.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 2.2 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/PolyEntryVector.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 3.6 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/PolyFromPolyEntry.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 1.0 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/PolyMonomialPairComparerLess.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 1.0 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/PolyMonomialPairComparerLexLess.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 1.1 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/polynomial_properties.h
    
        
    
 | text/x-c | root:root | 0o644 | 282 bytes | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/PolynomialSugar.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 3.0 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/PolyPairData.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 896 bytes | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/PSCompareByEl.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 949 bytes | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/PseudoLongLong.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 872 bytes | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/PseudoLongProduct.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 2.0 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/randomset.h
    
        
    
 | text/x-c | root:root | 0o644 | 707 bytes | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/RankingVector.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 1.2 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/red_tail.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 6.0 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/RedTailNth.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 1.2 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/ReductionOptions.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 1.1 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/ReductionStrategy.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 3.1 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/ReductionTerms.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 2.4 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/RelatedTermsBase.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 3.0 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/RelatedTerms.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 1.7 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/SetAssociatedMinimal.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 1.2 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/SetBitUInt.h
    
        
    
 | text/x-c | root:root | 0o644 | 816 bytes | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/ShorterEliminationLength.h
    
        
    
 | text/x-c | root:root | 0o644 | 1.1 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/ShorterEliminationLengthModified.h
    
        
    
 | text/x-c | root:root | 0o644 | 1.3 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/SlimgbReduction.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 3.1 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/tables.h
    
        
    
 | text/x-c | root:root | 0o644 | 4.2 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/TermsFacade.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 1.4 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/TimesConstantImplication.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 1.1 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/TimesVariableSubstitution.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 1.1 KB | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/VariablePairData.h
    
        
    
 | text/x-c++ | root:root | 0o644 | 999 bytes | 
        
            
                | 
    
        
    
    
    /usr/include/polybori/groebner/ZeroFunction.h
    
        
    
 | text/x-c | root:root | 0o644 | 821 bytes | 
        
            
                | 
    
        
    
    
    /usr/lib/
    
        
    
 |  | root:root | 0o755 |  | 
        
            
                | 
    
        
    
    
    /usr/lib/x86_64-linux-gnu/
    
        
    
 |  | root:root | 0o755 |  | 
        
            
                | 
    
        
    
    
    /usr/lib/x86_64-linux-gnu/libpolybori_groebner-0.8.so
    
        
    
 |  | root:root | 0o777 |  | 
        
            
                | 
    
        
    
    
    /usr/lib/x86_64-linux-gnu/pkgconfig/
    
        
    
 |  | root:root | 0o755 |  | 
        
            
                | 
    
        
    
    
    /usr/lib/x86_64-linux-gnu/pkgconfig/polybori-groebner-0.8.pc
    
        
    
 | text/plain | root:root | 0o644 | 312 bytes | 
        
            
                | 
    
        
    
    
    /usr/share/
    
        
    
 |  | root:root | 0o755 |  | 
        
            
                | 
    
        
    
    
    /usr/share/doc/
    
        
    
 |  | root:root | 0o755 |  | 
        
            
                | 
    
        
    
    
    /usr/share/doc/libpolybori-groebner-dev/
    
        
    
 |  | root:root | 0o755 |  | 
        
            
                | 
    
    
    /usr/share/doc/libpolybori-groebner-dev/changelog.Debian.amd64.gz
    
 | application/gzip | root:root | 0o644 | 227 bytes | 
        
            
                | 
    
    
    /usr/share/doc/libpolybori-groebner-dev/changelog.Debian.gz
    
 | application/gzip | root:root | 0o644 | 1.7 KB | 
        
            
                | 
    
    
    /usr/share/doc/libpolybori-groebner-dev/changelog.gz
    
 | application/gzip | root:root | 0o644 | 6.6 KB | 
        
            
                | 
    
        
    
    
    /usr/share/doc/libpolybori-groebner-dev/copyright
    
        
    
 | text/plain | root:root | 0o644 | 4.7 KB |