Better and faster pictures from solid models

This paper describes a series of programs for producing pictures from, and performing other calculations on, set-theoretic solid models. The programs all use a technique of recursive division of the space in which the model resides. This ensures that their performance is better than linear against the complexity of the objects which they are being used to model.