  We present a zero decomposition theorem and an algorithm based on Wu's
method, which computes a zero decomposition with multiplicity for a given
zero-dimensional polynomial system. If the system satisfies some condition, the
zero decomposition is of triangular form.
