Garbage fish

摘要： 一、行列式 对于一个 \(n\times n\) 的（即 \(n\) 阶的）矩阵 \(A\)，定义它的行列式 \[\det(A)=\sum_p((-1)^{\mu(p)+1}\prod_{i=1}^n A_{i,p_i}) \]其中 \(p_{1\dots n}\) 是 \(n\) 的一个排列，\( 阅读全文

摘要： 严格小于 / 大于的那种。 前驱：\(\operatorname{val}(\operatorname{rk}(v)-1)\)。 后继：\(\operatorname{val}(\operatorname{rk}(v+1))\)。 阅读全文