fix problem in all-k-cyclic
fix testing, add in doc