History poly/zsolve.c