Module `Circle`Source

Circle manipulation

Sourcetype t = private {

center : Point.t;
radius : float;

}

Sourceval make : Point.t -> float -> t

Sourceval center : t -> Point.t

Sourceval radius : t -> float

Sourceval translate : float -> float -> t -> t

Sourceval reflection : Point.t -> t -> t

Sourceval rotate : t -> Point.t -> float -> t

radian rotation. rotate c p f returns the rotated circle of c with p as rotation center and f a angle in radian

Sourceval rotate_angle : t -> Point.t -> float -> t

Same as rotate but the angle is given in degree

Sourceval contains : t -> Point.t -> bool

Sourceval area : t -> float

Sourceval perimeter : t -> float

Sourceval proj_x : t -> float * float

Sourceval proj_y : t -> float * float

Sourceval tangent : t -> Point.t -> Line.t

tangent c p returns the tangent of circle c going through point p. p must lie on c's boundary, otherwise behaviour is unspecified

Sourceval intersects : t -> t -> bool

Sourceval intersection : t -> t -> Point.t list

returns the list of intersection points of two circle. It can be:

when the circles dont intersect
p when the circles are tangent in p
a;b when the circles intersect, a and b are the intersection points

Sourceval intersect_line : t -> Line.t -> Point.t list

same as intersection but with a circle and a line

Sourceval segment_intersection : t -> Segment.t -> Point.t list

same as intersection but with a circle and a segment

Sourceval circumscribed : Point.t -> Point.t -> Point.t -> t

returns the circumscribed cirle of the triangle defined by the three points

Sourceval incircle : Point.t -> Point.t -> Point.t -> t

returns the incirle of the triangle defined by the three points

Sourceval of_diameter : Point.t -> Point.t -> t

of_diameter a b builds the circle with ab as diameter

Sourceval bounding : Point.t list -> t

given a list of point, returns the smallest circle that contains all the points of the list, using emo welzl's algorithm. complexity in expected linear time

Sourceval random_point : Random.State.t -> t -> Point.t

returns a randomly and uniformly chosen point that lies inside the circle

Sourceval random_point_perimeter : Random.State.t -> t -> Point.t

returns a randomly and uniformly chosen point that lies on the permieter of the circle

Sourceval print : Format.formatter -> t -> unit

printer

package geoml

Module CircleSource

Module `Circle`Source