# 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=Perpendicular line
boundary=circles
theta=!random 0,2*pi

points=0,0\
cos($theta),-sin($theta)
lines=0,0,cos($theta),-sin($theta),2

goal=line,0,0,sin($theta),cos($theta),2
goal_text=find the line passing through point 1 and perpendicular to line 1

solution=circle,1,2\
point,line,1,circle,1\
circle,2,3\
circle,3,2\
point,circle,2,circle,3\
line,4,5
