Home
last modified time | relevance | path

Searched +refs:sign +refs:mexpt (Results 1 – 22 of 22) sorted by relevance

/dports/math/maxima/maxima-5.43.2/src/
H A Dlaplac.lisp245 (t (list '(mexpt)
310 (list '(mexpt)
376 (defun mostpart (f parm sign a b)
489 (sign nil)
494 (simplifya (cond ((eq sign '$positive)
496 ((eq sign '$zero)
809 (list '(mexpt)
871 (cond ((eq sign '$zero)
876 ) ((eq sign '$negative)
881 (setq sign
[all …]
H A Drat3e.lisp621 ((eq (caar x) 'mexpt)
678 (setq x (list '(mexpt)
708 (list '(mexpt)
722 (list '(mexpt)
768 ((eq (caar x) 'mexpt)
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))
1017 (list '(rat) sign d) n))
1018 ((equal sign -1)
[all …]
H A Dcombin.lisp122 ((eq (caar e) 'mexpt)
196 ((eq (caar e) 'mexpt)
213 ((eq (caar e) 'mexpt)
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)
1232 (defun isgeo1 (a r sign)
1233 (cond ((eq sign '$positive)
1235 ((eq sign '$zero)
[all …]
H A Dspecfn.lisp406 (declare-top (special var subl *last* sign last-exp))
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)
562 ((mexpt) ((mplus) 1 ((%lambert_w) x)) -1)))
572 ((mexpt) ((%lambert_w) x) 2)
[all …]
H A Dgamma.lisp1939 ((mexpt) $%e ((mtimes) -1 ((mexpt) z 2)))))
1949 ((mexpt) $%e ((mtimes) -1 ((mexpt) z 2))))
2206 ((mexpt) $%e ((mtimes) -1 ((mexpt) z1 2))))
2210 ((mexpt) $%e ((mtimes) -1 ((mexpt) z2 2)))))
2337 ((mexpt) $%e ((mtimes) -1 ((mexpt) z 2)))))
2347 ((mexpt) $%e ((mtimes) -1 ((mexpt) z 2))))
2468 ((mexpt) $%e ((mexpt) z 2))))
2478 ((mexpt) $%e ((mexpt) z 2)))
3026 (sign 1)
3036 (setq sum (+ sum (/ (* sign term) n)))
[all …]
H A Dtrigo.lisp263 ((alike1 y '((mexpt) 3 ((rat) -1 2))) (div '$%pi 3))
265 ((alike1 y '((mexpt) 3 ((rat) 1 2))) (div '$%pi 6)))))
296 ((alike1 y '((mexpt) 2 ((rat) 1 2))) (div '$%pi 4))
298 ((alike1 y '((mtimes) 2 ((mexpt) 3 ((rat) -1 2))))
325 ((alike1 y '((mexpt) 2 ((rat) 1 2))) (div '$%pi 4))
327 ((alike1 y '((mtimes) 2 ((mexpt) 3 ((rat) -1 2))))
469 (sign 1 (* flag sign))
477 (sign 1 (* flag sign))
482 (setq num (mpc1 (list sign '(mtimes)) l num f len i)
487 (do ((i (length l) (- i 2)) (len (length l)) (sign 1 (* flag sign)) (num) (den))
[all …]
H A Dsimp.lisp1771 (let (sign out)
1774 (setq sign (cadr sc)) (rplaca (cdr sc) nil))
1793 (cond (sign (if (mtimesp out)
1794 (rplacd out (cons sign (cdr out)))
1795 (list '(mtimes) sign out)))
1920 (list '(mexpt) '$%e z))
3144 ((eq (caar e) 'mexpt)
3204 (cond ((eq (caar y) 'mexpt)
3361 ((and (eq (caaar l) 'mexpt)
3364 ((and (eq (caaar l) 'mexpt)
[all …]
H A Dirinte.lisp459 ((mexpt) ((mplus)
471 ((mexpt) (r1 hasvar)
473 ((mexpt) (r2 hasvar)
475 ((mexpt) (r0 hasvar)
484 ((mexpt) ((mplus) ((coeffpt) (e freevnz) ((mexpt) (x varp) 2))
611 (prog (sign)
613 (setq sign '$positive)
614 loop (cond ((null llist) (return sign)))
619 (setq sign (changesign sign) llist (cdr llist))
623 (defun changesign (sign)
[all …]
H A Dbessel.lisp83 ((mtimes) ((mexpt) -1 $%k)
132 ((mexpt) 2 ((mtimes) -1 ,v))
134 ((mexpt) z ((mplus) 1 ,v))))))
1106 ((mexpt) -1
1111 ((mexpt) -1
1131 ((mexpt) -1
1392 (sign (if (oddp n) -1 1))
1395 (mul sign
1900 ((mexpt) $%pi ((rat) -1 2))
1903 ((mexpt) z v)))))
[all …]
H A Dhayat.lisp1213 (when (eq (caar kernel) 'mexpt)
1622 (if (eq (caar var) 'mexpt)
1657 ((eq (caar p) 'mexpt)
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))
2544 ((mexpt) ,z ,s)
[all …]
H A Dtrigi.lisp35 ((mexpt simp) 3 ((rat simp) 1 2))))
38 ((mexpt simp) 3 ((rat simp) 1 2))))
273 (frob mexpt #'cl:expt)
706 ((alike1 y '((mexpt) 3 ((rat) 1 2)))
712 ((alike1 y '((mexpt) 3 ((rat) -1 2)))
719 ((alike1 y '((mplus) 1 ((mexpt) 2 ((rat) 1 2))))
781 ((eq 'mexpt (caar form)) (lin-mexpt form))))
901 (let (sign)
902 (setq sign (csign x))
903 (or (member sign '($neg $nz) :test #'eq)
[all …]
H A Dlimit.lisp512 (t (list '(mexpt) base exponent))))
522 (t (list '(mexpt) base exponent))))
532 (t (list '(mexpt) base exponent))))
542 (t (list '(mexpt) base exponent))))))
903 (setq answer (simplimit (list '(mexpt)
1056 ((mexpt simp) 2 ((rat simp) 1 2))
1143 (equal sign 0))
1939 (if (or (not sign) (eq sign 'complex))
2498 (eq (caar (second stren)) 'mexpt))
3300 ((eq sign '$pos)
[all …]
H A Dfloat.lisp632 (sign nil))
634 (setq sign t
640 (when sign (princ "-"))
648 (when sign (princ "-"))
778 ((eq (caar x) 'mexpt)
874 (let ((sign (if plusp 1 -1)))
875 (list (* sign bits) 0))))
1690 ((not ($bfloatp p)) (list '(mexpt) p n))
1710 (t (list '(mexpt) p n))))
1771 (simplify (list '(mexpt) a -1)))))
[all …]
H A Ddefint.lisp450 '(mexpt mplus mtimes %sin %cos
911 ((and (eq (caar exp) 'mexpt)
2277 (setq e (m//t e (list '(mexpt) log m)))
2499 ((zerop (setq s (let ((sign ($asksign (cadr e))))
2500 (cond ((eq sign '$pos) 1)
2501 ((eq sign '$neg) -1)
2502 ((eq sign '$zero) 0)))))
3637 ((mexpt) (z varp) (w freevar))
3638 ((mexpt) $%e ((mtimes) -1 ((mexpt) (z varp) (s freevar0))))
3649 ((mexpt) (z varp) (r freevar))
[all …]
H A Dcompar.lisp68 (defmvar sign nil) unknown
914 (if minus (setq sign (flip sign)))
1278 (sign exp))
1311 (list 'mexpt 'sign-mexpt)
1447 (setq sign (flip sign)))
1570 (or (eq sign '$complex) (eq sign '$imaginary)))
1713 (setq sign
1729 ((member sign '($neg $pn) :test #'eq) (setq sign '$pos))
1938 ((eq x-op 'mexpt)
2067 ((eq 'mexpt (caar e)) (evod-mexpt e))))
[all …]
H A Dmatrix.lisp196 (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)
277 ((mexpt) ,(rdis (or *det* '(1 . 1))) -1)
H A Dhyp.lisp48 (defmacro mexpt (x) `(m^t '$%e ,x))
663 (mul (list '(mexpt) '$%e var)
2631 (sub 1 (mexpt (neg z))))
2646 (mexpt (neg z))))))
2664 (mexpt (neg z)))))
2668 (mexpt (neg z))))
3023 (sign (cdras 'm (m2 sym '((mtimes) ((coefft) (m $numberp)) ((coefft) (s nonnump)))))))
3024 (when (and sign (minusp sign))
/dports/math/maxima/maxima-5.43.2/share/numeric/
H A Ddecfp-core.lisp71 (sign (signum s)))
91 (list (cond ((= sign 1)
216 (sign nil))
218 (setq sign t
224 (when sign (princ "-"))
232 (when sign (princ "-"))
288 ((and(eq (caar x) 'mexpt)
315 ((and(eq (caar x) 'mexpt)
338 ((mplus simp) 1 ((mexpt simp) 5 ((rat simp) 1 2)))))
340 ((eq (caar x) 'mexpt)
[all …]
/dports/math/maxima/maxima-5.43.2/share/contrib/format/
H A Dcoeflist.lisp200 ((and (eq op 'mexpt) ; Check that we can actually compute X^Y:
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)))))))
340 ((and (eq op 'mexpt) ; x^y Check that we can actually compute:
424 ((and (eq op 'mexpt)($numberp (third expr))) ; can we compute?
445 ((and (eq op 'mexpt)($numberp (third expr))) ; can we compute?
/dports/math/maxima/maxima-5.43.2/share/tensor/
H A Ditensor.lisp72 '(member (caar x) '(mtimes mplus mexpt) :test #'eq)))
495 '(mexpt)
830 (cond (l2 (setq l1 (cons (list '(mexpt)
1474 (list '(mexpt simp)
1549 (list '(mtimes) (list '(mexpt) (cadr e) -1)
1583 ((eq (caar e) 'mexpt) (diffexpt e x))
2158 (list '(mtimes) (list '(mexpt) (cadr e) -1)
2315 ((eq (caar e) 'mexpt) (idiffexpt1 e x))
2383 (prog (a b c sign)
2391 ((< (car c) a) (setq sign (not sign))))
[all …]
/dports/math/maxima/maxima-5.43.2/share/misc/
H A Dseqopt.lisp63 (defmacro make-expt (base exponent) ``((mexpt simp) ,,base ,,exponent))
158 ((eq 'mexpt (caar x)) (opt-expt x))
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))))))
/dports/math/maxima/maxima-5.43.2/tests/
H A Drtest16.mac80 "'?mplus(a,b,'?mnctimes(c,d),'?mexpt(e,f))";
838 sign(-(1/n)*(-1)^n);
858 sign(exp(2009));
2323 /* Bug #3148: sign can't figure out sign(a - b) but it knows sign(b - a) where a and b are exponent…
2326 sign(2^(500000*t)-2^(500007*t));
2357 map('sign,
2386 sign(a*r);
2389 sign(a*-2);
2392 sign(a*q*r);
2395 sign(a*b*q);
[all …]