代数不变式

algebraic invariant