不變序列

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. 我們證明了局部化代數具有穩(wěn)定性；

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. 可維持程式碼正確性的抽象函式與關鍵常量。