Changes between Version 8 and Version 9 of NewAxioms/Nonlinearity


Ignore:
Timestamp:
May 29, 2013 1:46:40 PM (2 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • NewAxioms/Nonlinearity

    v8 v9  
    7878== Concrete Proposal ==
    7979
    80  * Among unbranched instances, check linearized forms of the instances when doing overlap checking. Thus, our two problematic instances of {{{F}}}, at the top, will conflict.
     80 * Among unbranched instances, check linearized forms of the LHS of instances when doing overlap checking. Thus, our two problematic instances of {{{F}}}, at the top, will conflict.
    8181
    8282 * After linearizing a left-hand side, the right-hand side of the instance is ill-defined. Thus, the current coincidence check (see [wiki:NewAxioms/CoincidentOverlap here] for more information) is no longer possible and will be removed. (Don't yell yet. Keep reading.)