Downsampling of Hartree-Fock operator: Difference between revisions