Using dynamic geometry software such as Geometer's Sketchpad to investigate nonEuclidean geometry is by no means a new idea. This section provides a brief description of, and pointers to the work of others in this area.
Mike Alexander (with modifications by Bill Finzer) wrote Geometer's Sketchpad scripts to perform ten typical constructions in the Poincaré disk model:

Construct a nonEuclidean line, given two points on the line.

Construct a nonEuclidean line segment, given the endpoints of the segment.

Measure the length of a nonEuclidean line segment.

Calculate the measure of an angle.

Construct the bisector of a given angle.

Construct a perpendicular to a given line through a given point on the line.

Construct a perpendicular to a given line through a given point not on the line.

Construct the perpendicular bisector of a nonEuclidean line segment.

Construct a circle, given its center and a point on the circle.

Construct a circle, given its center and two points determining the radius of the circle.
These tools have been available for some time: Alexander and Finzer presented them in a MAA session on Geometer's Sketchpad at the AMSMAA meetings in Orlando in 1996. Their Poincaré disk scripts may be currently found at
http://mathforum.org/sketchpad/maa96/alexander/index.html.
A smaller subset of these construction tools is now included as part of the standard package of sample files in the current version (3.0) of Geometer's Sketchpad.
The ten constructions listed above provide a useful package of tools for the Poincaré disk. As such, they will somewhat arbitrarily be referred to as the "standard constructions". It is the purpose of this document to present the corresponding tools for the standard constructions in the other two wellknown models of hyperbolic geometry, the BeltramiKlein disk and Poincaré halfplane models. Each of these constructions use the Euclidean tools of Geometer's Sketchpad, which are, in essence, computer versions of the straightedge and compass. (It should be noted, of course, that items #3 and #4 above technically are not constructions, since they require the notion of measurement.)
Although Alexander and Finzer's scripts form the standard toolbox for the Poincaré disk and provided the inspiration for this project, others have also developed nonEuclidean Sketchpad construction tools. Dan Bennett has created scripts for the first four constructions (lines, segments, length and angle measure) for the Poincaré halfplane model, as an accompaniment to a text by Sibley. I do not duplicate Bennett's constructions, and encourage interested users to obtain Bennett's scripts, which may be found at
http://www.keypress.com/sketchpad/general_resources/
advanced_sketch_gallery/half_plane_model/index.php.
Peil has also written several scripts for the halfplane model, which may be found at
http://web.mnstate.edu/peil/projects/geo.html.
Although several of this author's constructions given in the next section do appear to duplicate Peil's work, there are distinct differences. For example, the midpoint and circle constructions described here use only straightedge and compass constructions, while Peil's scripts involve coordinate geometry as well.
The next section describes how to obtain, install, and use the hyperbolic scripts, with the goal of establishing a toolbox of the ten "standard" constructions for each of the three models. In addition, while creating the constructions the models, it proved useful in some cases to develop additional "intermediate" tools. For example, constructing the perpendicular bisector of a given line segment becomes much simpler once we have algorithms for constructing midpoints and raising perpendiculars. These additional constructions are included as well. To the best of our knowledge, the Klein scripts are original. That is, though others have certainly demonstrated the same constructions, they are an original compilation in the form of Geometer's Sketchpad scripts. The same may be said for constructions 510 in the Poincaré halfplane model.
Though the main purpose of this article is to discuss constructions in hyperbolic geometry, tools for constructions in elliptic geometry have been developed as well. Brad Findell presented tools for many standard constructions in a model of elliptic geometry at the 1996 AMSMAA meetings. These tools are currently available at
http://mathforum.org/sketchpad/maa96/findell/index.html.