Home
last modified time | relevance | path

Searched refs:ptterm (Results 1 – 21 of 21) sorted by relevance

/dports/math/maxima/maxima-5.43.2/src/
H A Dpsolve.lisp39 (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)))
H A Dnalgfa.lisp31 (ptterm (cdr p) 0))
296 (ratreduce (ptterm (cdr p) 0)
297 (pminus (ptterm (cdr p) 1))))
366 (cons (ptterm (cdr p) 0) 1))
H A Dsolve.lisp774 (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.))
H A Dcsimp.lisp378 (setq c (ptterm (cdar e) 1))
383 (setq c (ptterm (cdr c) 0))
H A Dalgsys.lisp349 (getvardegs (ptterm (cdr poly) 0))))
350 (t (getvardegs (ptterm (cdr poly) 0)))))
H A Drat3d.lisp351 (cond ((and (pcoefp (ptterm (cdr p) 0))
352 (not (zerop (ptterm (cdr p) 0))))
H A Dcombin.lisp1505 (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))
H A Dpolyrz.lisp151 ((zerop (car r)) (signum (ptterm (cdr p) 0)))
H A Drat3a.lisp425 (pcsub (ptterm terms 0) vals vars)
844 (defun ptterm (x n) function
H A Dfactor.lisp156 (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)))
H A Ddefint.lisp1419 (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)))
H A Dalgfac.lisp107 (push (ptterm p n) vec)
H A Dnrat4.lisp289 (prodcoef (caddr a) (ptterm (cdr b) (cadr a))))
H A Dratout.lisp102 ((eq (caadr p) *var) (setq zz (ptterm (cdadr p) *max)) (go add)))
H A Dhayat.lisp739 (t (do ((p (ptterm (cdar r) 0) (ptterm (cdr p) 0)))
H A Dsimp.lisp3604 (t (ptterm (cdr l) n))))
/dports/devel/py-prompt-toolkit/prompt_toolkit-3.0.23/
H A DPROJECTS.rst56 - `ptterm <https://github.com/prompt-toolkit/ptterm>`_: A terminal emulator widget for prompt_toolk…
/dports/devel/py-prompt-toolkit2/prompt_toolkit-2.0.10/
H A DREADME.rst168 - `ptterm <https://github.com/prompt-toolkit/ptterm>`_: A terminal emulator
H A DPKG-INFO175 - `ptterm <https://github.com/prompt-toolkit/ptterm>`_: A terminal emulator
/dports/devel/py-prompt-toolkit2/prompt_toolkit-2.0.10/prompt_toolkit.egg-info/
H A DPKG-INFO175 - `ptterm <https://github.com/prompt-toolkit/ptterm>`_: A terminal emulator
/dports/math/teyjus/teyjus-2.1-7-ge63f40a/source/compiler/
H A Dparse.ml26 type ptterm = Term of (Absyn.aterm * Types.typemolecule) type
46 StackTerm of (ptterm)
1212 and makeBinaryApply f (arg1 : ptterm) (arg2 : ptterm) =