#include "stdinc.h"
#include "OptimizeStrategy.h"
#include "tests.h"
#include "IdealFactory.h"
#include "Ideal.h"
#include "TermTranslator.h"
#include "TermGrader.h"
#include "SplitStrategy.h"
#include "Slice.h"
#include <vector>
Go to the source code of this file.
#define INNER_SIMP_TEST |
( |
|
strat, |
|
|
|
div, |
|
|
|
dom, |
|
|
|
degree, |
|
|
|
expectPivot |
|
) |
| |
Value:{ \
Term gotPivot(
Term(expectPivot).getVarCount()); \
(
Term(div),
Term(dom), degree, gotPivot), \
expectSimplify); \
} \
}
static bool isIdentity(const Exponent *a, size_t varCount)
Returns whether a is 1, i.e. whether all entries of a are 0.
Term represents a product of variables which does not include a coefficient.
Definition at line 100 of file OptimizeStrategyTest.cpp.
#define OUTER_SIMP_TEST |
( |
|
strat, |
|
|
|
div, |
|
|
|
dom, |
|
|
|
degree, |
|
|
|
expectPivot |
|
) |
| |
Value:{ \
Term gotPivot(
Term(expectPivot).getVarCount()); \
(
Term(div),
Term(dom), degree, gotPivot), \
expectSimplify); \
} \
}
static bool isIdentity(const Exponent *a, size_t varCount)
Returns whether a is 1, i.e. whether all entries of a are 0.
Term represents a product of variables which does not include a coefficient.
Definition at line 112 of file OptimizeStrategyTest.cpp.