186 Geometry
is_concyclic
Takes a set of points as argument and tests if they are all on
the same circle. Returns 1 if the points are all on the same
circle and 0 otherwise.
is_concyclic(point1, point2, …, pointn)
Example:
is_concyclic(point(-4,-2), point(-4,2),
point(4,-2), point(4,2)) returns 1
is_conjugate
Tests whether or not two points or two lines are conjugates for
the given circle. Returns 1 if they are and 0 otherwise.
is_conjugate(circle, point1, point2) or
is_conjugate(circle, line1, line2)
is_element
Tests if a point is on a geometric object. Returns 1 if it is and
0 otherwise
is_element(point, object)
Example:
is_element(point , circle(0,1)) returns 1.
is_equilateral
Takes three points and tests whether or not they are vertices of
a single equilateral triangle. Returns 1 if they are and 0
otherwise.
is_equilateral(point1, point2, point3)
Example:
is_equilateral(point(0,0), point(4,0),
point(2,4)) returns 0.
is_isoceles
Takes three points and tests whether or not they are vertices of
a single isosceles triangle. Returns 0 if they are not. If they are,
returns the number order of the common point of the two sides
of equal length (1, 2, or 3). Returns 4 if the three points form
an equilateral triangle.
is_isosceles(point1, point2, point3)
2
2
----
2
2
----
(,)