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