<!-- This file is to illustrate the use of the constraint symmetry_by_circle.
     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="C">
			<homogeneous_coordinates>
				<double>0.0</double>
				<double>0.0</double>
				<double>1.0</double>
			</homogeneous_coordinates>
		</point>
		<point id="P">
			<homogeneous_coordinates>
				<double>0.0</double>
				<double>2.0</double>
				<double>1.0</double>
			</homogeneous_coordinates>
		</point>
		<point id="A">
			<homogeneous_coordinates>
				<double>4.0</double>
				<double>0.0</double>
				<double>1.0</double>
			</homogeneous_coordinates>
		</point>
		<point id="A2">
			<homogeneous_coordinates>
				<double>1.0</double>
				<double>0.0</double>
				<double>1.0</double>
			</homogeneous_coordinates>
		</point>
		<circle id="c">
			<matrix>
				<double>1.0</double>
				<double>0.0</double>
				<double>0.0</double>
				<double>0.0</double>
				<double>1.0</double>
				<double>0.0</double>
				<double>0.0</double>
				<double>0.0</double>
				<double>-4.0</double>
			</matrix>
		</circle>
	</elements>
	<constraints>
		<free_point>
			<point out="true">C</point>
		</free_point>
		<free_point>
			<point out="true">P</point>
		</free_point>
		<free_point>
			<point out="true">A</point>
		</free_point>
		<circle_by_center_and_point>
			<circle out="true">c</circle>
			<point>C</point>
			<point>P</point>
		</circle_by_center_and_point>
		<symmetry_by_circle>
			<point out="true">A2</point>
			<point>A</point>
			<circle>c</circle>
		</symmetry_by_circle>
	</constraints>
</construction>
