| /dports/math/py-brial/BRiAl-1.2.10/libbrial/include/polybori/ |
| H A D | BooleVariable.h | 39 class BooleVariable:
43 typedef BooleVariable self;
59 BooleVariable(idx_type idx, const ring_type& ring): in BooleVariable() function
63 BooleVariable(const ring_type& ring): in BooleVariable() function
67 BooleVariable(const self& rhs): in BooleVariable() function
100 BooleVariable(const BoolePolynomial& poly):m_poly(poly){} in BooleVariable() function
108 operator/(const BooleVariable& lhs, const BooleVariable& rhs) {
|
| H A D | BooleMonomial.h | 38 class BooleVariable; variable
336 operator*(const BooleVariable& lhs, const BooleConstant& rhs){
343 operator*(const BooleConstant& lhs, const BooleVariable& rhs){
350 operator*(const BooleVariable& lhs,
358 operator*(const BooleVariable& lhs,
367 const BooleVariable& rhs){
374 operator*(const BooleVariable& lhs,
375 const BooleVariable& rhs){
383 const BooleVariable& rhs){
391 const BooleVariable& rhs){
[all …]
|
| /dports/math/brial/BRiAl-1.2.10/libbrial/include/polybori/ |
| H A D | BooleVariable.h | 39 class BooleVariable:
43 typedef BooleVariable self;
59 BooleVariable(idx_type idx, const ring_type& ring): in BooleVariable() function
63 BooleVariable(const ring_type& ring): in BooleVariable() function
67 BooleVariable(const self& rhs): in BooleVariable() function
100 BooleVariable(const BoolePolynomial& poly):m_poly(poly){} in BooleVariable() function
108 operator/(const BooleVariable& lhs, const BooleVariable& rhs) {
|
| H A D | BooleMonomial.h | 38 class BooleVariable; variable
336 operator*(const BooleVariable& lhs, const BooleConstant& rhs){
343 operator*(const BooleConstant& lhs, const BooleVariable& rhs){
350 operator*(const BooleVariable& lhs,
358 operator*(const BooleVariable& lhs,
367 const BooleVariable& rhs){
374 operator*(const BooleVariable& lhs,
375 const BooleVariable& rhs){
383 const BooleVariable& rhs){
391 const BooleVariable& rhs){
[all …]
|
| /dports/math/py-brial/BRiAl-1.2.10/tests/ |
| H A D | spolyTest.cc | 34 x(BooleVariable(0, input_ring)), y(BooleVariable(1, input_ring)), in Fspoly()
35 z(BooleVariable(2, input_ring)), in Fspoly()
36 v(BooleVariable(3, input_ring)), w(BooleVariable(4, input_ring)) { in Fspoly()
|
| H A D | VariableFactoryTest.cc | 51 BooleVariable x, y, z, v, w;
71 BOOST_CHECK_EQUAL(factory(), BooleVariable(0, ring)); in BOOST_AUTO_TEST_CASE()
72 BOOST_CHECK_EQUAL(factory(ring), BooleVariable(0, ring)); in BOOST_AUTO_TEST_CASE()
77 BOOST_CHECK_EQUAL(factory(idx), BooleVariable(idx, ring)); in BOOST_AUTO_TEST_CASE()
78 BOOST_CHECK_EQUAL(factory(idx, ring), BooleVariable(idx, ring)); in BOOST_AUTO_TEST_CASE()
|
| H A D | term_accumulateTest.cc | 35 x = (BooleVariable(0, ring)); in Ftermaccu()
36 y = (BooleVariable(1, ring)); in Ftermaccu()
37 z = (BooleVariable(2, ring)); in Ftermaccu()
38 v = (BooleVariable(3, ring)); in Ftermaccu()
39 w = (BooleVariable(4, ring)); in Ftermaccu()
|
| H A D | GroebnerStrategyTest.cc | 42 BooleVariable x, y, z, v, w;
51 strat.addGenerator(BoolePolynomial(BooleVariable(i, ring)+BoolePolynomial(true,ring))); in BOOST_FIXTURE_TEST_SUITE()
|
| H A D | BooleExponentTest.cc | 52 BooleVariable x, y, z, v, w;
120 output << exponent.divide(BooleVariable(y)); in BOOST_AUTO_TEST_CASE()
122 output << exponent.divide(BooleVariable(4, ring)); in BOOST_AUTO_TEST_CASE()
124 output << exponent.divide(BooleVariable(ring)); in BOOST_AUTO_TEST_CASE()
142 output << empty.divide(BooleVariable(y)); in BOOST_AUTO_TEST_CASE()
144 output << empty.divide(BooleVariable(4, ring)); in BOOST_AUTO_TEST_CASE()
146 output << empty.divide(BooleVariable(ring)); in BOOST_AUTO_TEST_CASE()
210 output << exponent.multiply(BooleVariable(v)); in BOOST_AUTO_TEST_CASE()
214 output << exponent.multiply(BooleVariable(ring)); in BOOST_AUTO_TEST_CASE()
232 output << empty.multiply(BooleVariable(v)); in BOOST_AUTO_TEST_CASE()
[all …]
|
| H A D | PolynomialFactoryTest.cc | 57 BooleVariable x, y, z, v, w;
92 BooleVariable(2, ring)); in BOOST_AUTO_TEST_CASE()
|
| H A D | BoolePolynomialTest.cc | 56 x(BooleVariable(0, input_ring)), in Fpoly()
57 y(BooleVariable(1, input_ring)), in Fpoly()
58 z(BooleVariable(2, input_ring)), in Fpoly()
547 a = BooleVariable(0, ring); in OrderGenFix()
548 b = BooleVariable(1, ring); in OrderGenFix()
549 c = BooleVariable(2, ring); in OrderGenFix()
550 d = BooleVariable(3, ring); in OrderGenFix()
551 e = BooleVariable(4, ring); in OrderGenFix()
552 f = BooleVariable(5, ring); in OrderGenFix()
553 g = BooleVariable(6, ring); in OrderGenFix()
[all …]
|
| H A D | BooleVariableTest.cc | 35 typedef BooleVariable var_type;
50 BooleVariable x, y, z;
|
| /dports/math/brial/BRiAl-1.2.10/tests/ |
| H A D | spolyTest.cc | 34 x(BooleVariable(0, input_ring)), y(BooleVariable(1, input_ring)), in Fspoly()
35 z(BooleVariable(2, input_ring)), in Fspoly()
36 v(BooleVariable(3, input_ring)), w(BooleVariable(4, input_ring)) { in Fspoly()
|
| H A D | VariableFactoryTest.cc | 51 BooleVariable x, y, z, v, w;
71 BOOST_CHECK_EQUAL(factory(), BooleVariable(0, ring)); in BOOST_AUTO_TEST_CASE()
72 BOOST_CHECK_EQUAL(factory(ring), BooleVariable(0, ring)); in BOOST_AUTO_TEST_CASE()
77 BOOST_CHECK_EQUAL(factory(idx), BooleVariable(idx, ring)); in BOOST_AUTO_TEST_CASE()
78 BOOST_CHECK_EQUAL(factory(idx, ring), BooleVariable(idx, ring)); in BOOST_AUTO_TEST_CASE()
|
| H A D | term_accumulateTest.cc | 35 x = (BooleVariable(0, ring)); in Ftermaccu()
36 y = (BooleVariable(1, ring)); in Ftermaccu()
37 z = (BooleVariable(2, ring)); in Ftermaccu()
38 v = (BooleVariable(3, ring)); in Ftermaccu()
39 w = (BooleVariable(4, ring)); in Ftermaccu()
|
| H A D | GroebnerStrategyTest.cc | 42 BooleVariable x, y, z, v, w;
51 strat.addGenerator(BoolePolynomial(BooleVariable(i, ring)+BoolePolynomial(true,ring))); in BOOST_FIXTURE_TEST_SUITE()
|
| H A D | BooleExponentTest.cc | 52 BooleVariable x, y, z, v, w;
120 output << exponent.divide(BooleVariable(y)); in BOOST_AUTO_TEST_CASE()
122 output << exponent.divide(BooleVariable(4, ring)); in BOOST_AUTO_TEST_CASE()
124 output << exponent.divide(BooleVariable(ring)); in BOOST_AUTO_TEST_CASE()
142 output << empty.divide(BooleVariable(y)); in BOOST_AUTO_TEST_CASE()
144 output << empty.divide(BooleVariable(4, ring)); in BOOST_AUTO_TEST_CASE()
146 output << empty.divide(BooleVariable(ring)); in BOOST_AUTO_TEST_CASE()
210 output << exponent.multiply(BooleVariable(v)); in BOOST_AUTO_TEST_CASE()
214 output << exponent.multiply(BooleVariable(ring)); in BOOST_AUTO_TEST_CASE()
232 output << empty.multiply(BooleVariable(v)); in BOOST_AUTO_TEST_CASE()
[all …]
|
| H A D | PolynomialFactoryTest.cc | 57 BooleVariable x, y, z, v, w;
92 BooleVariable(2, ring)); in BOOST_AUTO_TEST_CASE()
|
| H A D | BoolePolynomialTest.cc | 56 x(BooleVariable(0, input_ring)), in Fpoly()
57 y(BooleVariable(1, input_ring)), in Fpoly()
58 z(BooleVariable(2, input_ring)), in Fpoly()
547 a = BooleVariable(0, ring); in OrderGenFix()
548 b = BooleVariable(1, ring); in OrderGenFix()
549 c = BooleVariable(2, ring); in OrderGenFix()
550 d = BooleVariable(3, ring); in OrderGenFix()
551 e = BooleVariable(4, ring); in OrderGenFix()
552 f = BooleVariable(5, ring); in OrderGenFix()
553 g = BooleVariable(6, ring); in OrderGenFix()
[all …]
|
| /dports/math/py-brial/BRiAl-1.2.10/libbrial/src/ |
| H A D | Makefile.am | 14 BooleVariable.cc \
|
| /dports/math/brial/BRiAl-1.2.10/libbrial/src/ |
| H A D | Makefile.am | 14 BooleVariable.cc \
|
| /dports/math/py-brial/BRiAl-1.2.10/groebner/include/polybori/groebner/ |
| H A D | groebner_defs.h | 31 typedef polybori::BooleVariable Variable;
|
| /dports/math/brial/BRiAl-1.2.10/groebner/include/polybori/groebner/ |
| H A D | groebner_defs.h | 31 typedef polybori::BooleVariable Variable;
|
| /dports/math/py-brial/BRiAl-1.2.10/libbrial/include/polybori/factories/ |
| H A D | VariableFactory.h | 46 typedef BooleVariable value_type;
|
| /dports/math/brial/BRiAl-1.2.10/libbrial/include/polybori/factories/ |
| H A D | VariableFactory.h | 46 typedef BooleVariable value_type;
|