Changes between Version 8 and Version 9 of TypeNats/Operations


Ignore:
Timestamp:
Jan 27, 2011 5:53:23 AM (4 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/Operations

    v8 v9  
    4949type instance m * a = a * m              -- for concrete numbers m 
    5050 
    51 type instance m + n = mn                 -- for conrete numbers m, n, mn, with m ^ n = mn 
     51type instance m + n = mn                 -- for concrete numbers m, n, mn, with m ^ n = mn 
    5252type instance 1 ^ a = 1 
    5353type instance a ^ 0 = 1 
    5454type instance a ^ 1 = a 
    55 -- type instance a ^ m = a  simplified to a <= 1 
     55-- type instance a ^ m = a  simplifies to a <= 1 
    5656}}} 
    5757