[Maxima-commits] CVS: maxima/share/contrib to_poly_solve_extra.lisp, 1.5, 1.6

[Barton W. <wil...@us...>]

Update of /cvsroot/maxima/maxima/share/contrib
In directory 23jxhf1.ch3.sourceforge.com:/tmp/cvs-serv9079

Modified Files:
	to_poly_solve_extra.lisp 
Log Message:
o check fact database for nonintegers (simp-%integerp)

Index: to_poly_solve_extra.lisp
===================================================================
RCS file: /cvsroot/maxima/maxima/share/contrib/to_poly_solve_extra.lisp,v
retrieving revision 1.5
retrieving revision 1.6
diff -u -d -r1.5 -r1.6
--- to_poly_solve_extra.lisp	15 Jun 2009 20:41:39 -0000	1.5
+++ to_poly_solve_extra.lisp	20 Jun 2009 10:46:59 -0000	1.6
@@ -159,6 +159,7 @@
     (setq sgn ($compare e (take '($floor) e)))
     (cond ((equal sgn "=") t)
 	  ((member sgn '("<" ">" "#") :test #'equal) nil)
+	  ((and (symbolp e) ($featurep e '$noninteger)) nil)
 	  (t `(($%integerp simp) ,e)))))
     		  
 (setf (get '$isreal_p 'operators) 'simp-isreal-p)