check for all negative powers of z and also for non-integer coefficients
to decide whether to keep a solution.
documentation fixes, clarifications.