Changes between Version 3 and Version 4 of TypeNats/Interact1
- Timestamp:
- 12/15/10 10:08:38 (2 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
TypeNats/Interact1
v3 v4 12 12 Top-level interactions for <= 13 13 {{{ 14 m <= n <=> {m <= n} = True14 m <= n <=> {m <= n} 15 15 0 <= a <=> True 16 16 a <= 0 <=> a ~ 0 … … 19 19 Top-level interactions for +. 20 20 {{{ 21 (m + n ~ k) <=> {m + n} = k21 (m + n ~ k) <=> {m + n} == k 22 22 (m + a ~ n) <=> a ~ {n - m} -- n >= m 23 23 (a + m ~ n) <=> a ~ {n - m} -- n >= m … … 32 32 Top-level interactions for *. 33 33 {{{ 34 (m * n ~ k) <=> {m * n} = k34 (m * n ~ k) <=> {m * n} == k 35 35 (m * a ~ n) <=> a ~ {n / m} -- m `divides` n 36 36 (a * m ~ n) <=> a ~ {n / m} -- m `divides` n … … 45 45 Top-level interactions for {{{^}}} 46 46 {{{ 47 (m ^ n ~ k) <=> {m ^ n} = k47 (m ^ n ~ k) <=> {m ^ n} == k 48 48 (m ^ a ~ n) <=> a ~ {log m n} -- log (base m) of n exists 49 49 (a ^ m ~ n) <=> a ~ {root m n} -- m-th root of n exists
