The vertices or vertices_abc command finds the vertices of a polygon.
| vertices(equilateral_triangle(1+i,3+i)) | 
 
Individual vertices can be fetched by using the [] operator, like e.g.
| C:=vertices(equilateral_triangle(1+i,3+i))[1] | 
which returns the second vertex.