/dports/math/py-brial/BRiAl-1.2.10/tests/ |
H A D | DegLexOrderTest.cc | 120 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 D | DegRevLexAscOrderTest.cc | 120 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 D | LexOrderTest.cc | 120 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 D | BlockDegLexOrderTest.cc | 119 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 D | BlockDegRevLexAscOrderTest.cc | 134 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 D | DegLexOrderTest.cc | 120 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 D | DegRevLexAscOrderTest.cc | 120 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 D | LexOrderTest.cc | 120 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 D | BlockDegLexOrderTest.cc | 119 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 D | BlockDegRevLexAscOrderTest.cc | 134 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 D | PolynomialSugar.h | 36 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 D | PairE.h | 54 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 D | PolyEntryBase.h | 36 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 D | PolyEntry.h | 59 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 D | PolynomialSugar.h | 36 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 D | PairE.h | 54 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 D | PolyEntryBase.h | 36 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 D | PolyEntry.h | 59 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 D | LexOrder.h | 72 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 D | LexOrder.h | 72 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 D | DegLexOrder.cc | 94 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 D | DegRevLexAscOrder.cc | 73 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 D | DegLexOrder.cc | 94 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 D | DegRevLexAscOrder.cc | 73 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 D | GroebnerStrategy.cc | 97 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 …]
|