Point == Point -- check equality of two projective points

• Operator: ==

• Usage:

  p == q

• Inputs:
  • p, an instance of the type Point,
  • q, an instance of the type Point,
• Outputs:
  • a Boolean value,

i1 : p = point {1,1};

i2 : q = point {2,2};

i3 : p == q

o3 = true