Added missing function $taylorp to JM;SIMP.

Also made JM;SIMP virtually identical to LISPM version.
Resolves #2188.

src/jm/simp.835

@@ -14,7 +14,9 @@
 		  BIGFLOATZERO BIGFLOATONE $ASSUMESCALAR $SUBNUMSIMP
 		  OPERS-LIST *OPERS-LIST WFLAG $DONTFACTOR *N
 		  *OUT *IN VARLIST GENVAR $FACTORFLAG RADCANP)
-	 (*EXPR PSQUOREM1 PNTHROOTP)
+	 (*EXPR PSQUOREM1 PNTHROOTP %especial csign oper-apply sumpls sumtimes
+                srf mevenp moddp demoivre pdis rischint sinint context-unwinder
+                $defint pgcdexpon pexpon*// psimp pdivide pterm)
 	 (*LEXPR FMAPL1 $LIMIT OUTERMAP1 $RATSIMP $EXPAND)
 	 (FIXNUM FMAPLVL L1 L2 XN NARGS I (SIGNUM1))
 	 (NOTYPE N)
@@ -242,6 +244,9 @@
 
 (DEFMFUN $RATP (X) (AND (NOT (ATOM X)) (EQ (CAAR X) 'MRAT)))
 
+(defmfun $taylorp (x)
+  (and (not (atom x)) (eq (caar x) 'mrat) (memq 'trunc (cdar x)) t))
+
 (DEFMFUN SPECREPCHECK (E) (IF (SPECREPP E) (SPECDISREP E) E))
   
 ;; Note that the following two functions are carefully coupled.
@@ -411,7 +416,7 @@
 
 (DEFMFUN SIMPLIFYA (X Y)
   (COND ((ATOM X) (COND ((AND (EQ X '$%PI) $NUMER) %PI-VAL) (T X)))
-	((NOT $SIMP) X)				
+	((NOT $SIMP) X)
 	((ATOM (CAR X))
 	 (COND ((AND (CDR X) (ATOM (CDR X)))
 		(MERROR "~%~S is a cons with an atomic cdr - SIMPLIFYA" X))
@@ -2066,7 +2071,7 @@
 (DEFUN RATQU (A B) (RATQUOTIENT (RATFIX A) (RATFIX B))) 
 
 (DEFUN RATFIX (A) (COND ((EQUAL A (RATNUMERATOR A)) (CONS A 1)) (T A)))
-	 
+
 (DEFUN RATDIVIDE (F G)
        (LET* (((FNUM . FDEN) (RATFIX F))
 	      ((GNUM . GDEN) (RATFIX G))
@@ -2104,6 +2109,7 @@
 (DEFMFUN *KAR (X) (IF (NOT (ATOM X)) (CAR X)))
 
 ;MATCOEF is obsolete, only needed for old SAVE files. - JPG 5/12/80
+#-NIL (declare (*expr ratcoef))
 #-NIL
 (DEFUN MATCOEF FEXPR (L)
  (RATDISREP (RATCOEF (MEVAL (CAR L)) (MEVAL (CADR L)))))
@@ -2127,4 +2133,3 @@
 
 ; Undeclarations for the file:
 (DECLARE (NOTYPE L1 L2 XN NARGS I))
-