Equilateral triangle

Constructs an equilateral triangle.

equilateral_triangle(Point, Real, Real)

Given a point O and two reals r and omega, constructs an equilateral triangle with barycenter O, distance between O and the vertices r, and the first vertex located at angle omega.

equilateral_triangle(Point, Real)

Given a point O and two reals r, constructs an equilateral triangle with barycenter O and such that the distance between O and the vertices is r.

equilateral_triangle(Segment)

Given a segment, constructs an equilateral triangle with such segment as an edge.

equilateral_triangle(Point, Point)

Given two points A and B, constructs an equilateral triangle where two of the vertices are A and B.