Invariants.

Intro Poem.

'Welcome to the informational age
We're enjoy the world of technology
Never felt this modern world could emerge
Magical world with braveness and courage.'

-- See also, if You wish: 'Welcome' on Hello Poetry.


Computer Sciences.

Invariants are cornerstone of Mathematically Proving Algorithm's Correctness.

Automated Unit & Integration tests / pl: zautomatyzowane testy jednostkowe i integracyjne / are not proofs, but these are practical as well - reducing bugfixing costs extremely significiantly at a very small price. There are more benefits to using Automated Tests, for example Mental Harness of Unit & Integration Tests enables one to proceed more boldly, faster, thinking on higher abstraction levels without worryig about minor bugs, relying on tests to handle that. These also can use Invariants.

Invariant / pl: niezmiennik / is a holy word in this Project, important part of Advanced Mathematical Computer Science.

Invariant is something that holds, in observable moments.

Example 1: during method's m₁ execution variable's v₁ value is never less than 0.

Example 2: during method's m₁ execution, conditions: Co₁, Co₂ and Co₈ hold.

Example 3: during a given timeframe T₁ cause Ca₁ appears.

Example 4: after entering method m₁, before reaching code line n, a cause Ca₁ appears and conditions Co₃ and Co₅ hold.

See also, if You wish: Causes & Conditions.

That are examples of invariants.


Preconditions / pl: warunki wstępne / and Postconditions / pl: warunki końcowe / are also examples of Invariants, there are method and class-level Invariants / pl: niezmienniki na poziomie metody i klasy / - for details, consult Object Oriented Programming & Invariant Theory.

Invariants can be used in forming the Software Contracts.


Buddha & Love.

There are Invariants of Love as well, should be fought for keeping and restoring when these fail.

Otherwise Love would fall apart.

Should Invariants of Love hold only in Observable Moments?

Good Question, but there's Buddhist Awareness / Consciousness Theory that explains that Consciousness is composed of a serie of discrete Awareness Moments, with delays in-between.

... it's something worthwhile to think & meditate on, i think.

... in Buddhism, we are not bodies - we are Mind. Mind has body, and surpassess death, Reincarnating after death in a new body.

... There's 'ego barrier' as well.

... it's a part of Karma, the Timeless Law of Cause & Effect, Causal Science.


Links.

See also, if You wish:
- Correctness.