Sorted out issues for k>3
IsSmallestConjugate is fixed