<!-- This file uses all the constraints involving directed_line_segment.
	 A directed_line_segment is built, then reflected, and all the properties
	 are extracted from the image.
     It still has not been run on any DGS, so it may contain bugs. -->
<construction xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="../xml/intergeo.xsd">
	<elements>
		<point id="L1">
			<homogeneous_coordinates>
				<double>0.0</double>
				<double>-5.0</double>
				<double>1.0</double>
			</homogeneous_coordinates>
		</point>
		<point id="L2">
			<homogeneous_coordinates>
				<double>0.0</double>
				<double>5.0</double>
				<double>1.0</double>
			</homogeneous_coordinates>
		</point>
		<line id="l">
			<homogeneous_coordinates>
				<double>1.0</double>
				<double>0.0</double>
				<double>0.0</double>
			</homogeneous_coordinates>
		</line>
		<point id="P">
			<homogeneous_coordinates>
				<double>1.0</double>
				<double>1.0</double>
				<double>1.0</double>
			</homogeneous_coordinates>
		</point>
		<point id="Q">
			<homogeneous_coordinates>
				<double>2.0</double>
				<double>2.0</double>
				<double>1.0</double>
			</homogeneous_coordinates>
		</point>
		<directed_line_segment id="dls">
			<homogeneous_coordinates>
				<double>1.0</double>
				<double>1.0</double>
				<double>1.0</double>
			</homogeneous_coordinates>
			<homogeneous_coordinates>
				<double>2.0</double>
				<double>2.0</double>
				<double>1.0</double>
			</homogeneous_coordinates>
		</directed_line_segment>
		<directed_line_segment id="dls2">
			<homogeneous_coordinates>
				<double>-1.0</double>
				<double>1.0</double>
				<double>1.0</double>
			</homogeneous_coordinates>
			<homogeneous_coordinates>
				<double>-2.0</double>
				<double>2.0</double>
				<double>1.0</double>
			</homogeneous_coordinates>
		</directed_line_segment>
		<point id="sp2">
			<homogeneous_coordinates>
				<double>-1.0</double>
				<double>1.0</double>
				<double>1.0</double>
			</homogeneous_coordinates>
		</point>
		<point id="ep2">
			<homogeneous_coordinates>
				<double>-2.0</double>
				<double>2.0</double>
				<double>1.0</double>
			</homogeneous_coordinates>
		</point>
		<line_segment id="ls2">
			<homogeneous_coordinates>
				<double>-1.0</double>
				<double>1.0</double>
				<double>1.0</double>
			</homogeneous_coordinates>
			<homogeneous_coordinates>
				<double>-2.0</double>
				<double>2.0</double>
				<double>1.0</double>
			</homogeneous_coordinates>
		</line_segment>
	</elements>
	<constraints>
		<free_point>
			<point out="true">L1</point>
		</free_point>
		<free_point>
			<point out="true">L2</point>
		</free_point>
		<line_through_two_points>
			<line out="true">l</line>
			<point>L1</point>
			<point>L2</point>
		</line_through_two_points>
		<free_point>
			<point out="true">P</point>
		</free_point>
		<free_point>
			<point out="true">Q</point>
		</free_point>
		<directed_line_segment_by_points>
			<directed_line_segment out="true">dls</directed_line_segment>
			<point>P</point>
			<point>Q</point>
		</directed_line_segment_by_points>
		<symmetry_by_line>
			<directed_line_segment out="true">dls2</directed_line_segment>
			<directed_line_segment>dls</directed_line_segment>
			<line>l</line>
		</symmetry_by_line>
		<starting_point_of_directed_line_segment>
			<point out="true">sp2</point>
			<directed_line_segment>dls</directed_line_segment>
		</starting_point_of_directed_line_segment>
		<end_point_of_directed_line_segment>
			<point out="true">ep2</point>
			<directed_line_segment>dls</directed_line_segment>
		</end_point_of_directed_line_segment>
		<line_segment_of_directed_line_segment>
			<line_segment out="true">ls2</line_segment>
			<directed_line_segment>dls</directed_line_segment>
		</line_segment_of_directed_line_segment>
	</constraints>
</construction>

