Polynomial homotopy continuation: a portable Ada software package