Module point

Structs

CirclePoint

Given a Field F, we implement here the Group which consists of all the points (x, y) such as x in F, y in F and x^2 + y^2 = 1, i.e. the Circle. The operation of the group will have additive notation and is as follows: (a, b) + (c, d) = (a * c - b * d, a * d + b * c)

Traits

HasCircleParams

Parameters of the base field that we’ll need to define its Circle.