線形代数には乗ってないですよ。
２次形式は乗ってるかもしれないけれど正定値については
のってないです。