Changes between Version 9 and Version 10 of TypeNats/Operations


Ignore:
Timestamp:
Jan 27, 2011 6:05:58 AM (5 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/Operations

    v9 v10  
    3737instance 0 <= a
    3838instance (a <= b, b <= c) => (a <= c)    -- (under construction)
     39instance (a <= a + b)
     40instance (b <= a + b)
     41instance (1 <= b) => (a <= a * b)
     42
    3943
    4044type instance m + n = mn                 -- for concrete numbers m, n, mn, with m + n = mn
     
    4246type instance a + a = 2 * a
    4347type instance a + m = m + a              -- for a concrete number m
     48
    4449
    4550type instance m + n = mn                 -- for concrete numbers m, n, mn, with m * n = mn
     
    5459type instance a ^ 1 = a
    5560-- type instance a ^ m = a  simplifies to a <= 1
     61
     62... (there are more) ...
     63
    5664}}}
    5765
    5866
    59