  It is often useful to be able to deal with locales in terms of presentations
of their underlying frames, or equivalently, the geometric theories which they
classify. Given a presentation for a locale, presentations for its sublocales
can be obtained by simply appending additional relations, but the case of
quotient locales is more subtle. We provide simple procedures for obtaining
presentations of open quotients, proper quotients or general triquotients from
presentations of the parent locale. The results are proved with the help of the
suplattice, preframe and dcpo coverage theorems and applied to obtain
presentations of the circle from ones for the reals and the closed unit
interval.
