Changes between Version 9 and Version 10 of TypeNats/Operations
 Timestamp:
 Jan 27, 2011 6:05:58 AM (5 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

TypeNats/Operations
v9 v10 37 37 instance 0 <= a 38 38 instance (a <= b, b <= c) => (a <= c)  (under construction) 39 instance (a <= a + b) 40 instance (b <= a + b) 41 instance (1 <= b) => (a <= a * b) 42 39 43 40 44 type instance m + n = mn  for concrete numbers m, n, mn, with m + n = mn … … 42 46 type instance a + a = 2 * a 43 47 type instance a + m = m + a  for a concrete number m 48 44 49 45 50 type instance m + n = mn  for concrete numbers m, n, mn, with m * n = mn … … 54 59 type instance a ^ 1 = a 55 60  type instance a ^ m = a simplifies to a <= 1 61 62 ... (there are more) ... 63 56 64 }}} 57 65 58 66 59