From: Dieter K. <cra...@us...> - 2010-09-24 19:42:13
|
Update of /cvsroot/maxima/maxima/src In directory sfp-cvsdas-4.v30.ch3.sourceforge.com:/tmp/cvs-serv29101/src Modified Files: csimp2.lisp Log Message: Defining the verb function $binomial in this file. Do not set the globlas $numer and $float in the verb function. This causes a behavior different from other simplifying functions. Adding some more comments. Index: csimp2.lisp =================================================================== RCS file: /cvsroot/maxima/maxima/src/csimp2.lisp,v retrieving revision 1.43 retrieving revision 1.44 diff -u -d -r1.43 -r1.44 --- csimp2.lisp 20 Mar 2010 17:53:00 -0000 1.43 +++ csimp2.lisp 24 Sep 2010 19:42:04 -0000 1.44 @@ -23,6 +23,10 @@ (defvar $gamma_expand nil "Expand gamma(z+n) for n an integer when T.") +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; + +;;; Implementation of the plog function + (defmfun simpplog (x vestigial z) (declare (ignore vestigial)) (prog (varlist dd check y) @@ -108,6 +112,14 @@ ((alike1 r '((mexpt) 3 ((rat) -1 2))) (archk a b (list '(mtimes) '((rat) 1 6) '$%pi)))))))) +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; + +;;; Implementation of the Binomial coefficient + +;; Verb function for the Binomial coefficient +(defun $binomial (x y) + (simplify (list '(%binomial) x y))) + ;; Binomial has Mirror symmetry (defprop %binomial t commutes-with-conjugate) @@ -165,11 +177,15 @@ (setq u (addk -1 u) v (1- v)) (go loop))) +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; + +;;; Implementation of the Beta function + (declare-top (special $numer $gammalim)) (defmvar $beta_args_sum_to_integer nil) -;;; The Beta funtion has mirror symmetry +;;; The Beta function has mirror symmetry (defprop $beta t commutes-with-conjugate) (defmfun simpbeta (x vestigial z &aux check) @@ -336,6 +352,10 @@ (power (simplify (list '($pochhammer) (add u n) (- n))) -1) (simplify (list '($beta) u v))))) +;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; + +;;; Implementation of the Gamma function + (defmfun simpgamma (x vestigial z) (declare (ignore vestigial)) (oneargcheck x) |