不变序列
Invariants in Dualty, ndian J.puer appl.Math. 2.
Assert liberally to document internal assumptions and invariants. 广泛地使用断言记录内部假设和不变式。
They are also invariants under the strong Lipschitz homotopy. 我们证明了局部化代数具有稳定性；
Provides a table of invariants for the terms used to discuss generic methods. 提供用于讨论泛型方法的术语的固定条件列表。
The abstraction function and key invariants for the correctness of the code. 可维持程式码正确性的抽象函式与关键常量。
