Made the multiplication symbol consistent in the dimensional analysis.
Flushing output in .poi writing after each vertex discovered.
Fixing typos in dimension bound.
Added chance hyperplanes explanation.