User Manual of the RODIN Platform
User Manual of the RODIN Platform
User Manual of the RODIN Platform
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Arithmetic<br />
E + . . . + 0 + . . . + F == E + . . . + F<br />
E − 0 == E<br />
0 − E == −E<br />
−(−E) == E<br />
E − E == 0<br />
E ∗ . . . ∗ 1 ∗ . . . ∗ F == E ∗ . . . ∗ F<br />
E ∗ . . . ∗ 0 ∗ . . . ∗ F == 0<br />
(−E) ∗ . . . ∗ (−F ) == E ∗ . . . ∗ F (if an even number <strong>of</strong> -)<br />
(−E) ∗ . . . ∗ (−F ) == − (E ∗ . . . ∗ F ) (if an odd number <strong>of</strong> -)E/1 == E<br />
0/E == 0<br />
(−E)/(−F )<br />
== E/F<br />
E 1 == E<br />
E 0 == 1<br />
1 E == 1<br />
−(i) == (−i) where i is a literal<br />
−((−i)) == i where i is a literal<br />
i = j == ⊤ or ⊥ (computation) where i and j are literals<br />
i ≤ j == ⊤ or ⊥ (computation) where i and j are literals<br />
i < j == ⊤ or ⊥ (computation) where i and j are literals<br />
i ≥ j == ⊤ or ⊥ (computation) where i and j are literals<br />
i > j == ⊤ or ⊥ (computation) where i and j are literals<br />
E ≤ E == ⊤<br />
E < E == ⊥<br />
E ≥ E == ⊤<br />
E > E == ⊥<br />
46