Correcting documentation and coding style.
Minor.
Fixing a bug for checking if F's range falls in G's domain by allowing an overshoot of one eps.