Updating: adding a doc/EXAMPLE/PEULER-example.
Updating: fixing a glitch in symenv_joinwth.