Changes between Version 5 and Version 6 of TypeNats/Interact2


Ignore:
Timestamp:
Dec 16, 2010 2:14:43 AM (3 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/Interact2

    v5 v6  
    2727m * b ~ c 
    2828  n * b ~ c <=> (b ~ 0, c ~ 0)    -- m /= n 
    29   n * d ~ c <=> {m / g} * b ~ {n / g} * d    -- g = gcd m n, g /= 1, replaces both assumptions 
     29  n * d ~ c <=> {m / n} * b ~ d   -- n `divides` m 
     30  n * d ~ c <=> {n / m} * d ~ b   -- m `divides` n 
    3031 
    3132  b + c ~ d <=> {m + 1} * b ~ d