false in case of overflow or incorrect string. Precondition: non-empty coefficients.
See Implementation