Searched refs:mnump (Results 1 – 25 of 39) sorted by relevance
12
73 (and (mnump z)79 (cond ((mnump x) (cons 1 x))82 (cond ((mnump (setf c (car x))) ;set c to numeric coeff.101 ((mnump e) (timesk cf e)) ; didn't think this should happen105 (if (mnump (cadr e))170 (if (mnump x) l `((mplus simp) ,x ,l)))205 (cond ((mnump li) (mincf num-sum li))250 (cond ((mnump x) (mincf num-sum x))
203 (defun mnump (x) function386 (cond ((mnump x) x)421 (cond ((mnump exp)1622 (cond ((mnump x)1850 ((and (mnump x) (mnump y)) (addk x y))1854 (if (and (mnump x) (mnump y))1867 ((mnump (cadr y))2063 (cond ((mnump x)2599 (cond ((mnump (setq x (if (mnump (car x))2871 ((and (mnump (car x)) (mnump w))[all …]
167 ((mnump u) (binocomp u v))229 (not (and (mnump v)237 (not (and (mnump u)252 ((and (or (not (mnump u))255 (or (not (mnump v))268 ((or (and (mnump u)271 (not (and (mnump v)276 (and (mnump v)290 (not (and (mnump v)296 (not (and (mnump u)[all …]
1100 ((and (mnump a) (mnump b)) (zerop1 (sub a b)))1512 (mnump (caddr f))1518 (mnump (cadr f))1920 ((mnump x) nil)1934 (and (mnump (cadr x))2009 ((mnump e)2045 ((mnump e) nil)2050 ((mnump e) nil)2058 ((mnump e) nil)2217 (if (or (mnump lhs) (constant lhs))[all …]
185 ((mnump exp) exp)187 (cond ((and (mnump (caddr exp))201 (mnump (cadr nn*))401 ((mnump j) (setq j (cdr j))))
140 (if (and (mnump y) (= (signum1 y) 1))187 (or (and (mnump x) $subnumsimp)188 (and (not (mnump x)) (not (atom x)))))267 (cond ((and (mnump y) (mnump z))269 ((atom z) (if (not (mnump y)) (return nil)))464 ((mnump e) nil)481 ((mnump e) 0)608 (if (mnump (caddr e))740 (if (or (mnump e)894 (cond ((mnump substitem)[all …]
260 ((and (mnump arglim)326 ((and (mnump arglim)403 ((and (mnump arglim)
611 (mnump exp)638 ((mnump x) x)1562 ((and (mnump %e-arg-diff-lim) (mnump %e-arg-exp-lim))1783 (cond ((mnump bl)1790 (cond ((mnump bl)2169 ((mnump e) nil)2175 ((mnump exp) t)2311 ((mnump s1)2515 ((mnump rd) rd)2531 ((mnump rd) rd)[all …]
148 (cond ((or (mnump factor)357 (cond ((mnump x)358 (cond ((mnump y) (great x y)) (t 'nomatch)))361 (alike (cond ((mnump (cadr x))364 (cond ((mnump (cadr y))
42 (cond ((or (mnump exp) (symbolp exp)) exp)
160 (or (atom x) (mnump (car x))))492 (cond ((mnump x) (dintnum x))497 (cond ((mnump x) (dintnum x))583 (mnump (car cl)))) ;from its property list.
66 (cond ((and (mnump pow) (or (not (fixnump pow)) (< pow 0))) ; POW cannot be 092 (cond ((or (mnump e) (constant e)) 0)352 (mnump (cadr arg))520 (and (mnump x)521 (mnump y)
44 ((and taylorform (mnump c) (assolike b (cadddr (cdar a))))46 ((and taylorform (mexptp b) (mnump c) (mnump (caddr b))81 (setq bas (if (and (mexptp var) (mnump (caddr var))) (cadr var) var))
273 (mnump expr)) t)651 (setf trans (if (mnump ll)654 (setf trans (if (mnump ul)1108 (cond ((or (mnump e) (constant e))1853 ((mnump a)1867 (mnump (caddr e)))3156 (mnump e)) ())3176 ((mnump e) nil)3188 (mnump e)3271 ((mnump e) nil)[all …]
57 (cond ((mnump z) z)80 (cond ((mnump z) 0)621 (cond ((and (mnump (cadr exp))
91 …(if (mnump li) (setq num-max (if (or (null num-max) (mgrp li num-max)) li num-max)) (push li acc)))
269 ((and (mnump z)1697 ((and (mnump z)3402 (or (and (mnump b) 3804 ((and (onep1 z2) (or (not (mnump a)) (not (mnump b)) (not (mnump z1))))3813 ((and (onep1 z1) (or (not (mnump a)) (not (mnump b)) (not (mnump z2))))4058 (or (not (mnump a)) 4059 (not (mnump b)) 4060 (not (mnump z))))
195 (or (mnump term)
251 (mnump e))
83 (and (mnump r) (not (zerop1 r)) (div item2 r))))))476 (not (mnump (setq c (cadr f)))))
29 (when (or (not (mnump eps)) (mnegp eps) (equal eps 0))
140 (when (some #'mnump varl)908 (when (mnump (car varl))
1638 (cond ((mnump $x)1646 (cond ((mnump $x)1654 (cond ((and (mnump $x) (mnump $n))
109 (mnump p)130 (cond ((or (mgrp n 0) (mnump b))248 (cond ((mnump q) (if (zerop1 q) 0 1))286 ((mnump p) 0)408 (mnump (sratsimp (div a b)))) t nil))
370 (every #'(lambda (s) (and (mequalp s) (symbolp ($lhs s)) (complex-number-p ($rhs s) 'mnump)))