# Point == Point -- check equality 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:

## Description

 i1 : p = point {1,1}; i2 : q = point {2,2}; i3 : p == q o3 = true