Home
last modified time | relevance | path

Searched +refs:simp +refs:mor (Results 1 – 25 of 100) sorted by relevance

1234

/dports/math/maxima/maxima-5.43.2/share/to_poly_solve/
H A Dto_poly_solve_extra.lisp71 (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 Dacall.lisp133 ,@(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))
299 ((member (caar patevalled) '(mnot mand mor) :test #'eq) (mevalp1_tr patevalled
325 (t (cons '(mor) (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 Dnset.lisp125 `(($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))))
1146 (def-nary 'mor (s) (mevalp (cons '(mor) s)) nil) unknown
[all …]
H A Dcompar.lisp334 `((,(caar x) simp) ,a))))
364 (putprop 'mor t 'opers)
378 (t (cons '(mand simp) (reverse simplified)))))
392 (t (cons '(mor simp) (reverse simplified)))))
410 (t `((mnot simp) ,arg)))
436 ((eq arg-op 'mor)
439 (t `((mnot simp) ,arg)))))))
528 ((eq 'mor (caaar x))
648 ((eq 'mor (caaar x))
655 (cons '(mlist simp) (mapcar #'forget1 (cdr pat))))
[all …]
H A Dcomm.lisp56 (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 Dmactex.lisp692 (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))
834 (defprop mor tex-nary tex) unknown
835 (defprop mor ("\\lor ") texsym) unknown
H A Dmatcom.lisp32 (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 Dimaxima.lisp59 (defmvar $wxplot_size '((mlist simp) 400 250))
453 (defprop mor 50. tex-lbp) unknown
454 (defprop mor 50. 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 DKsimplifier.lisp118 (cons '(mor simp) (mapcar
124 (cond ((equal bit 0) `((mnot simp) ,variable))
131 (cons '(mand simp) implicant-maxima-expr))))
H A Dlogic.lisp34 (defvar *or-op* 'mor)
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 DwxMathML.lisp1037 (defprop mor wxxml-nary wxxml)
1038 (defprop mor "<mspace/><fnm>or</fnm><mspace/>" wxxmlsym)
1039 (defprop mor "<fnm>or</fnm>" wxxmlword)
1040 (defprop mor 50. wxxml-lbp)
1041 (defprop mor 50. 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 Dmathml.lisp497 (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)))
638 (defprop mor mathml-nary mathml) unknown
639 (defprop mor ("<mo>&or;</mo> ") mathmlsym) unknown
691 (defprop mor mathml-nary mathml) unknown
692 (defprop mor 50. mathml-lbp) unknown
693 (defprop mor 50. mathml-rbp) unknown
/dports/math/maxima/maxima-5.43.2/share/contrib/
H A Dtex2ooo.lisp327 (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))
420 (defprop mor (" or ") texsym) unknown
/dports/math/maxima/maxima-5.43.2/doc/info/es/
H A Dmaxima.info-14724 or 60 nary a or b ((mor) $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 Dmaxima.info-14724 or 60 nary a or b ((mor) $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/chinese/gcin-qt5/gcin-2.9.0/data/
H A DNewCJ3.cin25536 mor; 一個
25537 mor; 配合
25538 mor; 電信
25540 mor; 不知
25541 mor; 零售
25542 mor; 融合
31984 mor 咨
75687 simp ��
86841 mor; 兩個
86842 mor; 三個
[all …]
/dports/chinese/gcin/gcin-2.9.0/data/
H A DNewCJ3.cin25536 mor; 一個
25537 mor; 配合
25538 mor; 電信
25540 mor; 不知
25541 mor; 零售
25542 mor; 融合
31984 mor 咨
75687 simp ��
86841 mor; 兩個
86842 mor; 三個
[all …]
/dports/chinese/gcin-gtk3/gcin-2.9.0/data/
H A DNewCJ3.cin25536 mor; 一個
25537 mor; 配合
25538 mor; 電信
25540 mor; 不知
25541 mor; 零售
25542 mor; 融合
31984 mor 咨
75687 simp ��
86841 mor; 兩個
86842 mor; 三個
[all …]
/dports/games/wesnoth/wesnoth-1.14.17/po/wesnoth-dw/
H A Dca.po1555 "simpàtics? Acabarem amb vosaltres d'una vegada per totes."
1712 "peix realment simpàtic."
2413 "més vell, però mai morí. Bé, ARA és mort, és clar. Encara passa el temps en "
3213 "Quan un rei sirènid mor, el següent de la línia esdevé rei tingui l'edat que "
/dports/security/py-xkcdpass/xkcdpass-xkcdpass-1.17.4/xkcdpass/static/
H A Dpt-pt-ipublicis1077 alcaide-mor
1349 altar-mor
6301 capela-mor
6328 capitão-mor
7273 chanceler-mor
23028 mor
30565 sargento-mor
31199 simpático
31214 simpósio
H A Dpt-ipublicis1077 alcaide-mor
1349 altar-mor
6301 capela-mor
6328 capitão-mor
7273 chanceler-mor
23028 mor
30565 sargento-mor
31199 simpático
31214 simpósio
/dports/audio/espeak/espeak-1.48.04-source/dictsource/
H A Dda_rules2265 simp) e (l @- // simpelthen
5694 _hæmor) i (d 'i // hæmorider
6311 maurice mor'is // name
6996 m) oder ?or // pronounced like "mor"
7163 salt) o (mor ?o // saltomortale
8011 _f) or (mor+ 'O:: // formor - like forefather
/dports/editors/texstudio/texstudio-4.1.2/utilities/dictionaries/
H A Dpt_PT-Portuguese.dic202752 mor/J
276536 simpático/DK13ÂÌ
276587 simpátrico/D
276591 simpétalo/D
276594 simpéxio/B
276662 simpódico/DK
276664 simpódio/B
276666 simpódito/B
276671 simpósio/B
276673 simpótico/DK13
[all …]
/dports/editors/texmaker/texmaker-5.0.3/dictionaries/
H A Dca_CA.dic71266 mor/CE
71338 mor�/H
71422 mor�
71427 mor�em
71430 mor�eu
71457 mor�s
95478 simp�tic/F
95479 simp�ticament
95485 simp�tal/F
95508 simp�dic/F
[all …]
/dports/math/maxima/maxima-5.43.2/doc/info/de/
H A Dmaxima.info-17030 or 60 nary a or b ((mor) $A $B)
7240 (%i1) simp : false;
7246 (%i3) simp : true;

1234