Searched refs:specrepcheck (Results 1 – 18 of 18) sorted by relevance
51 (setq e (take '($is) (simplifya (specrepcheck (second e)) z)))189 (setq e (simplifya (specrepcheck (nth 1 e)) z))274 (setq e (simplifya (specrepcheck (nth 1 e)) z))346 (let ((x (simplifya (specrepcheck (cadr e)) z))347 (y (simplifya (specrepcheck (caddr e)) z)))372 (setq e (simplifya (specrepcheck (second e)) z))424 (setq e (simplifya (specrepcheck (second e)) z))
77 (setq l (margs (specrepcheck l)))168 (setq l (margs (specrepcheck l)))218 (let ((sgn (csign (specrepcheck (sub a b)))))
462 (setq e (specrepcheck e))479 (setq x (specrepcheck x))1032 (let ((arg1 (specrepcheck (first args))) op arrp)1040 (atomchk (setq u (specrepcheck u)) '$append nil)1062 ($inflag (specrepcheck e))1148 (atomchk (setq l (specrepcheck l)) '$delete t)1149 (setq x (specrepcheck x)1153 (if (alike1 x (specrepcheck (cadr l1)))1161 ((or $inflag (not ($ratp e))) (specrepcheck e))1174 (setq x (specrepcheck x)) (or (atom x) (eq (caar x) 'bigfloat)))[all …]
23 (defmfun $unknown (f) (catch 'unknown (unknown (specrepcheck f))))
21 (setq exp (specrepcheck exp))
470 (setq x (specrepcheck x))481 (specrepcheck (car (setq midl (nthcdr (setq mid (floor494 ((alike1 x (specrepcheck (nth 0 l))) (values t lo (cdr l)))495 ((great (specrepcheck (nth 0 l)) x) (values nil lo l))1011 (member ($sign (specrepcheck e)) `($pos $zero $pz) :test #'eq)))
385 (setq x (specrepcheck x))2962 (setq a ($totaldisrep (specrepcheck a))2963 b ($totaldisrep (specrepcheck b)))2967 (setq a ($totaldisrep (specrepcheck a))2968 b ($totaldisrep (specrepcheck b)))2976 (setq a ($totaldisrep (specrepcheck a))2977 b ($totaldisrep (specrepcheck b)))3227 (setq arg1 (specrepcheck e1)3228 arg2 (specrepcheck e2))3238 (setq arg1 (setq arg2 (specrepcheck e1)))[all …]
463 ((atom (setq patevalled (specrepcheck (meval pat))))779 (let ((x (specrepcheck x))995 (alike1 (specrepcheck x) (specrepcheck y)))1078 (setq a (specrepcheck a))1079 (setq b (specrepcheck b))1239 (setq x (specrepcheck x))
664 (let ((arg2 (specrepcheck e)) newarg2)681 (setq newarg2 (specrepcheck (funcer func (ncons arg2))))
44 (setq assoclist (factpow (specrepcheck fun) x))219 (inti funct x (jmaug (specrepcheck funct) x)))365 (prog (a b c *ec-1* d m n (assoclist (jmaug (specrepcheck funct) x))
154 (setq l (specrepcheck l)))
133 (setq exp1 (specrepcheck (first args)))313 (catch 'limunknown (limunknown1 (specrepcheck f))))
1880 (setq e (specrepcheck e)))
50 (setq ek (simplifya (specrepcheck ek) z))105 (setq ek (simplifya (specrepcheck ek) z))136 (setq ek (simplifya (specrepcheck ek) z))184 (setq e (simplifya (specrepcheck (cadr e)) z))
517 (setq e (simplifya (specrepcheck (cadr e)) z))563 (setq e (simplifya (specrepcheck (cadr e)) z))
294 (setq x (simplifya (specrepcheck (second e)) z))295 (setq n (simplifya (specrepcheck (third e)) z))
1457 (displa (list '(mlabel) *linelabel* (ishow (specrepcheck (derat f)))))
2694 $sign needs to call specrepcheck. From Stavros Macrakis.