We present a family of high-order finite element approximation spaces on a
pyramid, and associated unisolvent degrees of freedom. These spaces consist of
rational basis functions. We establish conforming, exactness and polynomial
approximation properties.Comment: 37 pages, 3 figures. This work was originally in one paper, then
split into two; it has now been recombined into one paper, with substantial
changes from both of its previous form
