A Computation Method for a Projection of a Projective Variety

Consider a projective variety W⊆P^n and a point p∈P^n\W. The projection at point p onto P^(n-1) is represented by the mapping π_p:P^n\{p}→P^(n-1), where π_p (q) denotes the point of intersection between the line (pq) ̅ and P^(n-1), for q≠p. In this article, we derive a generator set for the ideal I(π_p (W)) when W is defined as the set of zero points of certain homogeneous polynomials.