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

TypeNats/Interact1
v13 v14 15 15 (m + n ~ k) <=> {m + n == k} 16 16 (m + a ~ n) <=> a ~ {n  m}  n >= m 17 (a + m ~ n) <=> a ~ {n  m}  n >= m18 17 (0 + a ~ b) <=> a ~ b 19 (a + 0 ~ b) <=> a ~ b20 18 (a + b ~ 0) <=> (a ~ 0, b ~ 0) 21 19 (a + b ~ a) <=> (b ~ 0) … … 28 26 {{{ 29 27 (m * n ~ k) <=> {m * n == k} 30 (m * a ~ n) <=> a ~ {n / m}  m `divides` n31 (a * m ~ n) <=> a ~ {n / m}  m `divides` n 28 (m * a ~ n) <=> {m / g} * a ~ {n / g}  g = gcd m n, 2 <= g 29 32 30 (0 * a ~ b) <=> b ~ 0 33 (a * 0 ~ b) <=> b ~ 034 31 (1 * a ~ b) <=> a ~ b 35 (a * 1 ~ b) <=> a ~ b 32 (m * a ~ a) <=> a ~ 0  2 <= m 33 36 34 (a * b ~ 1) <=> (a ~ 1, b ~ 1) 37 35 (a * a ~ b) <=> a ^ 2 ~ b 38 (m * a ~ a) <=> a ~ 0  2 <= m 36 37 (a * m ~ b) <=> (m * a ~ b)  simple normalization cuts down on some rules 39 38 }}} 40 39