Implement both S and reduced Q method of finding matrices, rename TestCase