FIELD is a PVS strategy for simplification in the closed field of real numbers. It was originally based on the tactic Field of Coq V7 (Mayero, Delahaye), but it has been extensively adapted to cope with PVS idiosyncrasies. The strategy removes the inverses that occur in a relational formula, and then applies PVS decision procedures. The package also contains several strategies for manipulation of relational formulas. Note that the Field package depends on Manip; both must be installed to use the strategies provided in the Field package.