#include "LiftStatistic.h"
#include <sstream>
Go to the source code of this file.
composes an output file name from prefix and used Program params Format: $prefix.fieldchar_$characteristic.codim_$codim.eps_$usedEpsPrecision.seed_$usedSeed.m2