| /dports/math/maxima/maxima-5.43.2/src/ |
| H A D | laplac.lisp | 376 (defun mostpart (f parm sign a b)
380 (list '(mplus) parm (afixsign (list '(mtimes) a '$%i) sign))))))
384 (exponentiate (afixsign (list '(mtimes) b '$%i) (null sign)))
489 (sign nil)
494 (simplifya (cond ((eq sign '$positive)
496 ((eq sign '$zero)
837 (prog (discrim sign a c d e b1 b0 r term1 term2 degr)
871 (cond ((eq sign '$zero)
876 ) ((eq sign '$negative)
881 (setq sign
[all …]
|
| H A D | trigo.lisp | 469 (sign 1 (* flag sign))
472 (setq result (mpc (cond ((minusp sign) '(-1 (mtimes)))
477 (sign 1 (* flag sign))
482 (setq num (mpc1 (list sign '(mtimes)) l num f len i)
484 (t (mpc1 (list (* flag sign) '(mtimes)) l den f len (1+ i)))))))
487 (do ((i (length l) (- i 2)) (len (length l)) (sign 1 (* flag sign)) (num) (den))
489 (setq num (mpc1 (list sign '(mtimes)) l num f len i)
491 (t (mpc1 (list sign '(mtimes)) l den f len (1- i)))))))
496 ((null l) (cons '(mtimes) result))
503 (setq f1 (cons-exp f1 (cons '(mtimes) l)) f2 (cons-exp f2 (cons '(mtimes) l)))
[all …]
|
| H A D | sinint.lisp | 170 `((%lsum) ((mtimes)
178 (prog (p1e p2e a1e a2e a3e discrim repart sign ncc dcc allcc xx deg)
231 (setq sign (npask xx))
232 (cond ((eq sign '$negative) (go e30))
233 ((eq sign '$zero) (go zip))))
238 (list '(mtimes)
243 (list '(mtimes)
255 (list '(mtimes)
259 '(mtimes)
281 (list '(mtimes)
[all …]
|
| H A D | specfn.lisp | 420 (prog ((e 0) (sign 0) npw)
421 (declare (fixnum e) (fixnum sign))
436 sign (if (< subl 1) -1 (expt -1 subl)))
437 a (setq e (1+ e) sign (- sign))
447 (cond ((= subl -1) (cons sign k))
448 ((= subl 0) (cons sign 1))
450 (cons (* sign *last*) 1)
560 ((mtimes)
569 ((mtimes)
816 ((mtimes)
[all …]
|
| H A D | combin.lisp | 92 (list '(mtimes)
206 ((eq (caar e) 'mtimes)
757 (let ((w 2) (x 2) (y 1) u v (sign (signum n))) (declare (fixnum sign))
767 ((or (= 1 sign) (not (logbitp 0 n)))
1198 (defun ipoly2 (a n lo sign)
1206 (cond ((eq sign '$negative)
1207 (list '(mtimes) a ($zeta (meval (list '(mtimes) -1 n)))))
1232 (defun isgeo1 (a r sign)
1233 (cond ((eq sign '$positive)
1235 ((eq sign '$zero)
[all …]
|
| H A D | rat3e.lisp | 615 ((eq (caar x) 'mtimes)
688 ((eq (caar e) 'mtimes)
719 '(mtimes)
1001 (defun cdisrep (x &aux n d sign)
1004 (t (setq sign (cond ($ratexpand (setq n (pdisrep (car x))) 1)
1010 (list '(rat) (* sign n) d))
1016 (list '(mtimes ratsimp)
1017 (list '(rat) sign d) n))
1018 ((equal sign -1)
1019 (cons '(mtimes ratsimp)
[all …]
|
| H A D | bessel.lisp | 77 ((mtimes)
92 ((mtimes)
108 ((mtimes) $%pi
111 ((mtimes)
124 `((mtimes)
756 ((mtimes)
775 ((mtimes)
1110 ((mtimes) ((%bessel_k) ((mtimes) 2 ,k) ,z)
1392 (sign (if (oddp n) -1 1))
1395 (mul sign
[all …]
|
| H A D | gamma.lisp | 245 ((mtimes)
1286 ((mtimes)
1489 ((mtimes)
2604 ((mtimes)
2695 ((mtimes)
3026 (sign 1)
3036 (setq sum (+ sum (/ (* sign term) n)))
3040 (setq sign (- sign))
3342 ((mtimes)
3740 ((mtimes)
[all …]
|
| H A D | simp.lisp | 388 ((not (eq (caar x) 'mtimes)) 1)
1771 (let (sign out)
1774 (setq sign (cadr sc)) (rplaca (cdr sc) nil))
1789 (outermap1 'mtimes
1793 (cond (sign (if (mtimesp out)
1794 (rplacd out (cons sign (cdr out)))
1795 (list '(mtimes) sign out)))
2177 (simptimes (list '(mtimes)
2931 ((and (eq (caar pot) 'mtimes)
3192 ((or (eq cx 'mtimes) (eq cy 'mtimes))
[all …]
|
| H A D | hayat.lisp | 1215 (eq (caar expt) 'mtimes)
1728 (setq sign (e* sign chng))))
1758 sign (e* sign chng))))
1768 sign (e* chng sign))
1783 sign (e* chng sign))
1797 sign (e* chng sign))
1809 sign (* sign chng))
2543 (taylor2 `((mtimes)
2546 ((mtimes)
2596 `((mtimes) -1 $%i ((mplus) ,half%pi ((mtimes) -1 ((%asin) ,arg)))))
[all …]
|
| H A D | matrix.lisp | 82 (diagmatrix (length mat) (list '(mtimes) -1 var) '$charpoly))))
86 (list '(mtimes) -1 var)
196 (prog (e minor i d sign ans)
197 (setq ans 0 sign -1 i id)
199 (setq d (car i) i (cdr i) sign (* -1 sign))
207 (add ans (mul sign e minor)) ;fast common case
211 (list sign e minor)
276 (setq k (cond ($detout `((mtimes)
458 (cond ((and (null u) (null v)) (list '(mtimes) x y))
580 (simptimes (list '(mtimes) y (car row)) 1 nil)
[all …]
|
| H A D | trigi.lisp | 31 (defvar %pi//4 '((mtimes simp) ((rat simp) 1 4.) $%pi))
32 (defvar %pi//2 '((mtimes simp) ((rat simp) 1 2) $%pi))
33 (defvar sqrt3//2 '((mtimes simp)
36 (defvar -sqrt3//2 '((mtimes simp)
201 (frob mtimes #'*)
697 ((or (eq y '$inf) (alike1 y '((mtimes) -1 $minf)))
780 ((eq 'mtimes (caar form)) (lin-mtimes form))
901 (let (sign)
902 (setq sign (csign x))
903 (or (member sign '($neg $nz) :test #'eq)
[all …]
|
| H A D | newdet.lisp | 132 (prog (rr k j old new vlist m loc addr sign)
152 (newvar (cons '(mtimes) vlist))
177 (setq sign 1))
183 (setq sign (- sign)))
189 (cond ((or (= sign 1) perm)
|
| H A D | float.lisp | 632 (sign nil))
634 (setq sign t
640 (when sign (princ "-"))
648 (when sign (princ "-"))
723 (list (ash (* sign frac) scale)
774 ($bfloat '((mtimes simp)
804 (defprop mtimes timesbigfloat floatprog) unknown
874 (let ((sign (if plusp 1 -1)))
875 (list (* sign bits) 0))))
1706 n ($bfloat `((mtimes) $%pi ,n)))
[all …]
|
| H A D | compar.lisp | 79 (simplify (cons '(mtimes) l)))
914 (if minus (setq sign (flip sign)))
1278 (sign exp))
1309 (list 'mtimes 'sign-mtimes)
1447 (setq sign (flip sign)))
1570 (or (eq sign '$complex) (eq sign '$imaginary)))
1713 (setq sign
1909 (setf (get 'mtimes 'maps-integers-to-integers) t)
1933 ((eq x-op 'mtimes)
2064 ((eq 'mtimes (caar e)) (evod-mtimes e))
[all …]
|
| /dports/math/octave-forge-interval/interval-3.2.0/inst/@infsup/ |
| H A D | mtimes.m | 18 ## @defop Method {@@infsup} mtimes (@var{X}, @var{Y})
19 ## @defopx Method {@@infsup} mtimes (@var{X}, @var{Y}, @var{ACCURACY})
49 function result = mtimes (x, y, accuracy) function
62 result = mtimes (x, y);
89 ['mtimes: rounding modes not supported, falling ', ...
100 ## mtimes could also be computed with a for loop and the dot operation.
122 rhoA = sign (mA) .* min (abs (mA), rA);
123 rhoB = sign (mB) .* min (abs (mB), rB);
161 %!assert (mtimes (infsup ([1, 2; 7, 15], [2, 2; 7.5, 15]), infsup ([3, 3; 0, 1], [3, 3.25; 0, 2]), …
|
| /dports/math/maxima/maxima-5.43.2/share/misc/ |
| H A D | seqopt.lisp | 146 (cond ((cdr x) `((mtimes) ,@x))
159 ((eq 'mtimes (caar x))
230 `((mtimes) ((%sqrt) ,sym-base)
252 ((eq (caar x) 'mtimes)
254 (let ((sign (cadr x)))
255 (cond ((and (fixnump sign) (minusp sign))
256 (cond ((equal sign -1)
269 (t `((mminus) ,(append `((mtimes) ,(- sign)) (cddr x))))))
344 (and (eq (caar term3) 'mtimes)
364 ((and (eq (caar rhs) 'mtimes)
[all …]
|
| /dports/math/maxima/maxima-5.43.2/share/numeric/ |
| H A D | decfp-core.lisp | 71 (sign (signum s)))
91 (list (cond ((= sign 1)
216 (sign nil))
218 (setq sign t
224 (when sign (princ "-"))
232 (when sign (princ "-"))
294 ((eq (caar x) 'mtimes)
336 ($binarybfloat '((mtimes simp)
426 (defprop mtimes dectimesbigfloat floatprog) unknown
591 (setq nfans (list '(mtimes) (car l) nfans))))
[all …]
|
| /dports/math/maxima/maxima-5.43.2/share/tensor/ |
| H A D | itensor.lisp | 82 (or (equal x '(mtimes)) (equal x '(mtimes simp))
271 '(mtimes)
335 '(mtimes)
340 '(mtimes)
492 '(mtimes)
681 '(mtimes)
2383 (prog (a b c sign)
2391 ((< (car c) a) (setq sign (not sign))))
2394 (return (cond (sign -1.) (t 1.)))))
2643 '(mtimes)
[all …]
|
| /dports/math/maxima/maxima-5.43.2/share/contrib/format/ |
| H A D | coeflist.lisp | 199 ((eq op 'mtimes) (cl-reduce #'clist-mul (cdr expr) #'gcf))
313 (sign +1))
315 (setq m (mapcar #'neg m) sign -1))
318 `(((,(mul (- sign) ($sin arg)) . ,m)) ((,($cos arg) . ,m))))
320 `(((,(mul sign ($cos arg)) . ,m)) ((,($sin arg) . ,m)))))))
339 ((eq op 'mtimes) (cl-reduce #'tlist-mul (cdr expr) #'gcf))
423 ((eq op 'mtimes) (cl-reduce #'add (cdr expr) #'mino))
435 ((eq op 'mtimes)
|
| /dports/math/octave-forge-symbolic/symbolic-2.9.0/ |
| H A D | INDEX | 198 @sym/sign
287 @sym/mtimes
341 @symfun/mtimes
|
| /dports/math/octave-forge-control/control-3.3.1/inst/ |
| H A D | test_control.m | 27 ## for building Octave. Using @acronym{ATLAS} may lead to sign changes
29 ## In general, these sign changes are not 'wrong' and can be regarded as
57 test @lti/mtimes
|
| /dports/math/casadi/casadi-3.5.5/docs/users_guide/source/ |
| H A D | usage.rst | 194 mtimes(x,y)
197 mtimes(x,y)
386 sign(x)
389 sign(x)
392 sign(x)
|
| /dports/math/octave-forge-interval/interval-3.2.0/ |
| H A D | INDEX | 70 @infsup/sign
89 @infsup/mtimes
|
| /dports/math/casadi/casadi-3.5.5/test/python/ |
| H A D | sx.py | 48 self.pool.append(lambda x: sign(x[0]),sign,"sign")
63 self.Jpool.append(lambda x: fabs(x[0]),lambda x:diag(sign(x)),"fabs")
64 self.Jpool.append(lambda x: sign(x[0]),lambda x:diag(x*0),"fabs")
212 self.assertRaises(RuntimeError, lambda : mtimes(x,y))
245 self.assertRaises(RuntimeError, lambda : mtimes(xx,yy))
526 test(casadi.sign,"sign",nums,[-1,-1,-1,-1,-1,0,1,1,1,1,1])
1027 f = Function("f", [x,y],[mtimes(x,y)])
1057 f = Function("f", [x],[mtimes([x.T,H,x])], {'verbose':True})
1101 c = mtimes(a,b)
1108 c = mtimes(a,b)
[all …]
|