hadamardProduct(I,J)
Given two projective subvarieties $X$ and $Y$, their Hadamard product is defined as the Zariski closure of the set of (welldefined) entrywise products of pairs of points in the cartesian product $X \times Y$. This can also be regarded as the image of the Segre product of $X \times Y$ via the linear projection on the $z_{ii}$ coordinates. The latter is the way the function is implemented.
Consider for example the entrywise product of two points.




This can be computed also from their defining ideals as explained.



We can also consider Hadamard product of higher dimensional varieties. For example, the Hadamard product of two lines.


