Searched refs:mexptp (Results 1 – 25 of 28) sorted by relevance
12
135 (and (mexptp x)203 (cond ((and (mexptp obj) (mtimesp result))440 (and (mexptp result)446 (and (mexptp powered?)531 (and (mexptp result)604 (and (mexptp powered?)654 (and (mexptp result)660 (and (mexptp powered?)739 (and (mexptp result)765 (and (mexptp powered?)
116 (cond ((and (mexptp e) (alike1 base* (cadr e)))123 ((and (mexptp (car e)) (alike1 base* (cadar e)))142 ((and (mexptp e) (alike1 expon (caddr e)))150 ((and (mexptp (car e)) (alike1 expon (caddar e)))
613 ((and (mexptp exp)862 (and (mexptp factor)1129 (cond ((and (mexptp e)1160 (and (mexptp e)1170 (cond ((and (mexptp exp)1337 (mexptp exp)2108 (and (mexptp exp)2474 ((and (mexptp term)3093 ((and (mexptp e)3142 ((mexptp exp)[all …]
280 ((mexptp expr)1865 ((and (mexptp e)2193 ((and (mexptp e)2206 ((mexptp e)2540 ((and (mexptp a)2793 ((and (mexptp exp)2823 ((and (mexptp e)3121 ((and (mexptp e)3177 ((and (mexptp e)3223 ((and (mexptp e)[all …]
46 ((and taylorform (mexptp b) (mnump c) (mnump (caddr b))81 (setq bas (if (and (mexptp var) (mnump (caddr var))) (cadr var) var))117 (prog2 (newvar b) (some #'mexptp varlist)))487 ((and (mexptp x) (not (eq (cadr x) '$%e)))575 (when (and (mexptp x)
1246 (mexptp x1)1435 ((mexptp y)1677 ((and (mexptp u)2182 (if (mexptp y)2388 ((mexptp (car gr))2562 (if (mexptp x) (setq check x))2574 (setq x (if (mexptp temp)2591 ((mexptp (cadr fm))2787 ((and (mexptp temp)2825 (when (and (mexptp (cadr l))[all …]
249 (and (mexptp factor)678 ((and (numberp power) (mexptp base))765 (cond ((and (mexptp e) (eq (cadr e) var))818 (cond ((and (mexptp e) (eq (cadr e) var))
1094 ((or (and (mexptp a) (not (eq '$minf (third a))) (zerop1 b) (eq t (mnqp (second a) 0)))1095 (and (mexptp b) (not (eq '$minf (third b))) (zerop1 a) (eq t (mnqp (second b) 0))))1456 (and (mexptp xlhs)1470 (and (mexptp xlhs) (mexptp xrhs)2237 ((and (mexptp lhs) (mexptp rhs)2285 (or (mexptp lhs)2385 (if (mexptp x)
396 (mexptp (cadr e)))404 (cond ((mexptp (car e))
253 ((and (mexptp e)
124 (cond ((and (mexptp (car e))442 (cond ((mexptp b)
205 (cond ((and (mexptp p) (integerp (caddr p)))452 (and (mexptp x) (eq (cadr x) '$%e)))837 (if (and (mexptp x) (not (atom (caddr x))))
1021 ((and (mexptp y)1053 ((and (mexptp exp) (eq (cadr exp) '$%e)) (caddr exp))1060 (setq d (if (mexptp b) ;needed for radicals
333 (if (mexptp a) (cadr a) a))
303 (if (and (mexptp expr)327 ((and (mexptp expr)347 (if (and (mexptp start)
575 ((and (mexptp fac)1762 (when (and (mexptp (cdr pair))1938 (cond ((and (mexptp exp)3163 ((mexptp (car l))
520 (when (or (not (or (ratnump term) (mtimesp term) (mexptp term)))
1275 (when (and (mexptp v1) ($ratnump (caddr v1)))1277 (when (and (mexptp v2) ($ratnump (caddr v2)))2652 (if (mexptp fun)3084 ((and ps-bmt-disrep (mexptp var) (equal (caddr var) -1))
15 (cond ((and (mexptp var)
116 ((mexptp p)250 ((and (mexptp q) (integerp (third q)) (> (third q) 0)) (second q))288 ((and (mexptp p) (integerp (third p)) (> (third p) 0))535 ((and (mexptp e) (eq '$%e (second e)) (linearp (third e) '$%i))539 ((and (mexptp e) ($numberp (caddr e)) (eq t (mgrp (caddr e) -1)) (eq t (mgrp 1 (caddr e))))
29 (defun mexptp (x) function251 (cond ((mexptp pj)307 ((mexptp p) (list (car (margs p))))310 (setq acc (mul acc (if (mexptp pj) (car (margs pj)) pj))))))
86 (if (mexptp ei) (setq ei (car (margs ei))))
131 (setq p2 (mapcar #'(lambda (s) (if (mexptp s) (nth 1 s) s)) p2))
136 (and (mexptp obj)
219 ((mexptp e) (list (car e) ($makebox (cadr e) name) (caddr e)))