Searched refs:hasConstantPart (Results 1 – 16 of 16) sorted by relevance
| /dports/math/py-brial/BRiAl-1.2.10/groebner/include/polybori/groebner/ |
| H A D | MonomialPlusOneTerms.h | 40 return (entry.length == 2) && (entry.p.hasConstantPart());
|
| H A D | minimal_elements.h | 40 if (Polynomial(s).hasConstantPart()) return MonomialSet(Polynomial(true, s.ring()));
69 if (Polynomial(s).hasConstantPart())
89 PBORI_ASSERT(!(Polynomial(s).hasConstantPart()));
130 if ((Polynomial(s).isOne()) || (Polynomial(s).hasConstantPart())){
|
| /dports/math/brial/BRiAl-1.2.10/groebner/include/polybori/groebner/ |
| H A D | MonomialPlusOneTerms.h | 40 return (entry.length == 2) && (entry.p.hasConstantPart()); in isCompatible()
|
| H A D | minimal_elements.h | 40 if (Polynomial(s).hasConstantPart()) return MonomialSet(Polynomial(true, s.ring())); in minimal_elements_internal()
69 if (Polynomial(s).hasConstantPart()) in minimal_elements_internal2()
89 PBORI_ASSERT(!(Polynomial(s).hasConstantPart())); in minimal_elements_internal2()
130 if ((Polynomial(s).isOne()) || (Polynomial(s).hasConstantPart())){ in minimal_elements_internal3()
|
| /dports/math/brial/BRiAl-1.2.10/libbrial/include/polybori/ |
| H A D | BooleConstant.h | 99 bool hasConstantPart() const { return isOne(); } in hasConstantPart() function
|
| H A D | BoolePolynomial.h | 303 bool_type hasConstantPart() const { return m_dd.ownsOne(); } in hasConstantPart() function
|
| /dports/math/py-brial/BRiAl-1.2.10/libbrial/include/polybori/ |
| H A D | BooleConstant.h | 99 bool hasConstantPart() const { return isOne(); } in hasConstantPart() function
|
| H A D | BoolePolynomial.h | 303 bool_type hasConstantPart() const { return m_dd.ownsOne(); }
|
| /dports/math/brial/BRiAl-1.2.10/tests/ |
| H A D | BoolePolynomialTest.cc | 286 BOOST_CHECK_EQUAL(poly_type(ring).hasConstantPart(), false); in BOOST_AUTO_TEST_CASE()
287 BOOST_CHECK_EQUAL(poly_type(0, ring).hasConstantPart(), false); in BOOST_AUTO_TEST_CASE()
288 BOOST_CHECK_EQUAL(poly_type(1, ring).hasConstantPart(), true); in BOOST_AUTO_TEST_CASE()
289 BOOST_CHECK_EQUAL(poly_type(x).hasConstantPart(), false); in BOOST_AUTO_TEST_CASE()
290 BOOST_CHECK_EQUAL(poly_type(x*y).hasConstantPart(), false); in BOOST_AUTO_TEST_CASE()
291 BOOST_CHECK_EQUAL(poly_type(x*y + z).hasConstantPart(), false); in BOOST_AUTO_TEST_CASE()
292 BOOST_CHECK_EQUAL(poly_type(x*y + z + 1).hasConstantPart(), true); in BOOST_AUTO_TEST_CASE()
|
| /dports/math/py-brial/BRiAl-1.2.10/tests/ |
| H A D | BoolePolynomialTest.cc | 286 BOOST_CHECK_EQUAL(poly_type(ring).hasConstantPart(), false); in BOOST_AUTO_TEST_CASE()
287 BOOST_CHECK_EQUAL(poly_type(0, ring).hasConstantPart(), false); in BOOST_AUTO_TEST_CASE()
288 BOOST_CHECK_EQUAL(poly_type(1, ring).hasConstantPart(), true); in BOOST_AUTO_TEST_CASE()
289 BOOST_CHECK_EQUAL(poly_type(x).hasConstantPart(), false); in BOOST_AUTO_TEST_CASE()
290 BOOST_CHECK_EQUAL(poly_type(x*y).hasConstantPart(), false); in BOOST_AUTO_TEST_CASE()
291 BOOST_CHECK_EQUAL(poly_type(x*y + z).hasConstantPart(), false); in BOOST_AUTO_TEST_CASE()
292 BOOST_CHECK_EQUAL(poly_type(x*y + z + 1).hasConstantPart(), true); in BOOST_AUTO_TEST_CASE()
|
| /dports/math/py-brial/BRiAl-1.2.10/groebner/src/ |
| H A D | interpolate.cc | 93 if (p.hasConstantPart()) return MonomialSet(p.ring()); in zeros()
|
| H A D | LiteralFactorization.cc | 267 if (!(Polynomial(r).hasConstantPart())){
|
| H A D | FGLMStrategy.cc | 759 if ((lm_from.deg()==1)&& ((length==1)||((length==2) && (p.hasConstantPart())))){ in canAddThisElementLaterToGB()
|
| /dports/math/brial/BRiAl-1.2.10/groebner/src/ |
| H A D | interpolate.cc | 93 if (p.hasConstantPart()) return MonomialSet(p.ring()); in zeros()
|
| H A D | LiteralFactorization.cc | 267 if (!(Polynomial(r).hasConstantPart())){
|
| H A D | FGLMStrategy.cc | 759 if ((lm_from.deg()==1)&& ((length==1)||((length==2) && (p.hasConstantPart())))){ in canAddThisElementLaterToGB()
|