Changes between Version 9 and Version 10 of TypeNats/Operations


Ignore:
Timestamp:
Jan 27, 2011 6:05:58 AM (4 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