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
|
// -*- c++ -*-
//*****************************************************************************
/** @file spolyTest.cc
*
* @author Ket Kalda, Alexander Dreyer
* @date 2011-03-15
*
* 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.h>
USING_NAMESPACE_PBORI
struct Fspoly {
Fspoly(const BoolePolyRing& input_ring = BoolePolyRing(5)):
ring(input_ring),
x(BooleVariable(0, input_ring)), y(BooleVariable(1, input_ring)),
z(BooleVariable(2, input_ring)),
v(BooleVariable(3, input_ring)), w(BooleVariable(4, input_ring)) {
BOOST_TEST_MESSAGE( "setup fixture" );
}
~Fspoly() { BOOST_TEST_MESSAGE( "teardown fixture" ); }
BoolePolyRing ring;
BooleMonomial x, y, z, v, w;
};
BOOST_FIXTURE_TEST_SUITE(spolyTestSuite, Fspoly )
BOOST_AUTO_TEST_CASE(test_spoly) {
BOOST_TEST_MESSAGE("term_spoly");
BoolePolynomial poly1 = x*y + x*z + y + w;
BoolePolynomial poly2 = x*w + w;
BoolePolynomial theSpoly = spoly(poly1, poly2);
BOOST_CHECK_EQUAL(theSpoly, x*z*w + w);
BOOST_CHECK_THROW(spoly(BoolePolynomial(ring), BoolePolynomial(ring)),
PBoRiGenericError<CTypes::illegal_on_zero>);
BOOST_CHECK_EQUAL(spoly(BooleMonomial(ring), BooleMonomial(ring)),BoolePolynomial(ring));
}
BOOST_AUTO_TEST_SUITE_END()
|
