| /dports/math/maxima/maxima-5.43.2/share/to_poly_solve/ |
| H A D | to_poly_solve_extra.lisp | 71 (t `((%and simp) ,@(margs e))))))
126 (t `((%or simp) ,@(margs e))))))
140 `(($%union simp) ,@e)))
156 (setq cnd (standardize-inequality ($substitute '%or 'mor ($substitute '%and 'mand cnd))))
157 (setq cnd ($substitute '%or 'mor ($substitute '%and 'mand cnd)))
163 (if (like a b) a `(($%if simp) ,cnd ,a ,b))))))
176 (t `(($%integerp simp) ,e)))))
190 (t `(($isnonnegative_p simp) ,e))))
192 (t `(($isnonnegative_p simp) ,e)))))
|
| /dports/math/maxima/maxima-5.43.2/src/ |
| H A D | acall.lisp | 133 ,@(mapcar #'(lambda (u) `((mquote simp) ,u)) all-inds))
139 ,@(mapcar #'(lambda (u) `((mquote simp) ,u)) all-inds))
294 (cond ((and (not (atom pat)) (member (caar pat) '(mnot mand mor) :test #'eq))
296 ((eq 'mand (caar pat)) (is-mand_tr (cdr pat) error? meval?))
299 ((member (caar patevalled) '(mnot mand mor) :test #'eq) (mevalp1_tr patevalled
314 (t (cons '(mand) (nreverse npl)))))
366 (l () (cons (list '(mequal simp) (nth j args) (nth (1+ j) args)) l)))
367 ((< j 0) (cons '(mlist simp) l))))
|
| H A D | nset.lisp | 125 `(($set simp) ,@a))
167 `(($set simp) ,@a)))
212 `(($set simp) ,@acc)))
304 (cons `($set simp)
388 `(($set simp) ,@acc))))
608 `(($set simp)))
769 `(($set simp) ,@acc))
771 (if len `(($integer_partitions simp) ,n ,len) `(($integer_partitions simp) ,n))))))
1080 (t `(($belln simp) ,n))))
1145 (def-nary 'mand (s) (mevalp (cons '(mand) s)) t) unknown
[all …]
|
| H A D | compar.lisp | 334 `((,(caar x) simp) ,a))))
363 (putprop 'mand t 'opers)
378 (t (cons '(mand simp) (reverse simplified)))))
392 (t (cons '(mor simp) (reverse simplified)))))
410 (t `((mnot simp) ,arg)))
433 ((eq arg-op 'mand)
439 (t `((mnot simp) ,arg)))))))
523 ((eq 'mand (caaar x))
644 ((eq 'mand (caaar x))
655 (cons '(mlist simp) (mapcar #'forget1 (cdr pat))))
[all …]
|
| H A D | comm.lisp | 56 (mnotequal "#") (mand "and") (mor "or") (mnot "not") (msetq ":")
69 (defvar $gradefs '((mlist simp)))
70 (defvar $dependencies '((mlist simp)))
349 (setq $dependencies (copy-list '((mlist simp)))))
361 (cons '(mlist simp) (reverse res)))
727 (delete 'simp (copy-list e) :count 1 :test #'eq))
763 (if lablist (setq lablist (cons '(mlist simp) nil)))
772 (setq ans (list '(mequal simp) (disp2 l) ans)))
823 (member 'simp (cdar e) :test #'eq))
825 (cons (cons (caar e) (cons 'simp (cdar e)))
[all …]
|
| H A D | mactex.lisp | 692 (tex `((min simp) , (caddr x), (cadddr x)) nil nil 'mparen 'mparen)))
706 (tex `((mequal simp) ,(caddr x),(cadddr x)) nil nil 'mparen 'mparen))
735 (tex `((mequal simp) ,(caddr x),(cadddr x))
831 (defprop mand tex-nary tex) unknown
832 (defprop mand ("\\land ") texsym) unknown
|
| H A D | matcom.lisp | 32 (member (caaadr x) '(mand mor mnot mcond mprog) :test #'eq)))
409 '(rule-hit ans) '((and (not dosimp) (member 'simp (cdar x) :test #'eq))x)
|
| /dports/math/maxima/maxima-5.43.2/interfaces/emacs/imaxima/ |
| H A D | imaxima.lisp | 59 (defmvar $wxplot_size '((mlist simp) 400 250))
450 (defprop mand 80. tex-lbp) unknown
451 (defprop mand 80. tex-rbp) unknown
617 ((mlist simp) $gnuplot_term $ps)
638 ((mlist simp) $gnuplot_term $ps)
670 ((mequal simp) $terminal $eps_color)
676 ((mequal simp) $file_name ,filename))
698 ((mlist simp) $plot_format $gnuplot)
700 ((mlist simp) $gnuplot_term $ps)
719 ((mlist simp) $plot_format $gnuplot)
[all …]
|
| /dports/math/maxima/maxima-5.43.2/share/logic/ |
| H A D | Ksimplifier.lisp | 118 (cons '(mor simp) (mapcar
124 (cond ((equal bit 0) `((mnot simp) ,variable))
131 (cons '(mand simp) implicant-maxima-expr))))
|
| H A D | logic.lisp | 32 (defvar *and-op* 'mand)
181 (t (list (list *implies-op* 'simp) x y))))
192 (t (cons (list *nor-op* 'simp) (sort-symbols args)))))
203 (t (cons (list *nand-op* 'simp) (sort-symbols args)))))
211 (t (cons (list *eq-op* 'simp) (sort-symbols args)))))
219 (t (cons (list *xor-op* 'simp) (sort-symbols args)))))
246 (cons (list *and-op* 'simp) (sort-symbols args))))))
261 (cons (list *or-op* 'simp) (sort-symbols args))))))
269 (t (list (list *not-op* 'simp) x))))
334 (cons '(mlist simp) (apply 'characteristic-vector (cons expr args))))
[all …]
|
| /dports/math/wxmaxima/wxmaxima-Version-20.04.0/data/ |
| H A D | wxMathML.lisp | 1031 (defprop mand wxxml-nary wxxml)
1032 (defprop mand "<mspace/><fnm>and</fnm><mspace/>" wxxmlsym)
1033 (defprop mand "<fnm>and</fnm>" wxxmlword)
1034 (defprop mand 60. wxxml-lbp)
1035 (defprop mand 60. wxxml-rbp)
1474 (list '(wxxmltag simp)
1482 (list '(wxxmltag simp)
1575 `((mlist simp)
1606 `((mlist simp)
1684 (cons '(mlist simp)
[all …]
|
| /dports/math/maxima/maxima-5.43.2/share/contrib/lurkmathml/ |
| H A D | mathml.lisp | 497 (mathml `((min simp) , (caddr x), (cadddr x)) nil nil 'mparen 'mparen)))
508 (mathml `((mequal simp) ,(caddr x),(cadddr x)) nil nil 'mparen 'mparen))
535 (mathml `((mrarr simp) ,(third x) ,(fourth x)) nil nil 'mparen 'mparen)))
633 (defprop mand mathml-nary mathml) unknown
634 (defprop mand ("<mo>∧</mo> ") mathmlsym) unknown
635 (defprop mand 60. mathml-lbp) unknown
636 (defprop mand 60. mathml-rbp) unknown
|
| /dports/math/maxima/maxima-5.43.2/share/contrib/ |
| H A D | tex2ooo.lisp | 327 (tex `((min simp) , (caddr x), (cadddr x)) nil nil 'mparen 'mparen)))
340 (tex `((mequal simp) ,(caddr x),(cadddr x)) nil nil 'mparen 'mparen))
363 (tex `((mequal simp) ,(caddr x),(cadddr x))
419 (defprop mand (" and ") texsym) unknown
|
| /dports/math/maxima/maxima-5.43.2/doc/info/es/ |
| H A D | maxima.info-1 | 4723 and 65 nary a and b ((mand) $A $B)
4961 (%i1) simp : false;
4967 (%i3) simp : true;
6184 * 'simp' causa que <expr> sea simplificada sin importar el
6185 valor de la variable interruptor 'simp' la cual inhibe la
6264 Los interruptores 'simp', 'numer' y 'float' pueden tambi�n ser
6389 ratmx ratsimpexpons simp
6403 (%i4) simp : false;
6407 (%i6) 1 + 1, simp;
6409 (%i7) simp : true;
[all …]
|
| /dports/math/maxima/maxima-5.43.2/doc/info/es.utf8/ |
| H A D | maxima.info-1 | 4723 and 65 nary a and b ((mand) $A $B)
4961 (%i1) simp : false;
4967 (%i3) simp : true;
6184 * 'simp' causa que <expr> sea simplificada sin importar el
6185 valor de la variable interruptor 'simp' la cual inhibe la
6264 Los interruptores 'simp', 'numer' y 'float' pueden también ser
6389 ratmx ratsimpexpons simp
6403 (%i4) simp : false;
6407 (%i6) 1 + 1, simp;
6409 (%i7) simp : true;
[all …]
|
| /dports/audio/espeak/espeak-1.48.04-source/dictsource/ |
| H A D | da_rules | 389 mand) ag (s ?& // mandagsmiddag
1527 _) beg (mand baI
2265 simp) e (l @- // simpelthen
6272 gour) mand %mAN // gourmand
6273 _gour) mand m''AN // gourment
7989 _f) or (mand+ 'O: // formand, formandsskifte
10114 sp) å (mand V //
10172 str) å (mand ?V //
|
| /dports/textproc/es-hyphen/es-hyphen-2013.09.01,1/ |
| H A D | th_es_ES_v2.idx | 14257 mand�bula|1939180
14258 mand�n|1939552
19370 simp�tico|2586206
|
| /dports/textproc/es-mythes/es-mythes-20140516/ |
| H A D | th_es_ES_v2.idx | 14310 mand�bula|1971176
14311 mand�n|1971555
19414 simp�tico|2629641
|
| /dports/textproc/es-hunspell/es-hunspell-2.2/ |
| H A D | th_es_ES_v2.idx | 14257 mand�bula|1939180
14258 mand�n|1939552
19370 simp�tico|2586206
|
| /dports/math/maxima/maxima-5.43.2/doc/info/de/ |
| H A D | maxima.info-1 | 7029 and 65 nary a and b ((mand) $A $B)
7240 (%i1) simp : false;
7246 (%i3) simp : true;
|
| /dports/math/maxima/maxima-5.43.2/doc/info/de.utf8/ |
| H A D | maxima.info-1 | 7029 and 65 nary a and b ((mand) $A $B)
7240 (%i1) simp : false;
7246 (%i3) simp : true;
|
| /dports/games/wesnoth/wesnoth-1.14.17/po/wesnoth-dw/ |
| H A D | pt.po | 1758 "Vós, homens-peixe loucos estão a atacar-nos? Após tentar ser simpático? Já "
2418 "teste de Tyegëa. Sentia-se, por vezes, irritado com Tyegëa por mandá-lo "
|
| /dports/security/py-xkcdpass/xkcdpass-xkcdpass-1.17.4/xkcdpass/static/ |
| H A D | pt-pt-ipublicis | 21565 mandão
21573 mandíbula
31199 simpático
31214 simpósio
|
| H A D | pt-ipublicis | 21565 mandão
21573 mandíbula
31199 simpático
31214 simpósio
|
| /dports/mail/thunderbird-dictionaries/dictionaries/spell-pt.xpi/ |
| H A D | pt.dic | 19475 mand�o/p
19476 mand�bula/p
28279 simp�tico/Hfp
28280 simp�sio/p
|