Changes between Version 3 and Version 4 of TypeNats/Interact1
 Timestamp:
 Dec 15, 2010 6:08:38 PM (5 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

TypeNats/Interact1
v3 v4 12 12 Toplevel 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 Toplevel 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 Toplevel 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 Toplevel 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}  mth root of n exists