Changes between Version 1 and Version 2 of TypeNats/Interact2


Ignore:
Timestamp:
Dec 16, 2010 1:46:10 AM (5 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/Interact2

    v1 v2  
    11{{{
    2 (a + b ~ c, a + b ~ d) <=> c = d
    3 (a + b ~ d, b + a ~ d) <=> c = d
    4 ...
     2a + b ~ c
     3  a + b ~ d <=> c ~ d
     4  b + a ~ d <=> c ~ d
     5
     6  a + d ~ c <=> b ~ d
     7  d + a ~ c <=> b ~ d
     8  d + b ~ c <=> a ~ d
     9  b + d ~ c <=> a ~ d
     10
     11m + b ~ c
     12  n + d ~ c <=> d ~ {m - n} + b   -- m >= n
     13  n + d ~ c <=> b ~ {n - m} + d   -- n >= m
    514}}}