public static String MakeString <T>(this UInt64 set, FiniteDomain <T> domain)
{
StringBuilder builder = new StringBuilder();
builder.Append('{');
foreach (var index in set.GetSetIndices())
{
builder.Append(domain[index]);
builder.Append(", ");
}
// remove the last comma
if (builder.Length > 2)
{
builder.Remove(builder.Length - 2, 2);
}
builder.Append('}');
return(builder.ToString());
}