[system] Repository:
ViewVC logotype

Revision 5951

Jump to revision: Previous Next
Author: dpvc
Date: Tue Dec 30 08:18:24 2008 UTC (10 years, 10 months ago)
Log Message:
Inequalities that are evaluated and turned into intervals now properly
retain the order of operands (x > 10 remains x > 10 rather than
becoming 10 < x).

Unions of the form "x < a or x > a" will be displayed as "x != a" instead,
and "a < x < b or b < x < c" will be shown as "a < x < c and x != b"
instead.  This behavior is controlled by the showNotEquals context
flag.  Setting it to zero prevents conversion of unions to their
not-equal forms.

Changed paths:

Path Details
Directorytrunk/pg/macros/contextInequalities.pl modified , text changed

aubreyja at gmail dot com
ViewVC Help
Powered by ViewVC 1.0.9