Changes between Version 15 and Version 16 of TypeNats/Interact1
 Timestamp:
 Dec 19, 2010 6:00:20 PM (5 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

TypeNats/Interact1
v15 v16 26 26 {{{ 27 27 (m * n ~ k) <=> {m * n == k} 28 (m * a ~ n) <=> a ~ { n / m }  m `divides` n, False otherwise28 (m * a ~ n) <=> a ~ { n / m }  m `divides` n, False otherwise 29 29 30 30 (0 * a ~ b) <=> b ~ 0 31 31 (1 * a ~ b) <=> a ~ b 32 (m * a ~ a) <=> a ~ 0 32 (m * a ~ a) <=> a ~ 0  2 <= m 33 33 34 34 (a * b ~ 1) <=> (a ~ 1, b ~ 1) … … 42 42 (m ^ n ~ k) <=> {m ^ n == k} 43 43 44 (m ^ a ~ n) <=> a ~ {log m n}  log (base m) of n exists 44 (m ^ a ~ n) <=> a ~ {log m n}  log (base m) of n exists, False otherwise 45 45 (1 ^ a ~ b) <=> b ~ 1 46 46 (m ^ a ~ a) <=> False  m /= 1 47 47 48 (a ^ m ~ n) <=> a ~ {root m n}  mth root of n exists 48 (a ^ m ~ n) <=> a ~ {root m n}  mth root of n exists, False otherwise 49 49 (a ^ 0 ~ b) <=> b ~ 1 50 50 (a ^ 1 ~ b) <=> a ~ b