Point * Point -- entrywise product of two projective points

Synopsis

• Operator: *
• Usage:
p * q
• Inputs:
• p, an instance of the type Point,
• q, an instance of the type Point,
• Outputs:
• an instance of the type Point,

Description

 i1 : p = point {1,2,3}; i2 : q = point {-1,2,5}; i3 : p * q o3 = Point{-1, 4, 15} o3 : Point

Note that this operation is not always well-defined in projective space, e.g., the Hadamard product of the points $[1:0]$ and $[0:1]$ is not well-defined