Lines Matching refs:mexptp
459 ((mexptp exp) (simpinf-expt (first arguments) (second arguments)))
598 (cond ((or (mtimesp exp) (mexptp exp))
613 ((and (mexptp exp)
862 (and (mexptp factor)
928 (m* (cond ((or (not (mexptp factor))
955 (cond ((not (mexptp factor))
1129 (cond ((and (mexptp e)
1160 (and (mexptp e)
1170 (cond ((and (mexptp exp)
1186 ((mexptp exp) (m^ (cadr exp)
1250 ((mexptp x) (m^t (log-reduce (cadr x)) (caddr x)))
1337 (mexptp exp)
1537 ((and (mexptp exp) (mnump (caddr exp)))
1551 ((or (and (mexptp denom)
1806 ((mexptp exp) (simplimexpt (cadr exp) (caddr exp)
2108 (and (mexptp exp)
2159 ((mexptp exp) (cond ((equal (caddr exp) -1.)
2434 ((and (mexptp e) (eq (cadr e) var))
2474 ((and (mexptp term)
3093 ((and (mexptp e)
3142 ((mexptp exp)
3310 ((and (mexptp exp)
3402 (mexptp (cadr exp))