Frobby 0.9.5
Macros | Typedefs | Functions
RawSquareFreeIdealTest.cpp File Reference
#include "stdinc.h"
#include "RawSquareFreeIdeal.h"
#include "tests.h"
#include "RawSquareFreeTerm.h"

Go to the source code of this file.

Macros

#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)
 

Typedefs

typedef RawSquareFreeIdeal RSFIdeal
 

Functions

 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)
 

Macro Definition Documentation

◆ TEST_COLON_REMINIMIZE_TERM

#define TEST_COLON_REMINIMIZE_TERM (   idealStr,
  colonStr,
  minimizedStr 
)
Value:
{ \
}
void nameFactoryRegister(NameFactory< AbstractProduct > &factory)
Registers the string returned by ConcreteProduct::getStaticName() to a function that default-construc...
RawSquareFreeIdeal * newRawSquareFreeIdealParse(const char *str)
Allocates and returns an ideal based on str.
A bit packed square free ideal placed in a pre-allocated buffer.
void colonReminimize(const Word *colon)
Performs a colon and minimize.
bool isMinimallyGenerated() const
Returns true if no generator divides another.
void colon(Word *res, const Word *resEnd, const Word *a, const Word *b)
Word * newTermParse(const char *strParam)
Allocates and returns a term based on str.
unsigned long Word
The native unsigned type for the CPU.
Definition stdinc.h:93

Definition at line 184 of file RawSquareFreeIdealTest.cpp.

◆ TEST_COLON_REMINIMIZE_VAR

#define TEST_COLON_REMINIMIZE_VAR (   idealStr,
  colonVar,
  minimizedStr 
)

◆ TEST_COMPACT

#define TEST_COMPACT (   beforeStr,
  removeStr,
  afterStr 
)

◆ TEST_HASFULLSUPPORT

#define TEST_HASFULLSUPPORT (   idealStr,
  _extraStr,
  value 
)
Value:
{ \
const char* extraStr = _extraStr; \
if (value) { \
} else { \
} \
}
bool hasFullSupport(const Word *ignore) const
Returns true if for every variable it either divides ignore or it divides some (not necessarily minim...

Definition at line 319 of file RawSquareFreeIdealTest.cpp.

◆ TEST_MINIMIZE

#define TEST_MINIMIZE (   idealStr,
  minimizedStr 
)

◆ TEST_TRANSPOSE

#define TEST_TRANSPOSE (   beforeStr,
  removeStr,
  afterStr 
)
Value:
{ \
Word* remove = removeStr == 0 ? 0 : newTermParse(removeStr);\
const size_t maxDim = before->getGeneratorCount() > before->getVarCount() ?\
before->getGeneratorCount() : before->getVarCount(); \
calculated->setToTransposeOf(*before, remove); \
calculated->setToTransposeOf(*calculated); \
calculated->transpose(); \
deleteTerm(remove); \
}
RSFIdeal * newRawSquareFreeIdeal(size_t varCount, size_t capacity)
Allocates object with enough memory for capacity generators in varCount variables.

Definition at line 397 of file RawSquareFreeIdealTest.cpp.

Typedef Documentation

◆ RSFIdeal

Definition at line 26 of file RawSquareFreeIdealTest.cpp.

Function Documentation

◆ TEST() [1/10]

Definition at line 212 of file RawSquareFreeIdealTest.cpp.

◆ TEST() [2/10]

TEST ( RawSquareFreeIdeal  ,
Compact   
)

Definition at line 381 of file RawSquareFreeIdealTest.cpp.

◆ TEST() [3/10]

TEST ( RawSquareFreeIdeal  ,
Equality   
)

Definition at line 81 of file RawSquareFreeIdealTest.cpp.

◆ TEST() [4/10]

Definition at line 285 of file RawSquareFreeIdealTest.cpp.

◆ TEST() [5/10]

Definition at line 331 of file RawSquareFreeIdealTest.cpp.

◆ TEST() [6/10]

TEST ( RawSquareFreeIdeal  ,
Insert_Term   
)

Definition at line 43 of file RawSquareFreeIdealTest.cpp.

◆ TEST() [7/10]

Definition at line 159 of file RawSquareFreeIdealTest.cpp.

◆ TEST() [8/10]

TEST ( RawSquareFreeIdeal  ,
NewIdealParse   
)

Definition at line 66 of file RawSquareFreeIdealTest.cpp.

◆ TEST() [9/10]

Definition at line 120 of file RawSquareFreeIdealTest.cpp.

◆ TEST() [10/10]

TEST ( RawSquareFreeIdeal  ,
Transpose   
)

Definition at line 415 of file RawSquareFreeIdealTest.cpp.