38 vector<mpz_class>
vec(4);
87 Term(
"10 0 0 0"),
Term(
"10 0 0 0")));
100#define INNER_SIMP_TEST(strat, div, dom, degree, expectPivot) \
102 Term gotPivot(Term(expectPivot).getVarCount()); \
103 bool expectSimplify = !Term(expectPivot).isIdentity(); \
104 ASSERT_EQ(strat.getInnerSimplify \
105 (Term(div), Term(dom), degree, gotPivot), \
107 if (expectSimplify) { \
108 ASSERT_EQ(gotPivot, Term(expectPivot)); \
112#define OUTER_SIMP_TEST(strat, div, dom, degree, expectPivot) \
114 Term gotPivot(Term(expectPivot).getVarCount()); \
115 bool expectSimplify = !Term(expectPivot).isIdentity(); \
116 ASSERT_EQ(strat.getOuterSimplify \
117 (Term(div), Term(dom), degree, gotPivot), \
119 if (expectSimplify) { \
120 ASSERT_EQ(gotPivot, Term(expectPivot)); \
140 one.beginConsuming();
141 one.consume(
Term(
"1 2 3 4"));
184 one.beginConsuming();
185 one.consume(
Term(
"1 2 3 4"));
void nameFactoryRegister(NameFactory< AbstractProduct > &factory)
Registers the string returned by ConcreteProduct::getStaticName() to a function that default-construc...
#define INNER_SIMP_TEST(strat, div, dom, degree, expectPivot)
#define OUTER_SIMP_TEST(strat, div, dom, degree, expectPivot)
#define ASSERT_TRUE(VALUE)
#define ASSERT_FALSE(VALUE)
static BigIdeal xx_yy_zz_t_xz_yz()
Returns .
Represents a monomial ideal with int exponents.
OptimizeStrategy optimizes a function on the maximal standard monomials of a monomial ideal using bra...
@ UseBoundToEliminateAndSimplify
Eliminate non-improving slices and simplify slices by trying to generate non-improving slices that ar...
virtual void beginConsuming()
Tell the consumer to begin consuming an ideal.
This class describes the interface of a strategy object for the Slice Algorithm.
static auto_ptr< SplitStrategy > createStrategy(const string &prefix)
Returns the strategy whose name has the given prefix.
A TermGrader assigns a value, the degree, to each monomial.
TermTranslator handles translation between terms whose exponents are infinite precision integers and ...
Term represents a product of variables which does not include a coefficient.
#define TEST_SUITE2(PARENT, SUITE)
#define TEST(SUITE, TEST_NAME)
#define TEST_SUITE(SUITE)