Changed slightly the documentation of the horizontal dimension
Completed testing the commutators of the Floquete operator and the horizonal and vertical transformations