四元数体上的广义次正定矩阵

定义了四元数体上的广义次正定矩阵 。