add Poly_J.v