blob: ec13b0cce5dcfaa5e3088c8c7273b99bd762f89c (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
|
include/polybori.h
include/polybori/BlockDegLexOrder.h
include/polybori/BlockDegRevLexAscOrder.h
include/polybori/BooleConstant.h
include/polybori/BooleEnv.h
include/polybori/BooleExponent.h
include/polybori/BooleMonomial.h
include/polybori/BoolePolyRing.h
include/polybori/BoolePolynomial.h
include/polybori/BooleSet.h
include/polybori/BooleSetSequence.h
include/polybori/BooleVariable.h
include/polybori/DegLexOrder.h
include/polybori/DegRevLexAscOrder.h
include/polybori/LexOrder.h
include/polybori/cache/CCacheManagement.h
include/polybori/cache/CDegreeCache.h
include/polybori/cache/CacheManager.h
include/polybori/common/CCheckedIdx.h
include/polybori/common/CExtrusivePtr.h
include/polybori/common/CWeakPtr.h
include/polybori/common/CWeakPtrFacade.h
include/polybori/common/TransformedSequence.h
include/polybori/common/tags.h
include/polybori/common/traits.h
include/polybori/config.h
include/polybori/cudd/cudd.h
include/polybori/cudd/cuddInt.h
include/polybori/cudd/prefix.h
include/polybori/cudd/prefix_internal.h
include/polybori/diagram/CApplyNodeFacade.h
include/polybori/diagram/CCuddDDFacade.h
include/polybori/diagram/CDDOperations.h
include/polybori/diagram/CNodeCounter.h
include/polybori/except/CErrorInfo.h
include/polybori/except/PBoRiError.h
include/polybori/except/PBoRiGenericError.h
include/polybori/factories/CFactoryBase.h
include/polybori/factories/MonomialFactory.h
include/polybori/factories/PolynomialFactory.h
include/polybori/factories/SetFactory.h
include/polybori/factories/VariableBlock.h
include/polybori/factories/VariableFactory.h
include/polybori/groebner/BitMask.h
include/polybori/groebner/BlockOrderHelper.h
include/polybori/groebner/BoundedDivisorsOf.h
include/polybori/groebner/ChainCriterion.h
include/polybori/groebner/ChainVariableCriterion.h
include/polybori/groebner/CheckChainCriterion.h
include/polybori/groebner/CountCriterion.h
include/polybori/groebner/DegOrderHelper.h
include/polybori/groebner/ExpGreater.h
include/polybori/groebner/ExpLexLess.h
include/polybori/groebner/FGLMStrategy.h
include/polybori/groebner/GetNthPoly.h
include/polybori/groebner/GroebnerOptions.h
include/polybori/groebner/GroebnerStrategy.h
include/polybori/groebner/HasTRepOrExtendedProductCriterion.h
include/polybori/groebner/IJPairData.h
include/polybori/groebner/IsEcart0Predicate.h
include/polybori/groebner/IsVariableOfIndex.h
include/polybori/groebner/LLReduction.h
include/polybori/groebner/LLReductor.h
include/polybori/groebner/LMLessCompare.h
include/polybori/groebner/LMLessComparePS.h
include/polybori/groebner/LargerDegreeComparer.h
include/polybori/groebner/LeadingTerms.h
include/polybori/groebner/LeadingTerms00.h
include/polybori/groebner/LeadingTerms11.h
include/polybori/groebner/LessCombinedManySizesInStrat.h
include/polybori/groebner/LessEcartThenLessWeightedLengthInStrat.h
include/polybori/groebner/LessUsedTailVariablesThenLessWeightedLengthInStrat.h
include/polybori/groebner/LessWeightedLengthInStrat.h
include/polybori/groebner/LessWeightedLengthInStratModified.h
include/polybori/groebner/LexBucket.h
include/polybori/groebner/LexHelper.h
include/polybori/groebner/LexOrderGreaterComparer.h
include/polybori/groebner/LiteralFactorization.h
include/polybori/groebner/LiteralFactorizationIterator.h
include/polybori/groebner/Long64From32BitsPair.h
include/polybori/groebner/MatrixMonomialOrderTables.h
include/polybori/groebner/MinimalLeadingTerms.h
include/polybori/groebner/MonomialHasher.h
include/polybori/groebner/MonomialPlusOneTerms.h
include/polybori/groebner/MonomialTerms.h
include/polybori/groebner/NBitsUsed.h
include/polybori/groebner/NextSpoly.h
include/polybori/groebner/PSCompareByEl.h
include/polybori/groebner/PairData.h
include/polybori/groebner/PairE.h
include/polybori/groebner/PairECompare.h
include/polybori/groebner/PairLS.h
include/polybori/groebner/PairLSCompare.h
include/polybori/groebner/PairManager.h
include/polybori/groebner/PairManagerFacade.h
include/polybori/groebner/PairStatusSet.h
include/polybori/groebner/PolyEntry.h
include/polybori/groebner/PolyEntryBase.h
include/polybori/groebner/PolyEntryIndices.h
include/polybori/groebner/PolyEntryPtrLmLess.h
include/polybori/groebner/PolyEntryReference.h
include/polybori/groebner/PolyEntryVector.h
include/polybori/groebner/PolyFromPolyEntry.h
include/polybori/groebner/PolyMonomialPairComparerLess.h
include/polybori/groebner/PolyMonomialPairComparerLexLess.h
include/polybori/groebner/PolyPairData.h
include/polybori/groebner/PolynomialSugar.h
include/polybori/groebner/PseudoLongLong.h
include/polybori/groebner/PseudoLongProduct.h
include/polybori/groebner/RankingVector.h
include/polybori/groebner/RedTailNth.h
include/polybori/groebner/ReductionOptions.h
include/polybori/groebner/ReductionStrategy.h
include/polybori/groebner/ReductionTerms.h
include/polybori/groebner/RelatedTerms.h
include/polybori/groebner/RelatedTermsBase.h
include/polybori/groebner/SetAssociatedMinimal.h
include/polybori/groebner/SetBitUInt.h
include/polybori/groebner/ShorterEliminationLength.h
include/polybori/groebner/ShorterEliminationLengthModified.h
include/polybori/groebner/SlimgbReduction.h
include/polybori/groebner/TermsFacade.h
include/polybori/groebner/TimesConstantImplication.h
include/polybori/groebner/TimesVariableSubstitution.h
include/polybori/groebner/VariablePairData.h
include/polybori/groebner/ZeroFunction.h
include/polybori/groebner/add_up.h
include/polybori/groebner/cache_manager.h
include/polybori/groebner/contained_variables.h
include/polybori/groebner/dlex4data.h
include/polybori/groebner/dp_asc4data.h
include/polybori/groebner/draw_matrix.h
include/polybori/groebner/fixed_path_divisors.h
include/polybori/groebner/groebner.h
include/polybori/groebner/groebner_alg.h
include/polybori/groebner/groebner_defs.h
include/polybori/groebner/interpolate.h
include/polybori/groebner/linear_algebra_step.h
include/polybori/groebner/ll_red_nf.h
include/polybori/groebner/lp4data.h
include/polybori/groebner/minimal_elements.h
include/polybori/groebner/nf.h
include/polybori/groebner/pairs.h
include/polybori/groebner/polynomial_properties.h
include/polybori/groebner/randomset.h
include/polybori/groebner/red_tail.h
include/polybori/groebner/tables.h
include/polybori/iterators/CBidirectTermIter.h
include/polybori/iterators/CCuddFirstIter.h
include/polybori/iterators/CCuddLastIter.h
include/polybori/iterators/CCuddNavigator.h
include/polybori/iterators/CExpIter.h
include/polybori/iterators/CGenericIter.h
include/polybori/iterators/COrderedIter.h
include/polybori/iterators/CStackSelector.h
include/polybori/iterators/CTermGenerator.h
include/polybori/iterators/CTermIter.h
include/polybori/iterators/CTermStack.h
include/polybori/iterators/CVariableIter.h
include/polybori/iterators/PBoRiOutIter.h
include/polybori/iterators/TransformedIterator.h
include/polybori/literals/CLiteralCodes.h
include/polybori/literals/CStringLiteral.h
include/polybori/orderings/CBlockOrderingFacade.h
include/polybori/orderings/COrderingBase.h
include/polybori/orderings/COrderingFacade.h
include/polybori/orderings/COrderingTags.h
include/polybori/orderings/order_tags.h
include/polybori/orderings/order_traits.h
include/polybori/orderings/pbori_order.h
include/polybori/pbori_defs.h
include/polybori/polybori.h
include/polybori/ring/CCallbackWrapper.h
include/polybori/ring/CCuddCore.h
include/polybori/ring/CCuddInterface.h
include/polybori/ring/CMemberFunctionTraits.h
include/polybori/ring/CVariableNames.h
include/polybori/ring/WeakRingPtr.h
include/polybori/routines/pbori_algo.h
include/polybori/routines/pbori_algo_int.h
include/polybori/routines/pbori_algorithms.h
include/polybori/routines/pbori_func.h
include/polybori/routines/pbori_routines.h
include/polybori/routines/pbori_routines_cuddext.h
include/polybori/routines/pbori_routines_dd.h
include/polybori/routines/pbori_routines_hash.h
include/polybori/routines/pbori_routines_misc.h
include/polybori/routines/pbori_routines_order.h
lib/libbrial.a
lib/libbrial.so
lib/libbrial.so.3
lib/libbrial.so.3.0.6
lib/libbrial_groebner.a
lib/libbrial_groebner.so
lib/libbrial_groebner.so.3
lib/libbrial_groebner.so.3.0.6
|
