Weierstrass factorization