PointLine hyperbolic is one of works of the Ahara laboratory, Meiji University. This software allows us to construct a figure of the hyperbolic planer geometry. After finishing the construction, users are allowed to move vertices by mouse-dragging and to observe the variation of the construction. These kinds of software are called interactive geometry software (IGS) and many of IGS for Euclidean geometry are known such as GeoGebra.

PointLine Hyperbolic is a geometry tool for the hyperbolic geometry and it allows us to draw hyperbolic lines and hyperbolic circles in the Poincare disk model. In almost all IGS, construction has a procedure, a sequence of constructive modules. That is, we have some tools to make a figure, for example, a ruler and a compass, and we use these tools in a fixed procedure or principle to complete the figure.

Here is an example. Let us consider making a large circle and three small circles inscribed in the large one. Usually, it is not easy to draw such figure, because we don't know the procedure of construction of the figure in usual senses. But in PointLine, we only draw four circles, and make demands "set each pair of circles are tangent to each other." Here we consider no dependency but a relation between each two circles. Indeed, after finishing the construction of this figure, we are allowed to move any of the circles on teh screen.