27 beginAction(
"Adjusting lattice basis to increse number of zero entries.");
void beginAction(const char *message)
Prints message to standard error if printing is turned on, and records the time when the action start...
void endAction()
Prints to standard error the time since the last call to beginAction.
Facade(bool printActions)
Constructs a facade that prints out what it is doing if printActions is true.
void makeZeroesInLatticeBasis(BigIdeal &basis)
LatticeFacade(bool printActions)
This header file includes common definitions and is included as the first line of code in every imple...