From c59c1cdcdf3d651acbc892b1ea0f1d56d9d8961f Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Fri, 8 Aug 2008 16:18:48 +0000
Subject: 	* interp/pf2sex.boot (pfApplication2Sex): Don't transform ">",
 	"=>", and "<=" expressions.

---
 src/algebra/qalgset.spad.pamphlet | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/algebra/qalgset.spad.pamphlet')

diff --git a/src/algebra/qalgset.spad.pamphlet b/src/algebra/qalgset.spad.pamphlet
index e6dfe5aa..400aba47 100644
--- a/src/algebra/qalgset.spad.pamphlet
+++ b/src/algebra/qalgset.spad.pamphlet
@@ -193,7 +193,8 @@ QuasiAlgebraicSet(R, Var,Expon,Dpoly) : C == T
  
      overset?(p,qlist) ==
        empty? qlist => false
-       or/[(brace$(Set Dpoly) q) <$(Set Dpoly) (brace$(Set Dpoly) p) for q in qlist]
+       or/[part?(brace(q)$Set(Dpoly), brace(p)$Set(Dpoly))$Set(Dpoly) 
+             for q in qlist]
 
 @
 \section{package QALGSET2 QuasiAlgebraicSet2}
-- 
cgit v1.2.3