Go to the source code of this file.
|
#define | TEST_MINIMIZE(idealStr, minimizedStr) |
|
#define | TEST_COLON_REMINIMIZE_TERM(idealStr, colonStr, minimizedStr) |
|
#define | TEST_COLON_REMINIMIZE_VAR(idealStr, colonVar, minimizedStr) |
|
#define | TEST_HASFULLSUPPORT(idealStr, _extraStr, value) |
|
#define | TEST_COMPACT(beforeStr, removeStr, afterStr) |
|
#define | TEST_TRANSPOSE(beforeStr, removeStr, afterStr) |
|
|
| TEST (RawSquareFreeIdeal, Insert_Term) |
|
| TEST (RawSquareFreeIdeal, NewIdealParse) |
|
| TEST (RawSquareFreeIdeal, Equality) |
|
| TEST (RawSquareFreeIdeal, SortLexAscending) |
|
| TEST (RawSquareFreeIdeal, MinimizeAndMinimizable) |
|
| TEST (RawSquareFreeIdeal, ColonReminimizeMinimize_VarAndTerm) |
|
| TEST (RawSquareFreeIdeal, GetVarDividesCounts) |
|
| TEST (RawSquareFreeIdeal, HasFullSupport) |
|
| TEST (RawSquareFreeIdeal, Compact) |
|
| TEST (RawSquareFreeIdeal, Transpose) |
|
#define TEST_COLON_REMINIMIZE_TERM |
( |
|
idealStr, |
|
|
|
colonStr, |
|
|
|
minimizedStr |
|
) |
| |
Value:
ideal->colonReminimize(colon);
\
ASSERT_TRUE2(sortedEqual(*ideal, *minimized), *ideal, *minimized);
\
}
RawSquareFreeIdeal RSFIdeal
void colon(Word *res, const Word *resEnd, const Word *a, const Word *b)
#define ASSERT_TRUE(VALUE)
unsigned long Word
The native unsigned type for the CPU.
RawSquareFreeIdeal * newRawSquareFreeIdealParse(const char *str)
Allocates and returns an ideal based on str.
#define ASSERT_TRUE2(VALUE, X, Y)
Word * newTermParse(const char *strParam)
Allocates and returns a term based on str.
void deleteRawSquareFreeIdeal(RSFIdeal *ideal)
void deleteTerm(Word *term)
Deletes term previously returned by newTerm().
Definition at line 184 of file RawSquareFreeIdealTest.cpp.
#define TEST_COLON_REMINIMIZE_VAR |
( |
|
idealStr, |
|
|
|
colonVar, |
|
|
|
minimizedStr |
|
) |
| |
Value:
idealVar->colonReminimize((
size_t)colonVar);
\
ASSERT_TRUE2(sortedEqual(*idealVar, *minimized), *idealVar, *minimized); \
idealTerm->colonReminimize(colon);
\
ASSERT_TRUE2(sortedEqual(*idealTerm, *minimized), *idealVar, *minimized);
\
}
RawSquareFreeIdeal RSFIdeal
Word * newTerm(size_t varCount)
Returns identity term of varCount variables.
void colon(Word *res, const Word *resEnd, const Word *a, const Word *b)
void setExponent(Word *a, size_t var, bool value)
unsigned long Word
The native unsigned type for the CPU.
RawSquareFreeIdeal * newRawSquareFreeIdealParse(const char *str)
Allocates and returns an ideal based on str.
#define ASSERT_TRUE2(VALUE, X, Y)
void deleteRawSquareFreeIdeal(RSFIdeal *ideal)
void deleteTerm(Word *term)
Deletes term previously returned by newTerm().
Definition at line 196 of file RawSquareFreeIdealTest.cpp.
#define TEST_COMPACT |
( |
|
beforeStr, |
|
|
|
removeStr, |
|
|
|
afterStr |
|
) |
| |
Value:
before->compact(
remove);
\
}
RawSquareFreeIdeal RSFIdeal
unsigned long Word
The native unsigned type for the CPU.
RawSquareFreeIdeal * newRawSquareFreeIdealParse(const char *str)
Allocates and returns an ideal based on str.
Word * newTermParse(const char *strParam)
Allocates and returns a term based on str.
void deleteRawSquareFreeIdeal(RSFIdeal *ideal)
void deleteTerm(Word *term)
Deletes term previously returned by newTerm().
Definition at line 371 of file RawSquareFreeIdealTest.cpp.
#define TEST_HASFULLSUPPORT |
( |
|
idealStr, |
|
|
|
_extraStr, |
|
|
|
value |
|
) |
| |
Value:{ \
const
char* extraStr = _extraStr;
\
ASSERT_TRUE2(ideal->hasFullSupport(extra), *ideal, extraStr); \
}
RawSquareFreeIdeal RSFIdeal
#define ASSERT_FALSE2(VALUE, X, Y)
unsigned long Word
The native unsigned type for the CPU.
RawSquareFreeIdeal * newRawSquareFreeIdealParse(const char *str)
Allocates and returns an ideal based on str.
#define ASSERT_TRUE2(VALUE, X, Y)
Word * newTermParse(const char *strParam)
Allocates and returns a term based on str.
void deleteRawSquareFreeIdeal(RSFIdeal *ideal)
void deleteTerm(Word *term)
Deletes term previously returned by newTerm().
Definition at line 319 of file RawSquareFreeIdealTest.cpp.
#define TEST_MINIMIZE |
( |
|
idealStr, |
|
|
|
minimizedStr |
|
) |
| |
Value:
}
RawSquareFreeIdeal RSFIdeal
#define ASSERT_TRUE(VALUE)
RawSquareFreeIdeal * newRawSquareFreeIdealParse(const char *str)
Allocates and returns an ideal based on str.
#define ASSERT_FALSE(VALUE)
void deleteRawSquareFreeIdeal(RSFIdeal *ideal)
Definition at line 146 of file RawSquareFreeIdealTest.cpp.
#define TEST_TRANSPOSE |
( |
|
beforeStr, |
|
|
|
removeStr, |
|
|
|
afterStr |
|
) |
| |
Value:
const size_t maxDim = before->getGeneratorCount() > before->getVarCount() ?\
before->getGeneratorCount() : before->getVarCount();
\
calculated->setToTransposeOf(*before,
remove);
\
calculated->setToTransposeOf(*calculated); \
calculated->transpose();
\
}
RawSquareFreeIdeal RSFIdeal
RSFIdeal * newRawSquareFreeIdeal(size_t varCount, size_t capacity)
Allocates object with enough memory for capacity generators in varCount variables.
unsigned long Word
The native unsigned type for the CPU.
RawSquareFreeIdeal * newRawSquareFreeIdealParse(const char *str)
Allocates and returns an ideal based on str.
Word * newTermParse(const char *strParam)
Allocates and returns a term based on str.
void deleteRawSquareFreeIdeal(RSFIdeal *ideal)
void deleteTerm(Word *term)
Deletes term previously returned by newTerm().
Definition at line 397 of file RawSquareFreeIdealTest.cpp.