[math-fun] max determinant circulant sign matrix of size 40, and summary