Equilateral triangle

equilateral_triangle(Point, Real, Real)

equilateral_triangle(Point, Real)

equilateral_triangle(Segment)

equilateral_triangle(Point, Point)

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$.

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$.

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

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

Triangle