Home
last modified time | relevance | path

Searched refs:leadExp (Results 1 – 25 of 64) sorted by relevance

123

/dports/math/py-brial/BRiAl-1.2.10/tests/
H A DDegLexOrderTest.cc120 BOOST_CHECK_EQUAL(order.leadExp(poly,-1), BooleExponent()); in BOOST_AUTO_TEST_CASE()
121 BOOST_CHECK_EQUAL(order.leadExp(poly,0), BooleExponent()); in BOOST_AUTO_TEST_CASE()
123 BOOST_CHECK_EQUAL(order.leadExp(poly,1), BooleExponent(x)); in BOOST_AUTO_TEST_CASE()
134 BOOST_CHECK_EQUAL(order.leadExp(poly), BooleExponent(x*y)); in BOOST_AUTO_TEST_CASE()
147 BOOST_CHECK_EQUAL(order.leadExp(poly,1), BooleExponent()); in BOOST_AUTO_TEST_CASE()
148 BOOST_CHECK_EQUAL(order.leadExp(poly,0), BooleExponent()); in BOOST_AUTO_TEST_CASE()
149 BOOST_CHECK_EQUAL(order.leadExp(poly), BooleExponent()); in BOOST_AUTO_TEST_CASE()
155 BOOST_CHECK_EQUAL(order.leadExp(poly), BooleExponent()); in BOOST_AUTO_TEST_CASE()
161 BOOST_CHECK_EQUAL(order.leadExp(poly,0), BooleExponent()); in BOOST_AUTO_TEST_CASE()
181 BOOST_CHECK_EQUAL(order.leadExp(poly, 2), (x*y).exp()); in BOOST_AUTO_TEST_CASE()
[all …]
H A DDegRevLexAscOrderTest.cc120 BOOST_CHECK_EQUAL(order.leadExp(poly,1), BooleExponent(x)); in BOOST_AUTO_TEST_CASE()
121 BOOST_CHECK_EQUAL(order.leadExp(poly,-1), BooleExponent()); in BOOST_AUTO_TEST_CASE()
126 BOOST_CHECK_EQUAL(order.leadExp(poly,1), BooleExponent()); in BOOST_AUTO_TEST_CASE()
127 BOOST_CHECK_EQUAL(order.leadExp(poly), BooleExponent()); in BOOST_AUTO_TEST_CASE()
132 BOOST_CHECK_EQUAL(order.leadExp(poly, 1), BooleExponent()); in BOOST_AUTO_TEST_CASE()
133 BOOST_CHECK_EQUAL(order.leadExp(poly), BooleExponent()); in BOOST_AUTO_TEST_CASE()
138 BOOST_CHECK_EQUAL(order.leadExp(poly,0), BooleExponent()); in BOOST_AUTO_TEST_CASE()
157 BOOST_CHECK_EQUAL(order.leadExp(poly,1), BooleExponent()); in BOOST_AUTO_TEST_CASE()
160 BOOST_CHECK_EQUAL(order.leadExp(poly,-1), BooleExponent()); in BOOST_AUTO_TEST_CASE()
166 BOOST_CHECK_EQUAL(order.leadExp(poly,1), BooleExponent(y)); in BOOST_AUTO_TEST_CASE()
[all …]
H A DLexOrderTest.cc120 BOOST_CHECK_EQUAL(order.leadExp(poly) , BooleExponent(x*y));
121 BOOST_CHECK_EQUAL(order.leadExp(poly,1) , BooleExponent(x*y));
122 BOOST_CHECK_EQUAL(order.leadExp(poly,-1) , BooleExponent(x*y));
128 BOOST_CHECK_EQUAL(order.leadExp(poly,1), BooleExponent());
129 BOOST_CHECK_EQUAL(order.leadExp(poly), BooleExponent());
134 BOOST_CHECK_EQUAL(order.leadExp(poly, 1), BooleExponent());
135 BOOST_CHECK_EQUAL(order.leadExp(poly), BooleExponent());
H A DBlockDegLexOrderTest.cc119 BOOST_CHECK_EQUAL(order.leadExp(poly) , BooleExponent(x*y*z*w)); in BOOST_AUTO_TEST_CASE()
120 BOOST_CHECK_EQUAL(order.leadExp(poly,1) , BooleExponent(x*y*z*w)); in BOOST_AUTO_TEST_CASE()
121 BOOST_CHECK_EQUAL(order.leadExp(poly,-1) , BooleExponent(x*y*z*w)); in BOOST_AUTO_TEST_CASE()
128 BOOST_CHECK_THROW(order.leadExp(poly),PBoRiGenericError<CTypes::illegal_on_zero>); in BOOST_AUTO_TEST_CASE()
133 BOOST_CHECK_EQUAL(order.leadExp(poly, 1), BooleExponent()); in BOOST_AUTO_TEST_CASE()
134 BOOST_CHECK_EQUAL(order.leadExp(poly), BooleExponent()); in BOOST_AUTO_TEST_CASE()
138 BOOST_CHECK_EQUAL(order.leadExp(poly, 0) , BooleExponent(w*v*y)); in BOOST_AUTO_TEST_CASE()
390 BOOST_CHECK_EQUAL(blockorder.leadExp(poly,1), BooleExponent()); in BOOST_AUTO_TEST_CASE()
391 BOOST_CHECK_EQUAL(blockorder.leadExp(poly), BooleExponent()); in BOOST_AUTO_TEST_CASE()
397 BOOST_CHECK_EQUAL(blockorder.leadExp(poly, 0) , BooleExponent(x*y)); in BOOST_AUTO_TEST_CASE()
[all …]
H A DBlockDegRevLexAscOrderTest.cc134 BOOST_CHECK_EQUAL(order.leadExp(poly) , BooleExponent(y*z*v*w)); in BOOST_AUTO_TEST_CASE()
135 BOOST_CHECK_EQUAL(order.leadExp(poly,1) , BooleExponent(y*z*v*w)); in BOOST_AUTO_TEST_CASE()
136 BOOST_CHECK_EQUAL(order.leadExp(poly,-1), BooleExponent(y*z*v*w)); in BOOST_AUTO_TEST_CASE()
143 BOOST_CHECK_THROW(order.leadExp(poly),PBoRiGenericError<CTypes::illegal_on_zero>); in BOOST_AUTO_TEST_CASE()
148 BOOST_CHECK_EQUAL(order.leadExp(poly,1), BooleExponent()); in BOOST_AUTO_TEST_CASE()
149 BOOST_CHECK_EQUAL(order.leadExp(poly), BooleExponent()); in BOOST_AUTO_TEST_CASE()
153 BOOST_CHECK_EQUAL(order.leadExp(poly, 0), BooleExponent(w*v*y)); in BOOST_AUTO_TEST_CASE()
402 BOOST_CHECK_EQUAL(blockorder.leadExp(poly,1), BooleExponent()); in BOOST_AUTO_TEST_CASE()
403 BOOST_CHECK_EQUAL(blockorder.leadExp(poly), BooleExponent()); in BOOST_AUTO_TEST_CASE()
409 BOOST_CHECK_EQUAL(blockorder.leadExp(poly, 0), BooleExponent(x*y)); in BOOST_AUTO_TEST_CASE()
[all …]
/dports/math/brial/BRiAl-1.2.10/tests/
H A DDegLexOrderTest.cc120 BOOST_CHECK_EQUAL(order.leadExp(poly,-1), BooleExponent()); in BOOST_AUTO_TEST_CASE()
121 BOOST_CHECK_EQUAL(order.leadExp(poly,0), BooleExponent()); in BOOST_AUTO_TEST_CASE()
123 BOOST_CHECK_EQUAL(order.leadExp(poly,1), BooleExponent(x)); in BOOST_AUTO_TEST_CASE()
134 BOOST_CHECK_EQUAL(order.leadExp(poly), BooleExponent(x*y)); in BOOST_AUTO_TEST_CASE()
147 BOOST_CHECK_EQUAL(order.leadExp(poly,1), BooleExponent()); in BOOST_AUTO_TEST_CASE()
148 BOOST_CHECK_EQUAL(order.leadExp(poly,0), BooleExponent()); in BOOST_AUTO_TEST_CASE()
149 BOOST_CHECK_EQUAL(order.leadExp(poly), BooleExponent()); in BOOST_AUTO_TEST_CASE()
155 BOOST_CHECK_EQUAL(order.leadExp(poly), BooleExponent()); in BOOST_AUTO_TEST_CASE()
161 BOOST_CHECK_EQUAL(order.leadExp(poly,0), BooleExponent()); in BOOST_AUTO_TEST_CASE()
181 BOOST_CHECK_EQUAL(order.leadExp(poly, 2), (x*y).exp()); in BOOST_AUTO_TEST_CASE()
[all …]
H A DDegRevLexAscOrderTest.cc120 BOOST_CHECK_EQUAL(order.leadExp(poly,1), BooleExponent(x)); in BOOST_AUTO_TEST_CASE()
121 BOOST_CHECK_EQUAL(order.leadExp(poly,-1), BooleExponent()); in BOOST_AUTO_TEST_CASE()
126 BOOST_CHECK_EQUAL(order.leadExp(poly,1), BooleExponent()); in BOOST_AUTO_TEST_CASE()
127 BOOST_CHECK_EQUAL(order.leadExp(poly), BooleExponent()); in BOOST_AUTO_TEST_CASE()
132 BOOST_CHECK_EQUAL(order.leadExp(poly, 1), BooleExponent()); in BOOST_AUTO_TEST_CASE()
133 BOOST_CHECK_EQUAL(order.leadExp(poly), BooleExponent()); in BOOST_AUTO_TEST_CASE()
138 BOOST_CHECK_EQUAL(order.leadExp(poly,0), BooleExponent()); in BOOST_AUTO_TEST_CASE()
157 BOOST_CHECK_EQUAL(order.leadExp(poly,1), BooleExponent()); in BOOST_AUTO_TEST_CASE()
160 BOOST_CHECK_EQUAL(order.leadExp(poly,-1), BooleExponent()); in BOOST_AUTO_TEST_CASE()
166 BOOST_CHECK_EQUAL(order.leadExp(poly,1), BooleExponent(y)); in BOOST_AUTO_TEST_CASE()
[all …]
H A DLexOrderTest.cc120 BOOST_CHECK_EQUAL(order.leadExp(poly) , BooleExponent(x*y)); in BOOST_AUTO_TEST_CASE()
121 BOOST_CHECK_EQUAL(order.leadExp(poly,1) , BooleExponent(x*y)); in BOOST_AUTO_TEST_CASE()
122 BOOST_CHECK_EQUAL(order.leadExp(poly,-1) , BooleExponent(x*y)); in BOOST_AUTO_TEST_CASE()
128 BOOST_CHECK_EQUAL(order.leadExp(poly,1), BooleExponent()); in BOOST_AUTO_TEST_CASE()
129 BOOST_CHECK_EQUAL(order.leadExp(poly), BooleExponent()); in BOOST_AUTO_TEST_CASE()
134 BOOST_CHECK_EQUAL(order.leadExp(poly, 1), BooleExponent()); in BOOST_AUTO_TEST_CASE()
135 BOOST_CHECK_EQUAL(order.leadExp(poly), BooleExponent()); in BOOST_AUTO_TEST_CASE()
H A DBlockDegLexOrderTest.cc119 BOOST_CHECK_EQUAL(order.leadExp(poly) , BooleExponent(x*y*z*w)); in BOOST_AUTO_TEST_CASE()
120 BOOST_CHECK_EQUAL(order.leadExp(poly,1) , BooleExponent(x*y*z*w)); in BOOST_AUTO_TEST_CASE()
121 BOOST_CHECK_EQUAL(order.leadExp(poly,-1) , BooleExponent(x*y*z*w)); in BOOST_AUTO_TEST_CASE()
128 BOOST_CHECK_THROW(order.leadExp(poly),PBoRiGenericError<CTypes::illegal_on_zero>); in BOOST_AUTO_TEST_CASE()
133 BOOST_CHECK_EQUAL(order.leadExp(poly, 1), BooleExponent()); in BOOST_AUTO_TEST_CASE()
134 BOOST_CHECK_EQUAL(order.leadExp(poly), BooleExponent()); in BOOST_AUTO_TEST_CASE()
138 BOOST_CHECK_EQUAL(order.leadExp(poly, 0) , BooleExponent(w*v*y)); in BOOST_AUTO_TEST_CASE()
390 BOOST_CHECK_EQUAL(blockorder.leadExp(poly,1), BooleExponent()); in BOOST_AUTO_TEST_CASE()
391 BOOST_CHECK_EQUAL(blockorder.leadExp(poly), BooleExponent()); in BOOST_AUTO_TEST_CASE()
397 BOOST_CHECK_EQUAL(blockorder.leadExp(poly, 0) , BooleExponent(x*y)); in BOOST_AUTO_TEST_CASE()
[all …]
H A DBlockDegRevLexAscOrderTest.cc134 BOOST_CHECK_EQUAL(order.leadExp(poly) , BooleExponent(y*z*v*w)); in BOOST_AUTO_TEST_CASE()
135 BOOST_CHECK_EQUAL(order.leadExp(poly,1) , BooleExponent(y*z*v*w)); in BOOST_AUTO_TEST_CASE()
136 BOOST_CHECK_EQUAL(order.leadExp(poly,-1), BooleExponent(y*z*v*w)); in BOOST_AUTO_TEST_CASE()
143 BOOST_CHECK_THROW(order.leadExp(poly),PBoRiGenericError<CTypes::illegal_on_zero>); in BOOST_AUTO_TEST_CASE()
148 BOOST_CHECK_EQUAL(order.leadExp(poly,1), BooleExponent()); in BOOST_AUTO_TEST_CASE()
149 BOOST_CHECK_EQUAL(order.leadExp(poly), BooleExponent()); in BOOST_AUTO_TEST_CASE()
153 BOOST_CHECK_EQUAL(order.leadExp(poly, 0), BooleExponent(w*v*y)); in BOOST_AUTO_TEST_CASE()
402 BOOST_CHECK_EQUAL(blockorder.leadExp(poly,1), BooleExponent()); in BOOST_AUTO_TEST_CASE()
403 BOOST_CHECK_EQUAL(blockorder.leadExp(poly), BooleExponent()); in BOOST_AUTO_TEST_CASE()
409 BOOST_CHECK_EQUAL(blockorder.leadExp(poly, 0), BooleExponent(x*y)); in BOOST_AUTO_TEST_CASE()
[all …]
/dports/math/py-brial/BRiAl-1.2.10/groebner/include/polybori/groebner/
H A DPolynomialSugar.h36 PBORI_ASSERT(exp==p.leadExp());
55 PBORI_ASSERT(exp==p.leadExp());
61 const Exponent& leadExp() const{
74 PBORI_ASSERT(p2.leadExp()==exp);
92 PBORI_ASSERT((p.isZero())||(exp==p.leadExp()));
116 PBORI_ASSERT(exp==p.leadExp());
H A DPairE.h54 lm(v[i].leadExp+v[j].leadExp) { in PairE()
64 lm(gen[i].leadExp) { in PairE()
67 if (gen[i].leadExp==gen[i].usedVariables) in PairE()
78 lm(delayed.leadExp()) { } in PairE()
H A DPolyEntryBase.h36 leadDeg(), leadExp(), gcdOfTerms(poly.ring()), in PolyEntryBase()
41 leadExp = lead.exp(); in PolyEntryBase()
42 leadDeg = leadExp.deg(); in PolyEntryBase()
60 Exponent leadExp; variable
H A DPolyEntry.h59 vPairCalculated.insert(leadExp.begin(), leadExp.end()); in markVariablePairsCalculated()
64 tailVariables.reducibleBy(other.leadExp); in propagatableBy()
/dports/math/brial/BRiAl-1.2.10/groebner/include/polybori/groebner/
H A DPolynomialSugar.h36 PBORI_ASSERT(exp==p.leadExp()); in PolynomialSugar()
55 PBORI_ASSERT(exp==p.leadExp()); in PolynomialSugar()
61 const Exponent& leadExp() const{ in leadExp() function
74 PBORI_ASSERT(p2.leadExp()==exp); in add()
92 PBORI_ASSERT((p.isZero())||(exp==p.leadExp())); in add()
116 PBORI_ASSERT(exp==p.leadExp()); in adjustLm()
H A DPairE.h54 lm(v[i].leadExp+v[j].leadExp) { in PairE()
64 lm(gen[i].leadExp) { in PairE()
67 if (gen[i].leadExp==gen[i].usedVariables) in PairE()
78 lm(delayed.leadExp()) { } in PairE()
H A DPolyEntryBase.h36 leadDeg(), leadExp(), gcdOfTerms(poly.ring()), in PolyEntryBase()
41 leadExp = lead.exp(); in PolyEntryBase()
42 leadDeg = leadExp.deg(); in PolyEntryBase()
60 Exponent leadExp; variable
H A DPolyEntry.h59 vPairCalculated.insert(leadExp.begin(), leadExp.end()); in markVariablePairsCalculated()
64 tailVariables.reducibleBy(other.leadExp); in propagatableBy()
/dports/math/brial/BRiAl-1.2.10/libbrial/include/polybori/
H A DLexOrder.h72 exp_type leadExp(const poly_type&) const;
76 exp_type leadExp(const poly_type& poly, deg_type) const { in leadExp() function
77 return leadExp(poly); in leadExp()
/dports/math/py-brial/BRiAl-1.2.10/libbrial/include/polybori/
H A DLexOrder.h72 exp_type leadExp(const poly_type&) const;
76 exp_type leadExp(const poly_type& poly, deg_type) const { in leadExp() function
77 return leadExp(poly); in leadExp()
/dports/math/brial/BRiAl-1.2.10/libbrial/src/
H A DDegLexOrder.cc94 DegLexOrder::leadExp(const poly_type& poly) const { in leadExp() function in DegLexOrder
97 return self::leadExp(poly, poly.deg()); in leadExp()
103 DegLexOrder::leadExp(const poly_type& poly, deg_type bound) const { in leadExp() function in DegLexOrder
H A DDegRevLexAscOrder.cc73 DegRevLexAscOrder::leadExp(const poly_type& poly) const { in leadExp() function in DegRevLexAscOrder
79 return self::leadExp(poly, poly.deg()); in leadExp()
84 DegRevLexAscOrder::leadExp(const poly_type& poly, deg_type bound) const { in leadExp() function in DegRevLexAscOrder
/dports/math/py-brial/BRiAl-1.2.10/libbrial/src/
H A DDegLexOrder.cc94 DegLexOrder::leadExp(const poly_type& poly) const { in leadExp() function in DegLexOrder
97 return self::leadExp(poly, poly.deg()); in leadExp()
103 DegLexOrder::leadExp(const poly_type& poly, deg_type bound) const { in leadExp() function in DegLexOrder
H A DDegRevLexAscOrder.cc73 DegRevLexAscOrder::leadExp(const poly_type& poly) const { in leadExp() function in DegRevLexAscOrder
79 return self::leadExp(poly, poly.deg()); in leadExp()
84 DegRevLexAscOrder::leadExp(const poly_type& poly, deg_type bound) const { in leadExp() function in DegRevLexAscOrder
/dports/math/py-brial/BRiAl-1.2.10/groebner/src/
H A DGroebnerStrategy.cc97 PBORI_ASSERT(lm == generators[i].leadExp.LCM(generators[j].leadExp)); in checkChainCriterion()
215 Exponent e = p.leadExp(); in addHigherImplDelayedUsing4()
233 Exponent e_i=p_i.leadExp(); in addHigherImplDelayedUsing4()
257 bool directly = add4ImplDelayed(e.p, e.leadExp, e.usedVariables, false, impl); in add4ImplDelayed()
303 Exponent e_i=p_i.leadExp(); in add4ImplDelayed()
325 Exponent::const_iterator it = entry.leadExp.begin(); in addVariablePairs()
326 Exponent::const_iterator end = entry.leadExp.end(); in addVariablePairs()
577 impl = add4ImplDelayed(p, p.leadExp(), p.usedVariablesExp()); in addGeneratorTrySplit()
587 deg_type rest_lead_exp_deg=f.rest.leadExp().deg(); in addGeneratorTrySplit()
633 PBORI_ASSERT(!(generators.leadingTerms.divisorsOf(p.leadExp()).isZero())); in addGeneratorTrySplit()
[all …]

123