的反特征值按照最大旋转角从小到大的顺序排列。 Gustafson, Karl (1968), "The angle of an operator and positiveoperator products", Bulletin of the American Mathematical Society, 74
operands are positive the result of the / operator is the largest integer less than the algebraic quotient and the result of the % operator is positive. If either