To install the Images package simply place Images into the pkg directory of your GAP installation.
The package requires GAP 4.13 or later, together with the Digraphs and Datastructures packages (both part of the standard GAP package distribution). Two further packages are optional but recommended, and are used automatically when available: ferret greatly speeds up the stabilizer computations used when canonicalising transformations, permutations, partial permutations and sets of sets, and vole is required for the "vole" engine and for canonicalising fundamental structures under groups which are not direct products of symmetric groups (see Chapter 3).
To use the Images Package you have to request it explicitly. This is done by calling LoadPackage (Reference: LoadPackage):
gap> LoadPackage("images"); true
generated by GAPDoc2HTML