The extension of density functionals to spin-polarized systems is straightforward for exchange, where the exact spin-scaling is known, but for correlation further approximations must be employed.
For the exchange energy, the exact result (not just for local density approximations) is known in terms of the spin-unpolarized functional:[REF] .