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
|