# Definition of an exercise ruler & compass.
# syntax of the file.
# points:  each line defines a point.  x,y
# lines:   each line defines two points on a line.   x1,y1,x2,y2,type
#          type: 1 (segment), 2 (line), 3 (semiline direct), 4 (semiline inverse)
#	   type is facultative, defaulting to 1.
# circles: each line defines a circle. x,y,r,n
#	   where (x,y) is the center, r=radius,
#          n is the number of point for the center (if n>0).
# goal: each line defines an object. First item is the type of the object
# (point,line or circle), the rest are parameters (same as above).
# goal_text: text explaining the goal. (language-dependent)

title=Equilateral triangle

points=-1,0.7\
1,0.7
lines=-1,0.7,1,0.7,1

goal=line,-1,0.7,0,0.7-sqrt(3),1\
line,1,0.7,0,0.7-sqrt(3),1
goal_text=construct an equilateral triangle above segment 1-2
solution=circle,1,2\
circle,2,1\
point,circle,1,circle,2\
segment,1,4\
segment,2,4\
hide,point,3
