"positive semidefinit" Englisch