| /dports/math/maxima/maxima-5.43.2/share/to_poly_solve/ |
| H A D | to_poly_solve_extra.lisp | 59 (setq not-e (opapply '$set (mapcar #'(lambda (s) (take '(mnot) s)) (margs e))))
71 (t `((%and simp) ,@(margs e))))))
114 (setq not-e (opapply '$set (mapcar #'(lambda (s) (take '(mnot) s)) (margs e))))
126 (t `((%or simp) ,@(margs e))))))
140 `(($%union simp) ,@e)))
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))
295 (cond ((eq 'mnot (caar pat)) (is-mnot_tr (cadr pat) error? meval?))
299 ((member (caar patevalled) '(mnot mand mor) :test #'eq) (mevalp1_tr patevalled
366 (l () (cons (list '(mequal simp) (nth j args) (nth (1+ j) args)) l)))
367 ((< j 0) (cons '(mlist simp) l))))
|
| H A D | compar.lisp | 334 `((,(caar x) simp) ,a))))
378 (t (cons '(mand simp) (reverse simplified)))))
392 (t (cons '(mor simp) (reverse simplified)))))
410 (t `((mnot simp) ,arg)))
429 ((eq arg-op 'mnot)
439 (t `((mnot simp) ,arg)))))))
495 (take '(mnot) pred))
526 ((eq 'mnot (caaar x))
655 (cons '(mlist simp) (mapcar #'forget1 (cdr pat))))
708 (defmspec mnot (form) unknown
[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))
828 (defprop mnot tex-prefix tex) unknown
829 (defprop mnot ("\\neg ") texsym) unknown
1039 ((eq 'mnot (caar (seventh x)))
1048 ((eq 'mnot (caar (seventh x)))
|
| 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 | 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)
|
| H A D | plot.lisp | 276 (dummy '($polygon simp))
363 `(($matrix simp)
364 ((mlist simp) ,(* cosph costh)
367 ((mlist simp) ,sinth ,costh 0.0)
368 ((mlist simp) ,(- (* sinph costh))
526 (subscripted-vars ($sublist vars '((lambda) ((mlist) $x) ((mnot) (($atom) $x)))))
|
| /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 | 30 (defvar *not-op* 'mnot)
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 | 1026 (defprop mnot wxxml-prefix wxxml)
1027 (defprop mnot ("<fnm altCopy=\"not \">not</fnm>") wxxmlsym)
1028 (defprop mnot "<fnm>not</fnm>" wxxmlword)
1029 (defprop mnot 70. wxxml-rbp)
1175 ((eq 'mnot (caar (seventh x)))
1186 ((eq 'mnot (caar (seventh x)))
1474 (list '(wxxmltag simp)
1575 `((mlist simp)
1606 `((mlist simp)
1684 (cons '(mlist simp)
[all …]
|
| /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))
418 (defprop mnot (" not ") texsym) unknown
483 ((eq 'mnot (caar (seventh x)))
497 ((eq 'mnot (caar (seventh x)))
|
| /dports/math/maxima/maxima-5.43.2/interfaces/emacs/imaxima/ |
| H A D | imaxima.lisp | 59 (defmvar $wxplot_size '((mlist simp) 400 250))
448 (defprop mnot 70. tex-rbp) unknown
615 ((mlist simp) $plot_format $gnuplot)
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/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)))
629 (defprop mnot mathml-prefix mathml) unknown
630 (defprop mnot ("<mo>¬</mo> ") mathmlsym) unknown
631 (defprop mnot 70. mathml-rbp) unknown
756 ((eq 'mnot (caar (seventh x)))
765 ((eq 'mnot (caar (seventh x)))
|
| /dports/math/maxima/maxima-5.43.2/doc/info/es/ |
| H A D | maxima.info-1 | 4722 not 70 prefix not a ((mnot) $A)
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 | 4722 not 70 prefix not a ((mnot) $A)
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/de/ |
| H A D | maxima.info-1 | 7028 not 70 prefix not a ((mnot) $A)
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 | 7028 not 70 prefix not a ((mnot) $A)
7240 (%i1) simp : false;
7246 (%i3) simp : true;
|