| /dports/math/maxima/maxima-5.43.2/src/ |
| H A D | mdot.lisp | 93 (defprop mnctimes (mequal) distribute_over) unknown
142 (simplifya (outermap1 'mnctimes first-factor remainder) t))
174 (t (eqtest (list '(mnctimes) first-factor remainder) check)))))
354 (outer-product (list '(mnctimes) first-factor (car remainder))))
372 (cons '(mnctimes)
380 (cons '(mnctimes) (cddr outer-product)))))
384 (cond ((and (get 'mnctimes '$antisymmetric) (cddr l))
388 (setq l (eqtest (cons '(mnctimes) l) check)))
391 (t (eqtest (cons '(mnctimes) l) check))))
|
| H A D | opers.lisp | 143 (simplifya `((mnctimes) ,x ,y) t))
146 (simplifya `((mnctimes) . ,factors) flag))
|
| H A D | comm2.lisp | 74 (push (list '(mnctimes) (list '(mncexpt) base* i)
75 (list '(mnctimes) deriv
84 (list '(mnctimes) (list '(mncexpt) base* index)
85 (list '(mnctimes) deriv
101 ((eq (caar e) 'mnctimes)
107 (stotaldiff (list '(mnctimes) (cadr e)
|
| H A D | trans4.lisp | 20 (def%tr mnctimes (form) unknown
|
| H A D | todd-coxeter.lisp | 282 (mnctimes (apply #'append (mapcar #'(lambda (rel) (coerce-rel neg vars rel)) (cdr rel))))
|
| H A D | mactex.lisp | 633 (defprop mnctimes tex-nary tex) unknown
634 (defprop mnctimes ("\\cdot ") texsym) unknown
|
| H A D | simp.lisp | 147 (defprop mnctimes t associative) unknown
162 (dolist (x '(mplus mtimes mnctimes mexpt mncexpt %sum))
170 (mnctimes simpnct) (mquotient simpquot) (mexpt simpexpt)
241 (defun mnctimesp (x) (and (not (atom x)) (eq (caar x) 'mnctimes)))
3240 ((eq (caar arg1) 'mnctimes)
3256 (cons '(mnctimes)
|
| H A D | comm.lisp | 54 (mnctimes ".") (rat "/") (mquotient "/") (mncexpt "^^")
492 ((eq (caar e) 'mnctimes)
495 (ncmul2 (cadr e) (sdiff (cons '(mnctimes) (cddr e)) x)))))
|
| /dports/math/maxima/maxima-5.43.2/share/affine/ |
| H A D | polya.lisp | 98 (mnctimes (list poly))
126 (mnctimes (setq monomial term))
160 (mnctimes premonomial)
560 (mnctimes simp)(mnctimes)) :test #'equal) nil)
562 (mnctimes simp)(mnctimes)) :test #'equal)
610 ((equal (caar adp) 'mnctimes)
914 ((equal (caar monom) 'mnctimes)
974 ((equal (caar x) 'mnctimes))))
1676 ((eq (caar f) 'mnctimes) f)
1914 ((equal (caar adp) 'mnctimes)
[all …]
|
| H A D | ndotsimp.lisp | 28 (t (cons '(mnctimes) lis))))
170 (meval* (cons '(mnctimes)
|
| H A D | dim4-help.lisp | 233 (cond ((and (consp (car x)) (eq (caar x) 'mnctimes))
244 (cond ((and (consp (car x)) (eq (caar x) 'mnctimes))
|
| H A D | polyb.lisp | 127 (simplifya `((mnctimes) ,x ,y) nil))
188 ((eq (caar expression) 'mnctimes)(cond ((contains-a-zero-replacement (cdr expression))
199 ((eq (caar expression) 'mnctimes)(cond ((contains-a-replacement (cdr expression))
936 (mnctimes nil)
|
| H A D | modsimp.lisp | 438 (cond ((eql (caar a) 'mnctimes)
445 (t (cons '(mnctimes) a))))
833 (displa (list '(mequal) pol (cons '(mnctimes) (cdr v) ))))
|
| H A D | polyc.lisp | 440 ($ratsimp (subst 'mtimes 'mnctimes ($commutative_dot_monomials '((mlist) $x $y) 4))))
968 (resimplify (subst 'mtimes 'mnctimes expr)))
|
| /dports/math/maxima/maxima-5.43.2/share/linearalgebra/ |
| H A D | mring.lisp | 385 (take '(mnctimes) a b))))
392 (take '(mnctimes) b a))))
404 (take '(mnctimes) a b))))
|
| /dports/math/maxima/maxima-5.43.2/share/contrib/lurkmathml/ |
| H A D | mathml.lisp | 438 (defprop mnctimes mathml-nary mathml) unknown
439 (defprop mnctimes "<mi>⋯</mi> " mathmlsym) unknown
440 (defprop mnctimes 110. mathml-lbp) unknown
441 (defprop mnctimes 109. mathml-rbp) unknown
|
| /dports/math/maxima/maxima-5.43.2/share/tensor/ |
| H A D | itensor.lisp | 2117 ((eq (caar e) 'mnctimes)
2119 (list '(mnctimes)
2122 (list '(mnctimes)
2233 (setq ans (cons (list '(mnctimes) (list '(mncexpt) base* i)
2234 (list '(mnctimes) deriv
2243 (list '(mnctimes) (list '(mncexpt) base* index)
2244 (list '(mnctimes) deriv
2326 ((eq (caar e) 'mnctimes)
2328 (list '(mnctimes)
2331 (list '(mnctimes)
[all …]
|
| H A D | atensor.mac | 70 paid to the fact that mnctimes can have multiple arguments;
|
| /dports/math/maxima/maxima-5.43.2/interfaces/emacs/imaxima/ |
| H A D | imaxima.lisp | 372 (defprop mnctimes 110. tex-lbp) unknown
373 (defprop mnctimes 109. tex-rbp) unknown
|
| /dports/math/maxima/maxima-5.43.2/share/vector/ |
| H A D | vector_rebuild.lisp | 198 ((member op '(mplus mnctimes crossq) :test #'eq)
|
| /dports/math/maxima/maxima-5.43.2/share/amatrix/ |
| H A D | amatrix.lisp | 263 `((mnctimes) ,m1 ,m2)))))
|
| /dports/math/wxmaxima/wxmaxima-Version-20.04.0/data/ |
| H A D | wxMathML.lisp | 758 (defprop mnctimes wxxml-nary wxxml)
759 (defprop mnctimes "<mo>.</mo>" wxxmlsym)
760 (defprop mnctimes "<mo>.</mo>" wxxmlword)
761 (defprop mnctimes 110. wxxml-lbp)
762 (defprop mnctimes 109. wxxml-rbp)
|
| /dports/math/maxima/maxima-5.43.2/share/contrib/unit/ |
| H A D | unit-functions.lisp | 42 ((eq x '$dotassoc) (cput 'mnctimes y 'associative))
|
| /dports/math/maxima/maxima-5.43.2/share/contrib/maximaMathML/ |
| H A D | CtMathML.lisp | 401 (setup '(mnctimes (ctfun "times type=\"noncommutative\"/")))
|
| /dports/math/maxima/maxima-5.43.2/share/contrib/ |
| H A D | tex2ooo.lisp | 284 (defprop mnctimes (" cdot ") texsym) unknown
|