| /dports/math/maxima/maxima-5.43.2/src/ |
| H A D | comm.lisp | 203 ((and (eq (caar y) 'mexpt) (eq (caar z) 'mexpt) (alike1 (cadr y) (cadr z))
207 ((and $derivsubst (eq (caar y) '%derivative) (eq (caar z) '%derivative)
229 ((eq (caar z) '%at)
258 (cond ((eq (caar new) (caar old)) old)
389 (putprop (caar z)
492 ((eq (caar e) 'mnctimes)
743 (and (not (atom e)) (not (eq (caar e) 'mqapply)) (mopp1 (caar e))))
783 ((eq (caar e) 'mqapply)
1169 ((eq (caar e) 'mexpt)
1295 ((or (eq (caar e) '%derivative) (eq (caar e) '$diff))
[all …]
|
| H A D | trgred.lisp | 76 ((eq (caar e) 'mplus)
83 ((eq (caar e) 'mtimes)
86 ((eq (caar e) 'mexpt)
89 ((eq (caar e) '%log)
117 ((eq (caar e) 'mtimes)
271 (null (eq (caar a) (caar b))))
273 (or (eq (caar a) '%sin) (eq (caar a) '%sinh)
360 ((and (eq (caar x) (caar y))
500 ((eq (caar e) 'mplus)
518 ((eq (caar e) 'mtimes)
[all …]
|
| H A D | rpart.lisp | 418 ((eq (caar l) '%log)
430 ((let ((ass (assoc (caar l)
471 ((or (arcp (caar l)) (eq (caar l) '$atan2))
478 ((eq (caar l) '%plog)
488 ((eq (caar l) '$matrix)
513 ((prog2 (setq op (if (eq (caar l) 'mqapply) (caaadr l) (caar l)))
620 ((eq (caar exp) 'mtimes)
640 ((eq (caar exp) 'mplus)
717 ((eq (caar l) 'mtimes)
726 ((eq (caar l) 'mexpt)
[all …]
|
| H A D | optim.lisp | 40 (t (if (or (not (eq (caar x) 'mprog))
51 (mspecfunp (caar x))
54 ((eq (caar x) 'mexpt) (opmexpt x))
96 (t (let ((n (opt-hash (caar x))))
105 (if (alike1 x (caar l)) (return (caar l))))))))
108 (if (not (or (atom x) (eq (caar x) 'rat)))
109 (let ((n (opt-hash (caar x))))
119 (not (eq (caar x) 'mqapply))
120 (not (mget (caar x) 'arrayfun-mode)))
122 ((eq (caar x) 'rat) x)
[all …]
|
| H A D | comm2.lisp | 101 ((eq (caar e) 'mnctimes)
105 ((eq (caar e) 'mncexpt)
142 (setq fun (caar exp)
187 (if (eq (caar eqn) 'mequal)
405 ((eq (caar e) 'mtimes)
464 (let ((m (caar list))
465 (g (caar list))
466 (l (caar list)))
487 ((eq (caar e) 'mtimes)
491 ((eq (caar e) 'mplus)
[all …]
|
| H A D | sublis.lisp | 39 (eq (caar temp) 'mequal)
56 (cond ((not (symbolp (setq temp (caar x))))
65 (do ((x s (cdr x))) ((null x)) (remprop (caar x) *msublis-marker*)))
86 (caar-value (msublis-subst (caar form) t)))
88 (eq (caar form) caar-value))
91 (eq (caar form) 'mqapply)
95 (eq (caar (car cdr-value)) 'lambda))
103 (eq (caar caar-value) 'lambda)))
|
| H A D | trpred.lisp | 56 ((eq 'mnot (caar form)) (trp-mnot form))
57 ((eq 'mand (caar form)) (trp-mand form))
58 ((eq 'mor (caar form)) (trp-mor form))
59 ((eq 'mnotequal (caar form)) (trp-mnotequal form))
60 ((eq 'mequal (caar form)) (trp-mequal form))
61 ((eq '$equal (caar form)) (trp-$equal form))
62 ((eq 'mgreaterp (caar form)) (trp-mgreaterp form))
63 ((eq 'mgeqp (caar form)) (trp-mgeqp form))
64 ((eq 'mlessp (caar form)) (trp-mlessp form))
65 ((eq 'mleqp (caar form)) (trp-mleqp form))
[all …]
|
| H A D | nisimp.lisp | 70 ((eq (caar pat) 'mtimes)
124 ((equal (car perm) (caar tree))
237 ((or (eq (caar e) 'mrat)
263 (caar yy)
278 ((null (cdar x)) (caar x))
338 ((eq 'mexpt (caar x))
346 (list (caar x) 'array)
347 (caar x))
375 ((eq 'rat (caar listpower))
389 (cond ((eq (caar w) y)
[all …]
|
| H A D | simp.lisp | 399 ((or (mopp (caar x)) (kindp (caar x) '$constant))
563 ((not (atom (caar x)))
566 (mapply1 (caar x) (cdr x) (caar x) x))
573 ((get (caar x) 'opers)
612 ((and (eq (caar x) (caar check))
628 (and (eq (caar x) (caar check))
3054 ((eq (caar x) 'rat)
3061 ((and (eq (caar x) 'bigfloat) (eq (caar y) 'bigfloat)) (mgrp x y))
3062 ((or (eq (caar x) 'mrat) (eq (caar y) 'mrat))
3102 (eq (caar x) (caar y)))
[all …]
|
| H A D | buildq.lisp | 102 ((and (eq (caar form) 'msetq)
129 ((atom (caar expression))
130 (setq new-car (mbuildq-associate (caar expression) alist))
131 (cond ((eq new-car (caar expression))
165 ((member (caar (cdr form))
169 (t `( (,($nounify (caar (cdr form)))
183 (and (eq (caar expression) '$splice)
|
| H A D | mmacro.lisp | 55 (not (atom (caar fun)))
57 (mopp (setq name ($verbify (caar fun))))
61 ((not (eq name (caar fun))) ;efficiency hack I guess
102 (mapply1 defn (cdr form) (caar form) form))))
117 (cond ((eq (caar form) 'mmacroexpanded)
121 (cond ((not (eq (caar form) 'mmacroexpanded))
189 (get (caar form) 'translated-mmacro))
190 (mget (caar form) 'mmacro)))
|
| H A D | schatc.lisp | 197 ((atom (caar p))
202 ((and (not (atom e)) (eq (caar e) (caar p))) (eachp e p))
206 ((eq (caar p) 'coefftt)
208 ((eq (caar p) 'coeffpp)
226 ((null (eq (caar p) (caar e)))
228 (eq (caar e) 'mplus)
395 ((and (eq (caar e) 'mtimes)
417 ((or (and (eq (caar e) 'mexpt)
442 (setq x (caar y)
489 ((null (atom (caar y)))
[all …]
|
| H A D | trmode.lisp | 53 (cond ((and (eq (caar l) 'def-mtrvar)
162 ((eq 'mlist (caar form))
165 (declarray (caar form) mode))
166 ((eq '$function (caar form))
172 ((member (caar form) '($fixed_num_args_function $variable_num_args_function) :test #'eq)
177 (mputprop f t (caar form)))
179 ((eq '$completearray (caar form))
181 (putprop (if (atom l) l (caar l)) mode 'array-mode))
183 ((eq '$array (caar form))
185 ((eq '$arrayfun (caar form))
[all …]
|
| /dports/lang/abcl/abcl-src-1.8.0/src/org/armedbear/lisp/ |
| H A D | assoc.lisp | 45 (assoc-guts (funcall test item (funcall key (caar alist))))
46 (assoc-guts (funcall test item (caar alist)))))
50 (funcall key (caar alist)))))
51 (assoc-guts (not (funcall test-not item (caar alist))))))
54 (assoc-guts (eql item (funcall key (caar alist))))
55 (assoc-guts (eql item (caar alist)))))))
59 (assoc-guts (funcall predicate (funcall key (caar alist))))
60 (assoc-guts (funcall predicate (caar alist)))))
65 (assoc-guts (not (funcall predicate (caar alist))))))
111 (cons (caar alist) (cdar alist)))
[all …]
|
| /dports/lang/racket-minimal/racket-8.3/src/regexp/common/ |
| H A D | range.rkt | 33 [(= start (caar r))
36 (cons (cons start (sub1 (caar r)))
54 [((caar r1) . <= . (caar r2))
56 [((add1 (cdar r1)) . >= . (caar r2))
61 (range-union (cons (cons (caar r1) (cdar r2))
81 (= (caar range) (cdar range))
82 (caar range)))
89 (and (low . >= . (caar range))
95 [((caar range) . < . low) #f]
104 (or (and (low . >= . (caar range))
[all …]
|
| /dports/lang/racket/racket-8.3/src/regexp/common/ |
| H A D | range.rkt | 33 [(= start (caar r))
36 (cons (cons start (sub1 (caar r)))
54 [((caar r1) . <= . (caar r2))
56 [((add1 (cdar r1)) . >= . (caar r2))
61 (range-union (cons (cons (caar r1) (cdar r2))
81 (= (caar range) (cdar range))
82 (caar range)))
89 (and (low . >= . (caar range))
95 [((caar range) . < . low) #f]
104 (or (and (low . >= . (caar range))
[all …]
|
| /dports/math/maxima/maxima-5.43.2/share/tensor/ |
| H A D | itensor.lisp | 122 (defun name (rp) (caar rp))
771 (cons (ncons (caar e))
853 ((or (eq (caar c) (caar e)) (null c)) (cond (c (cdar c)) (t nil)) )
1125 (or (eq (caar f) '%kdelta) (eq (caar f) '$kdelta))
1190 (or (eq (caar g) '$kdelta) (eq (caar g) '%kdelta)
1191 (eq (caar g) '$levi_civita) (eq (caar g) '%levi_civita)
1192 (eq (caar g) '$icurvature) (eq (caar g) '%icurvature)
1222 (eq (caar cf) (caar g))
1472 (t (caar f))))
2031 (eq (caar e) (caar x))
[all …]
|
| H A D | gener.lisp | 30 (cond ((or (atom e) (not (eq (caar e) 'mequal)))
68 (setq test (list (caar lhs) (length (cdadr lhs))
98 ((or (eq (caar e) 'mplus) (eq (caar e) 'mtimes))
109 ((eq (caar e) 'mplus)
111 ((or (eq (caar e) 'mtimes) (rpobj e))
119 (do ((p (cond ((eq (caar p) 'mtimes) (cdr p))
130 ((eq (caar obj) 'mplus)
175 ((or (eq (caar e) 'mplus) (eq (caar e) 'mtimes))
177 ((eq (caar e) '$sum)
306 (cond ((and (eq (caar e) g) (null (cdadr e))
[all …]
|
| /dports/lang/mit-scheme/mit-scheme-9.2/src/compiler/machines/mips/ |
| H A D | lapopt.scm | 42 (or (eq? 'LW (caar instructions))
43 (eq? 'LBU (caar instructions))
44 (eq? 'LWC1 (caar instructions))))
52 (eq? 'LABEL (caar instructions))
53 (eq? 'COMMENT (caar instructions)))
79 (or (not (and (eq? 'LWC1 (caar first))
|
| /dports/math/maxima/maxima-5.43.2/share/contrib/ |
| H A D | cgrind.lisp | 28 ((and (not (atom value)) (eq (caar value) 'mequal)
105 ((and (eq (caar e) 'mexpt) (eq (cadr e) '$%e))
108 ((and (eq (caar e) 'mexpt) (alike1 (caddr e) 1//2))
111 ((and (eq (caar e) 'mexpt) (alike1 (caddr e) -1//2))
114 ((and (eq (caar e) 'mtimes) (ratnump (cadr e))
119 ((eq (caar e) 'rat)
122 ((eq (caar e) 'mrat) (scanforc (ratdisrep e)))
124 ((and (member (caar e) '(mtimes mplus) :test #'eq)
|
| /dports/math/maxima/maxima-5.43.2/share/contrib/lurkmathml/ |
| H A D | mathml.lisp | 131 ((get (caar x) 'mathml) (funcall (get (caar x) 'mathml) x l r))
200 (if (eq 'mqapply (caar x))
205 (setq f (caar x)
233 (mathml (cadr x) (append l (mathmlsym (caar x))) r (caar x) rop))
239 (mathml (caddr x) (append l (mathmlsym (caar x))) r (caar x) rop))
242 (mathml (cadr x) l (append (mathmlsym (caar x)) r) lop (caar x)))
254 (defun mathml-nofix (x l r) (mathml (caar x) l r (caar x) rop))
259 r (append (cdr (mathmlsym (caar x))) r)
399 (f (and (not (atom fx)) (atom (caar fx)) (caar fx))) ; this is f [or nil]
756 ((eq 'mnot (caar (seventh x)))
[all …]
|
| /dports/lang/kawa/kawa-3.1.1/gnu/kawa/slib/ |
| H A D | srfi14.scm | 987 (set! (arr 0) (caar l))
1000 (let ((l1a ::int (caar l1))
1002 (l2a ::int (caar l2))
1022 (> (caar l2) (caar l1))))
1032 ((>= (cdar l2) (- (caar l1) 1) (- (caar l2) 1))
1046 ((> (caar l1) (+ 1 (cdar l2)))
1049 ((> (caar l2) (+ 1 (cdar l1)))
1070 ((> (caar l1) (caar l2)) ; (car l1) is a subset of (car l2)
1072 (cdr l1) `((,(caar l2) . ,(- (caar l1) 1)) ,@(cdr l2))))
1073 ((> (caar l2) (caar l1)) ; (car l2) is a subset of (car l1)
[all …]
|
| /dports/math/maxima/maxima-5.43.2/share/algebra/charsets/ |
| H A D | charsets_length.lisp | 96 ((and (listp (car y)) (eq (caar y) 'MTIMES) (eql (length (cdr y)) 2)
99 ((and (listp (car y)) (eq (caar y) 'MEXPT))
118 (cond ((and (listp (car x)) (eq (caar x) 'MPLUS)) ; sum
121 ((and (listp (car x)) (eq (caar x) 'MTIMES)) ; monomial
127 ((and (listp (car x)) (eq (caar x) 'MEXPT))
150 (cond ((and (listp x) (listp (car x)) (or (eq (caar x) 'MLIST) (eq (caar x) '$SET)))
|
| /dports/math/maxima/maxima-5.43.2/share/contrib/unit/ |
| H A D | unit-functions.lisp | 117 ((and (eq (caar x) 'mlist) (fixnump (cadr x))
124 (boundp (caar x))
125 (hash-table-p (setq z (symbol-value (caar x)))))
131 ((eq (caar x) '$@) (mrecord-kill x))
132 ((and (eq (caar x) '$allbut)
234 ((eq 'rat (caar form))
240 ((eq 'mplus (caar form)) (form-mplus form))
241 ((eq 'mtimes (caar form)) (unitmtimeswrapper form))
242 ((eq 'mexpt (caar form)) (form-mexpt form))
243 ((eq 'mrat (caar form)) (form-mrat form))
[all …]
|
| /dports/lang/gauche/Gauche-0.9.10/ext/sxml/src/ |
| H A D | sxpath.scm | 65 (eq? 'or@ (caar path)))
72 (eq? 'not@ (caar path)))
99 ((and (pair? (car path)) (eq? 'equal? (caar path)))
104 ((and (pair? (car path)) (eq? 'ns-id:* (caar path)))
109 ((and (pair? (car path)) (eq? 'eq? (caar path)))
117 (symbol? (caar path))
119 ((select-kids (ntype?? (caar path))) node))
120 (sxpath (caar path)))))
|