Searched refs:ptterm (Results 1 – 21 of 21) sorted by relevance
39 (rdis (setq a2 (ratreduce (ptterm x 2)41 (setq a1 (ratreduce (ptterm x 1) lcoef))42 (setq a0 (ratreduce (ptterm x 0) lcoef))111 (setq b3 (rdis(ratreduce (ptterm x 3) lcoef)))112 (setq b2 (rdis(ratreduce (ptterm x 2) lcoef)))113 (setq b1 (rdis(ratreduce (ptterm x 1) lcoef)))114 (setq b0 (rdis(ratreduce (ptterm x 0) lcoef)))
31 (ptterm (cdr p) 0))296 (ratreduce (ptterm (cdr p) 0)297 (pminus (ptterm (cdr p) 1))))366 (cons (ptterm (cdr p) 0) 1))
774 (cond ((equal 0 (ptterm (cdr exp) 0))776 (solve3 (rdis (ratreduce (pminus (ptterm (cdr exp) 0))787 (setq b (ptterm (cdr exp) 1.))788 (setq c (ptterm (cdr exp) 0.))
378 (setq c (ptterm (cdar e) 1))383 (setq c (ptterm (cdr c) 0))
349 (getvardegs (ptterm (cdr poly) 0))))350 (t (getvardegs (ptterm (cdr poly) 0)))))
351 (cond ((and (pcoefp (ptterm (cdr p) 0))352 (not (zerop (ptterm (cdr p) 0))))
1505 (cons (ptterm (cdaadr a) 1)1509 (ptterm (cdaadr a) 0)1545 (cons (ptterm (cdaadr a) 1)1549 (ptterm (cdaadr a) 0)1581 (let ((c (ptterm (cdr p) 0))
151 ((zerop (car r)) (signum (ptterm (cdr p) 0)))
425 (pcsub (ptterm terms 0) vals vars)844 (defun ptterm (x n) function
156 (cond ((or (atom p) (null (cddr p)) (equal (ptterm p 0) 0))279 (t (consta (ptterm (cdr p) 0)))))597 (cond ((and (equal 0 (ptterm (cdr u) 0)) (equal 0 (ptterm (cdr u) 1)))
1419 (not (equal (ptterm (cddr exp) 0.) 0.)))2671 (eql (ncons (pdis (ptterm e n))) (cons (pdis (ptterm e m)) eql))3248 (setq c (pdis (ptterm e 0)))3249 (setq b (m*t (m//t 1 2) (pdis (ptterm e 1))))3250 (setq a (pdis (ptterm e 2)))
107 (push (ptterm p n) vec)
289 (prodcoef (caddr a) (ptterm (cdr b) (cadr a))))
102 ((eq (caadr p) *var) (setq zz (ptterm (cdadr p) *max)) (go add)))
739 (t (do ((p (ptterm (cdar r) 0) (ptterm (cdr p) 0)))
3604 (t (ptterm (cdr l) n))))
56 - `ptterm <https://github.com/prompt-toolkit/ptterm>`_: A terminal emulator widget for prompt_toolk…
168 - `ptterm <https://github.com/prompt-toolkit/ptterm>`_: A terminal emulator
175 - `ptterm <https://github.com/prompt-toolkit/ptterm>`_: A terminal emulator
26 type ptterm = Term of (Absyn.aterm * Types.typemolecule) type46 StackTerm of (ptterm)1212 and makeBinaryApply f (arg1 : ptterm) (arg2 : ptterm) =