//[TestMethod()]
public void TestColoringForUnlabelledThreeCycle()
{
DAG dag = new DAG(0, 3);
DAG.Node root = dag.GetRoot();
DAG.Node childA = dag.MakeNodeInLayer(1, 1);
dag.AddRelation(childA, root);
DAG.Node childB = dag.MakeNodeInLayer(2, 1);
dag.AddRelation(childB, root);
DAG.Node childC = dag.MakeNodeInLayer(2, 2);
dag.AddRelation(childC, childA);
DAG.Node childD = dag.MakeNodeInLayer(1, 2);
dag.AddRelation(childD, childB);
Console.Out.WriteLine(dag);
dag.InitializeWithStringLabels(new string[] { "C", "C" });
dag.UpdateVertexInvariants();
Console.Out.WriteLine(dag.CopyInvariants());
dag.SetColor(1, 1);
dag.UpdateVertexInvariants();
Console.Out.WriteLine(dag.CopyInvariants());
}