[system] Repository:
ViewVC logotype

Revision 5404


Jump to revision: Previous Next
Author: dpvc
Date: Wed Aug 22 23:35:41 2007 UTC (12 years, 2 months ago)
Log Message:
Set the cmpDefaults so that you don't get error messages for things
like "x=1 or x=2" (which are not reduced when considered as {1} U {2}).
Also, improve the error messages a bit.

There is a better way to handle this context so that intervals, sets
and unions are distinct from inequalities.  That will clear up the
ambiguity about how to stringify the objects, and will make it easier
for the two types of notation to coincide.

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