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
|
// -*- c++ -*-
//*****************************************************************************
/** @file PolynomialFactoryTest.cc
*
* @author Alexander Dreyer
* @date 2011-05-05
*
* boost/test-driven unit test
*
* @par Copyright:
* (c) 2011 by The PolyBoRi Team
*
**/
//*****************************************************************************
#include <boost/test/unit_test.hpp>
#include <boost/version.hpp>
#if BOOST_VERSION < 107100
#include <boost/test/output_test_stream.hpp>
#else
#include <boost/test/tools/output_test_stream.hpp>
#endif
using boost::test_tools::output_test_stream;
#include <polybori/pbori_defs.h>
#include <polybori/factories/PolynomialFactory.h>
#include <polybori/BooleExponent.h>
#include <polybori/BooleVariable.h>
#include <polybori/BooleMonomial.h>
#include <polybori/BoolePolyRing.h>
USING_NAMESPACE_PBORI
struct Fpolyfac {
Fpolyfac(const BoolePolyRing& input_ring = BoolePolyRing(5)):
ring(input_ring),
bexp(BooleExponent().change(1)),
x(0, input_ring), y(1, input_ring), z(2, input_ring),
v(3, input_ring), w(4, input_ring),
bset(1, input_ring.one(), input_ring.zero()) {
BOOST_TEST_MESSAGE( "setup fixture" );
ring.setVariableName(0, "x");
ring.setVariableName(1, "y");
ring.setVariableName(2, "z");
ring.setVariableName(3, "v");
ring.setVariableName(4, "w");
}
~Fpolyfac() { BOOST_TEST_MESSAGE( "teardown fixture" ); }
BoolePolyRing ring;
BooleExponent bexp;
BooleVariable x, y, z, v, w;
BooleSet bset;
};
BOOST_FIXTURE_TEST_SUITE(PolynomialFactoryTest, Fpolyfac )
BOOST_AUTO_TEST_CASE(test_constructors) {
PolynomialFactory factory(ring);
PolynomialFactory factory_copy(factory);
BOOST_CHECK_EQUAL(factory.parent().hash(), ring.hash());
BOOST_CHECK_EQUAL(factory_copy.parent().hash(), ring.hash());
}
BOOST_AUTO_TEST_CASE(test_pseudo_constructors) {
PolynomialFactory factory(ring);
BOOST_TEST_MESSAGE( "Constant monomials..." );
BOOST_CHECK_EQUAL(factory(), BooleConstant(false));
BOOST_TEST_MESSAGE( "Polynomials from other types (variables, exponents, rings)..." );
BOOST_CHECK_EQUAL(factory(x), x);
BOOST_CHECK_EQUAL(factory(bexp, ring), y);
BOOST_CHECK_EQUAL(factory(bexp), y);
BOOST_CHECK_EQUAL(factory(BooleExponent(), ring),
BoolePolynomial(1, ring));
BOOST_CHECK_EQUAL(factory(BooleExponent()), BoolePolynomial(1, ring));
BOOST_CHECK_EQUAL(factory(ring), BooleConstant(false));
BOOST_CHECK_EQUAL(factory(z),
BooleVariable(2, ring));
BOOST_CHECK_EQUAL(factory(0), BooleConstant(false));
BOOST_CHECK_EQUAL(factory(2), BooleConstant(false));
BOOST_CHECK_EQUAL(factory(4), BooleConstant(false));
BOOST_CHECK_EQUAL(factory(1), BooleConstant(true));
BOOST_CHECK_EQUAL(factory(3), BooleConstant(true));
BOOST_CHECK_EQUAL(factory(5), BooleConstant(true));
BOOST_CHECK_EQUAL(factory(0, ring), BooleConstant(false));
BOOST_CHECK_EQUAL(factory(2, ring), BooleConstant(false));
BOOST_CHECK_EQUAL(factory(4, ring), BooleConstant(false));
BOOST_CHECK_EQUAL(factory(1, ring), BooleConstant(true));
BOOST_CHECK_EQUAL(factory(3, ring), BooleConstant(true));
BOOST_CHECK_EQUAL(factory(5, ring), BooleConstant(true));
BOOST_CHECK_EQUAL(factory(bset), BoolePolynomial(bset));
BOOST_CHECK_EQUAL(factory(bset.navigation(), ring), BoolePolynomial(bset));
BOOST_CHECK_EQUAL(factory(bset.navigation()), BoolePolynomial(bset));
BooleExponent exponent;
exponent.insert(4);
exponent.insert(0);
BoolePolynomial monom = factory(exponent, ring);
output_test_stream output;
output << monom;
BOOST_CHECK(output.is_equal("x*w"));
monom = factory(exponent);
output << monom;
BOOST_CHECK(output.is_equal("x*w"));
exponent.insert(5);
BOOST_CHECK_THROW(factory(exponent, ring), PBoRiError);
BOOST_CHECK_THROW(factory(exponent), PBoRiError);
}
BOOST_AUTO_TEST_SUITE_END()
|
