public void RefineTest()
{
int n = 3;
Graph g = new Graph(n)
{
connectionTable = new int[][] { new[] { 0, 1, 1 }, new[] { 1, 0, 0 }, new[] { 1, 0, 0 } }
};
PermutationGroup group = new PermutationGroup(n);
MockRefiner refiner = new MockRefiner(g);
Setup(refiner, group, g);
refiner.Refine(Partition.Unit(n));
Assert.IsNotNull(refiner);
}
public void GetFirstHalfMatrixStringTest()
{
int n = 3;
Graph g = new Graph(n)
{
connectionTable = new int[][] { new[] { 0, 0, 1 }, new[] { 0, 0, 1 }, new[] { 1, 1, 0 } }
};
PermutationGroup group = new PermutationGroup(n);
MockRefiner refiner = new MockRefiner(g);
Setup(refiner, group, g);
refiner.Refine(Partition.Unit(n));
string hms = refiner.GetFirstHalfMatrixString();
string expected = "110";
Assert.AreEqual(expected, hms);
}
public void GetFirstTest()
{
int n = 3;
Graph g = new Graph(n)
{
connectionTable = new int[][] { new[] { 0, 1, 0 }, new[] { 1, 0, 1 }, new[] { 0, 1, 0 } }
};
PermutationGroup group = new PermutationGroup(n);
MockRefiner refiner = new MockRefiner(g);
Setup(refiner, group, g);
refiner.Refine(Partition.Unit(n));
Permutation first = refiner.GetFirst();
Permutation expected = new Permutation(1, 0, 2);
Assert.AreEqual(expected, first);
}
public void GetAutomorphismPartitionTest()
{
int n = 3;
Graph g = new Graph(n)
{
connectionTable = new int[][] { new[] { 0, 1, 1 }, new[] { 1, 0, 0 }, new[] { 1, 0, 0 } }
};
PermutationGroup group = new PermutationGroup(n);
MockRefiner refiner = new MockRefiner(g);
Setup(refiner, group, g);
refiner.Refine(Partition.Unit(n));
Partition autPartition = refiner.GetAutomorphismPartition();
Partition expected = Partition.FromString("0|1,2");
Assert.AreEqual(expected, autPartition);
}