Edit HilbertPSD: norm