\cleardoublepage \pagenumbering{arabic} \input{user_manual} \gdef\ccNewRefManualStyle{\ccTrue} \marginparsep10mm \marginparwidth15mm \newcommand{\KernelRefLayout}{\ccTexHtml{% \ccSetThreeColumns{const Comparison_result}{}{\hspace*{8cm}} \ccPropagateThreeToTwoColumns}{}} \input{reference_manual} \KernelRefLayout \input{Ref/Aff_transformation_2.tex} \KernelRefLayout \input{Ref/Aff_transformation_3.tex} \KernelRefLayout \input{Ref/are_ordered_along_line.tex} \KernelRefLayout \input{Ref/are_strictly_ordered_along_line.tex} \KernelRefLayout \input{Ref/assign.tex} \KernelRefLayout \input{Ref/Bbox_2.tex} \KernelRefLayout \input{Ref/Bbox_3.tex} \KernelRefLayout \input{Ref/Bounded_side.tex} \KernelRefLayout \input{Ref/Cartesian.tex} \KernelRefLayout \input{Ref/cartesian_to_homogeneous.tex} \KernelRefLayout \input{Ref/Circle_2.tex} \KernelRefLayout \input{Ref/circumcenter.tex} \KernelRefLayout \input{Ref/CLOCKWISE.tex} \KernelRefLayout \input{Ref/cmp_dist_to_point.tex} \KernelRefLayout \input{Ref/cmp_signed_dist_to_line.tex} \KernelRefLayout \input{Ref/cmp_signed_dist_to_plane.tex} \KernelRefLayout \input{Ref/COLLINEAR_const.tex} \KernelRefLayout \input{Ref/collinear.tex} \KernelRefLayout \input{Ref/collinear_are_ordered_along_line.tex} \KernelRefLayout \input{Ref/collinear_are_strictly_ordered_along_line.tex} \KernelRefLayout \input{Ref/compare_lexicographically_xy.tex} \KernelRefLayout \input{Ref/compare_lexicographically_xyz.tex} \KernelRefLayout \input{Ref/compare_x.tex} \KernelRefLayout \input{Ref/compare_y.tex} \KernelRefLayout \input{Ref/compare_y_at_x.tex} \KernelRefLayout \input{Ref/compare_z.tex} \KernelRefLayout \input{Ref/Comparison_result.tex} \KernelRefLayout \input{Ref/COPLANAR_const.tex} \KernelRefLayout \input{Ref/coplanar.tex} \KernelRefLayout \input{Ref/coplanar_orientation.tex} \KernelRefLayout \input{Ref/COUNTERCLOCKWISE.tex} \KernelRefLayout \input{Ref/cross_product.tex} \KernelRefLayout \input{Ref/DEGENERATE.tex} \KernelRefLayout \input{Ref/Direction_2.tex} \KernelRefLayout \input{Ref/Direction_3.tex} \KernelRefLayout \input{Ref/do_intersect.tex} \KernelRefLayout \input{Ref/do_overlap.tex} \KernelRefLayout \input{Ref/FieldNumberType.tex} \KernelRefLayout \input{Ref/has_larger_dist_to_point.tex} \KernelRefLayout \input{Ref/has_larger_signed_dist_to_line.tex} \KernelRefLayout \input{Ref/has_larger_signed_dist_to_plane.tex} \KernelRefLayout \input{Ref/has_smaller_dist_to_point.tex} \KernelRefLayout \input{Ref/has_smaller_signed_dist_to_line.tex} \KernelRefLayout \input{Ref/has_smaller_signed_dist_to_plane.tex} \KernelRefLayout \input{Ref/Homogeneous.tex} \KernelRefLayout \input{Ref/homogeneous_to_cartesian.tex} \KernelRefLayout \input{Ref/homogeneous_to_quotient_cartesian.tex} \KernelRefLayout \input{Ref/Identity_transformation.tex} \KernelRefLayout \input{Ref/intersection.tex} \KernelRefLayout \input{Ref/Iso_cuboid_3.tex} \KernelRefLayout \input{Ref/Iso_rectangle_2.tex} \KernelRefLayout \input{Ref/Kernel.tex} \KernelRefLayout %%%% %% in the following the comments after the input commands are marks to %% indicate the following checks have been made %% c -- in the code %% k -- included in the Kernel concept description %%%% \input{Ref/Kernel_Aff_transformation_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Aff_transformation_3.tex} %ck \KernelRefLayout\gdef\ccTagOperatorLayout{\ccFalse} \input{Ref/Kernel_Are_ordered_along_line_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Are_ordered_along_line_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Are_strictly_ordered_along_line_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Are_strictly_ordered_along_line_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Assign_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Assign_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Circle_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Collinear_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Collinear_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Collinear_are_ordered_along_line_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Collinear_are_ordered_along_line_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Collinear_are_strictly_ordered_along_line_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Collinear_are_strictly_ordered_along_line_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Collinear_has_on_2.tex} %ck %\KernelRefLayout %\input{Ref/Kernel_Collinear_has_on_3.tex} \KernelRefLayout \input{Ref/Kernel_Compare_distance_to_point_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Compare_distance_to_point_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Compare_x_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Compare_x_3.tex} %ck %\KernelRefLayout %\input{Ref/Kernel_Compare_x_at_y_2.tex} % \KernelRefLayout \input{Ref/Kernel_Compare_xy_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Compare_xy_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Compare_xyz_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Compare_y_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Compare_y_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Compare_y_at_x_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Compare_z_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Compute_area_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Compute_squared_area_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Compute_squared_distance_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Compute_squared_distance_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Compute_squared_length_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Compute_squared_length_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Compute_squared_radius_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Compute_squared_radius_3.tex} %ck \KernelRefLayout %\input{Ref/Kernel_Compute_x_at_y_2.tex} %\KernelRefLayout \input{Ref/Kernel_Compute_volume_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Compute_y_at_x_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_aff_transformation_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_aff_transformation_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_bisector_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_center_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_center_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_circle_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_circumcenter_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_circumcenter_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_cross_product_vector_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_direction_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_direction_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_direction_of_line_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_direction_of_line_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_direction_of_ray_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_direction_of_ray_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_iso_cuboid_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_iso_rectangle_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_line_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_line_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_max_point_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_max_point_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_midpoint_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_midpoint_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_min_point_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_min_point_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_opposite_circle_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_opposite_line_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_opposite_line_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_opposite_plane_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_opposite_ray_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_opposite_ray_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_opposite_segment_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_opposite_segment_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_opposite_triangle_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_perpendicular_direction_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_perpendicular_line_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_perpendicular_line_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_perpendicular_plane_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_perpendicular_vector_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_plane_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_point_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_point_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_point_d.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_point_on_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_point_on_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_ray_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_ray_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_second_point_on_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_second_point_on_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_segment_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_segment_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_source_point_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_source_point_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_sphere_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_supporting_line_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_supporting_line_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_supporting_plane_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_target_point_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_target_point_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_tetrahedron_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_triangle_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_triangle_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_vector_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Construct_vector_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Coplanar_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Coplanar_orientation_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Coplanar_side_of_oriented_circle_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Counterclockwise_in_between_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Direction_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Direction_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Do_intersect_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Do_intersect_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Equal_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Equal_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Equal_x_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Equal_x_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Equal_xy_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Equal_xy_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Equal_xyz_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Equal_y_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Equal_y_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Equal_z_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Has_on_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Has_on_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Has_on_boundary_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Has_on_boundary_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Has_on_bounded_side_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Has_on_bounded_side_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Has_on_negative_side_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Has_on_negative_side_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Has_on_positive_side_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Has_on_positive_side_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Has_on_unbounded_side_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Has_on_unbounded_side_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Intersect_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Intersect_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Is_degenerate_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Is_degenerate_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Is_horizontal_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Is_vertical_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Iso_cuboid_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Iso_rectangle_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Left_of_line_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Leftturn_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Less_distance_to_point_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Less_distance_to_point_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Less_rotate_ccw_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Less_signed_distance_to_line_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Less_x_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Less_x_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Less_xy_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Less_xy_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Less_xyz_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Less_y_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Less_y_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Less_yx_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Less_z_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Line_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Line_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Object_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Object_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Orientation_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Orientation_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Oriented_side_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Oriented_side_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Plane_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Point_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Point_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Point_d.tex} %ck \KernelRefLayout \input{Ref/Kernel_Ray_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Ray_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Segment_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Segment_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Side_of_bounded_circle_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Side_of_bounded_sphere_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Side_of_oriented_circle_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Side_of_oriented_sphere_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Sphere_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Tetrahedron_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Transform_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Transform_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Triangle_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Triangle_3.tex} %ck \KernelRefLayout \input{Ref/Kernel_Vector_2.tex} %ck \KernelRefLayout \input{Ref/Kernel_Vector_3.tex} %ck \KernelRefLayout \input{Ref/LEFTTURN_const.tex} \KernelRefLayout \input{Ref/leftturn.tex} \KernelRefLayout \input{Ref/lexicographically_xy_larger.tex} \KernelRefLayout \input{Ref/lexicographically_xy_larger_or_equal.tex} \KernelRefLayout \input{Ref/lexicographically_xy_smaller.tex} \KernelRefLayout \input{Ref/lexicographically_xy_smaller_or_equal.tex} \KernelRefLayout \input{Ref/lexicographically_xyz_smaller.tex} \KernelRefLayout \input{Ref/lexicographically_xyz_smaller_or_equal.tex} \KernelRefLayout \input{Ref/Line_2.tex} \KernelRefLayout \input{Ref/Line_3.tex} \KernelRefLayout \input{Ref/make_object.tex} \KernelRefLayout \input{Ref/midpoint.tex} \KernelRefLayout \input{Ref/NULL_VECTOR_const.tex} \KernelRefLayout \input{Ref/Null_vector.tex} \KernelRefLayout \input{Ref/Object.tex} \KernelRefLayout\gdef\ccTagOperatorLayout{\ccTrue} \input{Ref/operatorStar.tex} \KernelRefLayout \input{Ref/operator+.tex} \KernelRefLayout \input{Ref/operator-.tex} \KernelRefLayout\gdef\ccTagOperatorLayout{\ccTrue} \input{Ref/opposite.tex} \KernelRefLayout \input{Ref/Orientation_enum.tex} \KernelRefLayout \input{Ref/orientation.tex} \KernelRefLayout \input{Ref/Oriented_side.tex} \KernelRefLayout \input{Ref/ORIGIN_const.tex} \KernelRefLayout \input{Ref/Origin.tex} \KernelRefLayout \input{Ref/Plane_3.tex} \KernelRefLayout \input{Ref/Point_2.tex} \KernelRefLayout \input{Ref/Point_3.tex} \KernelRefLayout \input{Ref/Point_d.tex} \KernelRefLayout \input{Ref/quotient_cartesian_to_homogeneous.tex} \KernelRefLayout \input{Ref/R.tex} \KernelRefLayout \input{Ref/rational_rotation_approximation.tex} \KernelRefLayout \input{Ref/Ray_2.tex} \KernelRefLayout \input{Ref/Ray_3.tex} \KernelRefLayout \input{Ref/Reflection.tex} \KernelRefLayout \input{Ref/RIGHTTURN_const.tex} \KernelRefLayout \input{Ref/rightturn.tex} \KernelRefLayout \input{Ref/RingNumberType.tex} \KernelRefLayout \input{Ref/Rotation.tex} \KernelRefLayout \input{Ref/Scaling.tex} \KernelRefLayout \input{Ref/Segment_2.tex} \KernelRefLayout \input{Ref/Segment_3.tex} \KernelRefLayout \input{Ref/side_of_bounded_circle.tex} \KernelRefLayout \input{Ref/side_of_bounded_sphere.tex} \KernelRefLayout \input{Ref/side_of_oriented_circle.tex} \KernelRefLayout \input{Ref/side_of_oriented_sphere.tex} \KernelRefLayout \input{Ref/Sign.tex} \KernelRefLayout \input{Ref/Simple_cartesian.tex} \KernelRefLayout \input{Ref/Simple_homogeneous.tex} \KernelRefLayout \input{Ref/Sphere_3.tex} \KernelRefLayout \input{Ref/squared_distance.tex} \KernelRefLayout \input{Ref/squared_radius.tex} \KernelRefLayout \input{Ref/Tetrahedron_3.tex} \KernelRefLayout \input{Ref/Translation.tex} \KernelRefLayout \input{Ref/Triangle_2.tex} \KernelRefLayout \input{Ref/Triangle_3.tex} \KernelRefLayout \input{Ref/Vector_2.tex} \KernelRefLayout \input{Ref/Vector_3.tex} \KernelRefLayout \input{Ref/x_equal.tex} \KernelRefLayout \input{Ref/y_equal.tex} \KernelRefLayout \input{Ref/z_equal.tex}