Solving polynomial equation systems.I,The Kronecker-Duval philosophy