Home
last modified time | relevance | path

Searched refs:mevalp (Results 1 – 9 of 9) sorted by relevance

/dports/math/maxima/maxima-5.43.2/src/
H A Dmstuff.lisp31 (lambda (x y) (mevalp (funcall fun x y)))
33 (lambda (x y) (mevalp `((,fun) ((mquote) ,x) ((mquote) ,y))))
35 #'(lambda (x y) (mevalp `((,fun) ((mquote) ,x) ((mquote) ,y))))))
H A Dcompar.lisp357 (mevalp pred)))
446 (defun mevalp (pat) function
489 (setq pred (mevalp pred))
503 (setq dummy (mevalp (car pl)) pl (cdr pl))
514 (setq dummy (mevalp (car pl)) pl (cdr pl))
691 (setq x (mevalp (car l)))
704 (setq x (mevalp (car l)))
710 (let ((x (mevalp (car form))))
1940 (null (mevalp (mlsp (caddr x) 0)))))
1944 (not (mevalp (mlsp (cadr x) 0)))))
[all …]
H A Dasum.lisp527 (eq (mevalp `((mlessp) ,hi ,low)) t))
644 (setq realp (mevalp `((mequal) 0 ,realp)))
646 (cond ((eq t (mevalp `((mlessp) ,ex-mag 1))) 0)
647 ((and (eq realp t) (eq t (mevalp `((mgreaterp) ,ex 1)))) '$inf)
648 ((eq t (mevalp `((mgreaterp) ,ex-mag 1))) '$infinity)
649 ((eq t (mevalp `((mequal) 1 ,ex-mag))) '$und)
H A Dnset.lisp636 (setq b (mevalp (mfuncall f x y)))
1145 (def-nary 'mand (s) (mevalp (cons '(mand) s)) t)
1146 (def-nary 'mor (s) (mevalp (cons '(mor) s)) nil)
H A Dnummod.lisp53 (bool (mevalp e)))
H A Dfloat.lisp2362 (x-lt-minus-1 (mevalp `((mlessp) ,x -1)))
2363 (x-gt-plus-1 (mevalp `((mgreaterp) ,x 1)))
/dports/math/maxima/maxima-5.43.2/share/contrib/boolsimp/
H A Dboolsimp.lisp46 (let* ((b (car args)) (g (cadr args)) (v (mevalp b)))
/dports/math/maxima/maxima-5.43.2/share/contrib/
H A Dopsubst.lisp148 (eq t (mevalp (mfuncall prd ($args e))))) fn (mop e))
H A Dbode.mac53 /*:lisp (defun $charfun (p) (let* (($prederror nil) (q (mevalp p))) (cond ((eq q t) 1) ((eq q nil) …