Changes between Version 14 and Version 15 of TypeNats/Interact1
 Timestamp:
 Dec 19, 2010 5:58:55 PM (4 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

TypeNats/Interact1
v14 v15 26 26 {{{ 27 27 (m * n ~ k) <=> {m * n == k} 28 (m * a ~ n) <=> {m / g} * a ~ {n / g}  g = gcd m n, 2 <= g28 (m * a ~ n) <=> a ~ { n / m }  m `divides` n, False otherwise 29 29 30 30 (0 * a ~ b) <=> b ~ 0 … … 41 41 {{{ 42 42 (m ^ n ~ k) <=> {m ^ n == k} 43 43 44 (m ^ a ~ n) <=> a ~ {log m n}  log (base m) of n exists 45 (1 ^ a ~ b) <=> b ~ 1 46 (m ^ a ~ a) <=> False  m /= 1 47 44 48 (a ^ m ~ n) <=> a ~ {root m n}  mth root of n exists 45 49 (a ^ 0 ~ b) <=> b ~ 1 46 50 (a ^ 1 ~ b) <=> a ~ b 47 51 (a ^ m ~ a) <=> (a <= 1)  2 <= m 48 (1 ^ a ~ b) <=> b ~ 1 49 (m ^ a ~ a) <=> False  m /= 1 52 50 53 }}}