Searched refs:coeffpt (Results 1 – 7 of 7) sorted by relevance
124 ((coeffpt)165 ((coeffpt)174 ((coeffpt)184 ((coeffpt)194 ((coeffpt)204 ((coeffpt)214 ((coeffpt)225 ((coeffpt)236 ((coeffpt)247 ((coeffpt)[all …]
328 ((coeffpt) (b freevar)))332 ((coeffpt) (d freevar)))353 ((coeffpt) (b freevar) (x varp))354 ((coeffpt) (a freevar)))))361 ((coeffpt) (b freevar) (x varp))362 ((coeffpt) (a freevar)))))370 ((coeffpt) (b freevar)))373 ((coeffpt) (d freevar))))))1954 (cons '(coeffpt)2277 ((coeffpt) (d freevar) (z varp))[all …]
204 ((eq (caar p) 'coeffpt) (coeffpt e p t))257 ((eq (caaar z) 'coeffpt)258 (cond ((coeffpt e (car z) nil) (go loop))357 (defun coeffpt (e p ind) ;THE PATTERN LIST (P) MUST BE OF VAR-PATTERNS function369 (fl (if (and z (cdr z)) 'coeffpt))) ;WHICH BECOMES A SUM AND MIGHT BE RESET545 ((eq (car z) 'coeffpt)546 (and (eq b 'coeffpt)
20 '((((mplus) ((coeffpt) (c true) ((mexpt) ((%tan) (x true)) 2))23 (((mplus) ((coeffpt) (c true) ((mexpt) ((%cot) (x true)) 2))26 (((mplus) ((coeffpt) (c true) ((mexpt) ((%tanh) (x true)) 2))29 (((mplus) ((coeffpt) (c true) ((mexpt) ((%coth) (x true)) 2))
163 ((coeffpt) (c nonzerp) ((mexpt) (u hasvar) (v integerpfr)))456 ((mexpt) ((mplus) ((coeffpt) (f freevar) (x varp))460 ((coeffpt) (a freevar) ((mexpt) (x varp) 2))461 ((coeffpt) (b freevar) (x varp))484 ((mexpt) ((mplus) ((coeffpt) (e freevnz) ((mexpt) (x varp) 2))485 ((coeffpt) (f freevar) (x varp))
184 ((mexpt) ((mplus) ((coeffpt)
2198 '((mplus) ((coeffpt) (m $numberp) (s nonnump))3261 (m2 exp '((mplus) ((coeffpt)(f nonnump)) ((coeffpp)(c $numberp)))))