# 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=Square with given diagonal

a=!random 0,2*pi

points=cos($a),sin($a)\
-cos($a),-sin($a)
lines=cos($a),sin($a),-cos($a),-sin($a),1

goal=point,-sin($a),cos($a)\
point,sin($a),-cos($a)\
line,cos($a),sin($a),-sin($a),cos($a),1\
line,-sin($a),cos($a),-cos($a),-sin($a),1\
line,-cos($a),-sin($a),sin($a),-cos($a),1\
line,sin($a),-cos($a),cos($a),sin($a),1
goal_text=construct the square with segment 1-2 as a diagonal
solution=midper,1,2\
point,line,1,line,2\
circle,3,1\
point,line,2,circle,1\
segment,1,4\
segment,4,2\
segment,2,5\
segment,5,1\
hide,line,2\
hide,circle,1
