Ordering of not x

• Subject: Ordering of not x
• From: Barton Willis
• Date: Sat, 6 Jul 2013 14:49:04 +0000

> But things like sort([x,y, not x, not y]) will be different.

Should this change cause a problem with to_poly_solve (unlikely), I'll fix it:

   (%i17) z %and a;
   (%o17) a %and z

   (%i18) z %and a %and not z;
   (%o18) false

My test showed no problems with the to_poly_solve testsuite.

--Barton

• Prev by Date: Ordering of not x
• Next by Date: Troubles simplifying expressions
• Previous by thread: Ordering of not x
• Next by thread: orphan parenthesis ( "(" )
• Index(es):
  • Date
  • Thread