[Maxima-commits] CVS: maxima/tests rtestnset.mac,1.11,1.12

[Robert D. <rob...@us...>]

Update of /cvsroot/maxima/maxima/tests
In directory sfp-cvsdas-4.v30.ch3.sourceforge.com:/tmp/cvs-serv6574

Modified Files:
	rtestnset.mac 
Log Message:
Example from Matthew Gwynne to verify that the is(f("x") > 0) => Lisp error
bug is fixed.


Index: rtestnset.mac
===================================================================
RCS file: /cvsroot/maxima/maxima/tests/rtestnset.mac,v
retrieving revision 1.11
retrieving revision 1.12
diff -u -d -r1.11 -r1.12
--- rtestnset.mac	17 Jan 2010 11:24:38 -0000	1.11
+++ rtestnset.mac	29 Apr 2010 15:18:41 -0000	1.12
@@ -1650,4 +1650,36 @@
 in_exactly_one(set(x),set(x), set(a,b));
 set(a,b)$
 
+/* bug reported to mailing list, is(f("x") > 0) => Lisp error
+ * following example from Matthew Gwynne 2010-04-29, thanks Matthew!
+ */
+
+(
+ /* F as specified in original example
+ F : {{gv("CSup"),-gv("DiagF"),-gv("DisT"),-gv("ProgF"),-gv("SymA"),-gv("Via")},
+    {-gv("CSup"),-gv("DiagF"),-gv("DisT"),-gv("ProgF"),-gv("SymA"),-gv("Via")},
+    {gv("CSup"),-gv("DiagF"),-gv("DisT"),-gv("ProgF"),-gv("SymA"),-gv("Via")},
+    {-gv("CSup"),-gv("DiagF"),gv("DisT"),-gv("ProgF"),gv("SymA"),-gv("Via")},
+    {-gv("CSup"),gv("DiagF"),-gv("DisT"),-gv("ProgF"),gv("SymA"),gv("Via")},
+    {gv("CSup"),gv("DiagF"),-gv("DisT"),-gv("ProgF"),gv("SymA"),gv("Via")},
+    {gv("CSup"),gv("DiagF"),gv("DisT"),-gv("ProgF"),gv("SymA"),gv("Via")},
+    {gv("CSup"),gv("DiagF"),gv("DisT"),-gv("ProgF"),gv("SymA"),gv("Via")},
+    {-gv("CSup"),gv("DiagF"),-gv("DisT"),gv("ProgF"),gv("SymA"),gv("Via")},
+    {gv("CSup"),gv("DiagF"),gv("DisT"),gv("ProgF"),gv("SymA"),gv("Via")},
+    {gv("CSup"),gv("DiagF"),gv("DisT"),gv("ProgF"),gv("SymA"),gv("Via")}}, */
+ /* here is a smaller (fewer variables) example */
+ F : {{gv("CSup"),-gv("DiagF"),-gv("DisT")},
+      {gv("CSup"),gv("DiagF"),gv("DisT")},
+      {gv("CSup"),gv("DiagF"),gv("DisT")}},
+ var_cs(F) := map(abs,apply(union,listify(F))),
+ all_tass(V) :=
+  map(setify,
+   apply(cartesian_product,
+     map(lambda([v],{-v,v}),listify(V)))),
+ fullcnf2fulldnf(F) := setdifference(all_tass(var_cs(F)),F),
+ fullcnf2fulldnf(F));
 
+{{-abs(gv("CSup")),-abs(gv("DiagF")),-abs(gv("DisT"))},{-abs(gv("CSup")),-abs(gv("DiagF")),abs(gv("DisT"))},
+ {-abs(gv("CSup")),abs(gv("DiagF")),-abs(gv("DisT"))},{-abs(gv("CSup")),abs(gv("DiagF")),abs(gv("DisT"))},
+ {abs(gv("CSup")),-abs(gv("DiagF")),-abs(gv("DisT"))},{abs(gv("CSup")),-abs(gv("DiagF")),abs(gv("DisT"))},
+ {abs(gv("CSup")),abs(gv("DiagF")),-abs(gv("DisT"))},{abs(gv("CSup")),abs(gv("DiagF")),abs(gv("DisT"))}}$