annotate scripts/miscellaneous/bincoeff.m @ 7016:93c65f2a5668

[project @ 2007-10-12 06:40:56 by jwe]
author jwe
date Fri, 12 Oct 2007 06:41:26 +0000
parents d6d19fcc51b0
children a1dbe9d80eee
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
2538
6f71af650490 [project @ 1996-11-19 21:41:48 by jwe]
jwe
parents:
diff changeset
1 ## Copyright (C) 1995, 1996 Kurt Hornik
3426
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3321
diff changeset
2 ##
3922
38c61cbf086c [project @ 2002-05-01 06:48:35 by jwe]
jwe
parents: 3458
diff changeset
3 ## This file is part of Octave.
38c61cbf086c [project @ 2002-05-01 06:48:35 by jwe]
jwe
parents: 3458
diff changeset
4 ##
38c61cbf086c [project @ 2002-05-01 06:48:35 by jwe]
jwe
parents: 3458
diff changeset
5 ## Octave is free software; you can redistribute it and/or modify it
38c61cbf086c [project @ 2002-05-01 06:48:35 by jwe]
jwe
parents: 3458
diff changeset
6 ## under the terms of the GNU General Public License as published by
7016
93c65f2a5668 [project @ 2007-10-12 06:40:56 by jwe]
jwe
parents: 6902
diff changeset
7 ## the Free Software Foundation; either version 3 of the License, or (at
93c65f2a5668 [project @ 2007-10-12 06:40:56 by jwe]
jwe
parents: 6902
diff changeset
8 ## your option) any later version.
3426
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3321
diff changeset
9 ##
3922
38c61cbf086c [project @ 2002-05-01 06:48:35 by jwe]
jwe
parents: 3458
diff changeset
10 ## Octave is distributed in the hope that it will be useful, but
2538
6f71af650490 [project @ 1996-11-19 21:41:48 by jwe]
jwe
parents:
diff changeset
11 ## WITHOUT ANY WARRANTY; without even the implied warranty of
6f71af650490 [project @ 1996-11-19 21:41:48 by jwe]
jwe
parents:
diff changeset
12 ## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
3426
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3321
diff changeset
13 ## General Public License for more details.
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3321
diff changeset
14 ##
2538
6f71af650490 [project @ 1996-11-19 21:41:48 by jwe]
jwe
parents:
diff changeset
15 ## You should have received a copy of the GNU General Public License
7016
93c65f2a5668 [project @ 2007-10-12 06:40:56 by jwe]
jwe
parents: 6902
diff changeset
16 ## along with Octave; see the file COPYING. If not, see
93c65f2a5668 [project @ 2007-10-12 06:40:56 by jwe]
jwe
parents: 6902
diff changeset
17 ## <http://www.gnu.org/licenses/>.
2538
6f71af650490 [project @ 1996-11-19 21:41:48 by jwe]
jwe
parents:
diff changeset
18
3321
6923abb04e16 [project @ 1999-10-26 18:15:30 by jwe]
jwe
parents: 2538
diff changeset
19 ## -*- texinfo -*-
6923abb04e16 [project @ 1999-10-26 18:15:30 by jwe]
jwe
parents: 2538
diff changeset
20 ## @deftypefn {Mapping Function} {} bincoeff (@var{n}, @var{k})
6923abb04e16 [project @ 1999-10-26 18:15:30 by jwe]
jwe
parents: 2538
diff changeset
21 ## Return the binomial coefficient of @var{n} and @var{k}, defined as
6923abb04e16 [project @ 1999-10-26 18:15:30 by jwe]
jwe
parents: 2538
diff changeset
22 ## @iftex
6923abb04e16 [project @ 1999-10-26 18:15:30 by jwe]
jwe
parents: 2538
diff changeset
23 ## @tex
6923abb04e16 [project @ 1999-10-26 18:15:30 by jwe]
jwe
parents: 2538
diff changeset
24 ## $$
6923abb04e16 [project @ 1999-10-26 18:15:30 by jwe]
jwe
parents: 2538
diff changeset
25 ## {n \choose k} = {n (n-1) (n-2) \cdots (n-k+1) \over k!}
6923abb04e16 [project @ 1999-10-26 18:15:30 by jwe]
jwe
parents: 2538
diff changeset
26 ## $$
6923abb04e16 [project @ 1999-10-26 18:15:30 by jwe]
jwe
parents: 2538
diff changeset
27 ## @end tex
6923abb04e16 [project @ 1999-10-26 18:15:30 by jwe]
jwe
parents: 2538
diff changeset
28 ## @end iftex
6923abb04e16 [project @ 1999-10-26 18:15:30 by jwe]
jwe
parents: 2538
diff changeset
29 ## @ifinfo
3426
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3321
diff changeset
30 ##
3321
6923abb04e16 [project @ 1999-10-26 18:15:30 by jwe]
jwe
parents: 2538
diff changeset
31 ## @example
6923abb04e16 [project @ 1999-10-26 18:15:30 by jwe]
jwe
parents: 2538
diff changeset
32 ## @group
6923abb04e16 [project @ 1999-10-26 18:15:30 by jwe]
jwe
parents: 2538
diff changeset
33 ## / \
6923abb04e16 [project @ 1999-10-26 18:15:30 by jwe]
jwe
parents: 2538
diff changeset
34 ## | n | n (n-1) (n-2) ... (n-k+1)
6923abb04e16 [project @ 1999-10-26 18:15:30 by jwe]
jwe
parents: 2538
diff changeset
35 ## | | = -------------------------
6923abb04e16 [project @ 1999-10-26 18:15:30 by jwe]
jwe
parents: 2538
diff changeset
36 ## | k | k!
6923abb04e16 [project @ 1999-10-26 18:15:30 by jwe]
jwe
parents: 2538
diff changeset
37 ## \ /
6923abb04e16 [project @ 1999-10-26 18:15:30 by jwe]
jwe
parents: 2538
diff changeset
38 ## @end group
6923abb04e16 [project @ 1999-10-26 18:15:30 by jwe]
jwe
parents: 2538
diff changeset
39 ## @end example
6923abb04e16 [project @ 1999-10-26 18:15:30 by jwe]
jwe
parents: 2538
diff changeset
40 ## @end ifinfo
3426
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3321
diff changeset
41 ##
3321
6923abb04e16 [project @ 1999-10-26 18:15:30 by jwe]
jwe
parents: 2538
diff changeset
42 ## For example,
3426
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3321
diff changeset
43 ##
3321
6923abb04e16 [project @ 1999-10-26 18:15:30 by jwe]
jwe
parents: 2538
diff changeset
44 ## @example
6923abb04e16 [project @ 1999-10-26 18:15:30 by jwe]
jwe
parents: 2538
diff changeset
45 ## @group
6923abb04e16 [project @ 1999-10-26 18:15:30 by jwe]
jwe
parents: 2538
diff changeset
46 ## bincoeff (5, 2)
6923abb04e16 [project @ 1999-10-26 18:15:30 by jwe]
jwe
parents: 2538
diff changeset
47 ## @result{} 10
6923abb04e16 [project @ 1999-10-26 18:15:30 by jwe]
jwe
parents: 2538
diff changeset
48 ## @end group
6923abb04e16 [project @ 1999-10-26 18:15:30 by jwe]
jwe
parents: 2538
diff changeset
49 ## @end example
6923abb04e16 [project @ 1999-10-26 18:15:30 by jwe]
jwe
parents: 2538
diff changeset
50 ## @end deftypefn
2538
6f71af650490 [project @ 1996-11-19 21:41:48 by jwe]
jwe
parents:
diff changeset
51
5428
2a16423e4aa0 [project @ 2005-08-23 18:38:27 by jwe]
jwe
parents: 5307
diff changeset
52 ## Author: KH <Kurt.Hornik@wu-wien.ac.at>
2538
6f71af650490 [project @ 1996-11-19 21:41:48 by jwe]
jwe
parents:
diff changeset
53 ## Created: 8 October 1994
6f71af650490 [project @ 1996-11-19 21:41:48 by jwe]
jwe
parents:
diff changeset
54 ## Adapted-By: jwe
6f71af650490 [project @ 1996-11-19 21:41:48 by jwe]
jwe
parents:
diff changeset
55
6f71af650490 [project @ 1996-11-19 21:41:48 by jwe]
jwe
parents:
diff changeset
56 function b = bincoeff (n, k)
3426
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3321
diff changeset
57
2538
6f71af650490 [project @ 1996-11-19 21:41:48 by jwe]
jwe
parents:
diff changeset
58 if (nargin != 2)
6046
34f96dd5441b [project @ 2006-10-10 16:10:25 by jwe]
jwe
parents: 5961
diff changeset
59 print_usage ();
2538
6f71af650490 [project @ 1996-11-19 21:41:48 by jwe]
jwe
parents:
diff changeset
60 endif
3426
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3321
diff changeset
61
2538
6f71af650490 [project @ 1996-11-19 21:41:48 by jwe]
jwe
parents:
diff changeset
62 [retval, n, k] = common_size (n, k);
6f71af650490 [project @ 1996-11-19 21:41:48 by jwe]
jwe
parents:
diff changeset
63 if (retval > 0)
3458
d25bc039237b [project @ 2000-01-19 09:36:14 by jwe]
jwe
parents: 3426
diff changeset
64 error ("bincoeff: n and k must be of common size or scalars");
2538
6f71af650490 [project @ 1996-11-19 21:41:48 by jwe]
jwe
parents:
diff changeset
65 endif
3426
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3321
diff changeset
66
4854
4b0f3b055331 [project @ 2004-04-07 02:37:05 by jwe]
jwe
parents: 4031
diff changeset
67 sz = size (n);
4b0f3b055331 [project @ 2004-04-07 02:37:05 by jwe]
jwe
parents: 4031
diff changeset
68 b = zeros (sz);
3426
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3321
diff changeset
69
5961
1c61d6a2c9e6 [project @ 2006-08-24 15:57:08 by jwe]
jwe
parents: 5428
diff changeset
70 ind = (! (k >= 0) | (k != real (round (k))) | isnan (n));
1c61d6a2c9e6 [project @ 2006-08-24 15:57:08 by jwe]
jwe
parents: 5428
diff changeset
71 b(ind) = NaN;
1c61d6a2c9e6 [project @ 2006-08-24 15:57:08 by jwe]
jwe
parents: 5428
diff changeset
72
1c61d6a2c9e6 [project @ 2006-08-24 15:57:08 by jwe]
jwe
parents: 5428
diff changeset
73 ind = (k == 0);
1c61d6a2c9e6 [project @ 2006-08-24 15:57:08 by jwe]
jwe
parents: 5428
diff changeset
74 b(ind) = 1;
2538
6f71af650490 [project @ 1996-11-19 21:41:48 by jwe]
jwe
parents:
diff changeset
75
5961
1c61d6a2c9e6 [project @ 2006-08-24 15:57:08 by jwe]
jwe
parents: 5428
diff changeset
76 ind = ((k > 0) & ((n == real (round (n))) & (n < 0)));
6902
d6d19fcc51b0 [project @ 2007-09-14 19:34:12 by jwe]
jwe
parents: 6046
diff changeset
77 b(ind) = (-1) .^ k(ind) .* exp (gammaln (abs (n(ind)) + k(ind))
d6d19fcc51b0 [project @ 2007-09-14 19:34:12 by jwe]
jwe
parents: 6046
diff changeset
78 - gammaln (k(ind) + 1)
d6d19fcc51b0 [project @ 2007-09-14 19:34:12 by jwe]
jwe
parents: 6046
diff changeset
79 - gammaln (abs (n(ind))));
3426
f8dde1807dee [project @ 2000-01-13 08:40:00 by jwe]
jwe
parents: 3321
diff changeset
80
6902
d6d19fcc51b0 [project @ 2007-09-14 19:34:12 by jwe]
jwe
parents: 6046
diff changeset
81 ind = ((k > 0) & (n >= k));
d6d19fcc51b0 [project @ 2007-09-14 19:34:12 by jwe]
jwe
parents: 6046
diff changeset
82 b(ind) = exp (gammaln (n(ind) + 1)
d6d19fcc51b0 [project @ 2007-09-14 19:34:12 by jwe]
jwe
parents: 6046
diff changeset
83 - gammaln (k(ind) + 1)
d6d19fcc51b0 [project @ 2007-09-14 19:34:12 by jwe]
jwe
parents: 6046
diff changeset
84 - gammaln (n(ind) - k(ind) + 1));
d6d19fcc51b0 [project @ 2007-09-14 19:34:12 by jwe]
jwe
parents: 6046
diff changeset
85
d6d19fcc51b0 [project @ 2007-09-14 19:34:12 by jwe]
jwe
parents: 6046
diff changeset
86 ind = ((k > 0) & ((n != real (round (n))) & (n < k)));
d6d19fcc51b0 [project @ 2007-09-14 19:34:12 by jwe]
jwe
parents: 6046
diff changeset
87 b(ind) = (1/pi) * exp (gammaln (n(ind) + 1)
d6d19fcc51b0 [project @ 2007-09-14 19:34:12 by jwe]
jwe
parents: 6046
diff changeset
88 - gammaln (k(ind) + 1)
d6d19fcc51b0 [project @ 2007-09-14 19:34:12 by jwe]
jwe
parents: 6046
diff changeset
89 + gammaln (k(ind) - n(ind))
d6d19fcc51b0 [project @ 2007-09-14 19:34:12 by jwe]
jwe
parents: 6046
diff changeset
90 + log (sin (pi * (n(ind) - k(ind) + 1))));
d6d19fcc51b0 [project @ 2007-09-14 19:34:12 by jwe]
jwe
parents: 6046
diff changeset
91
d6d19fcc51b0 [project @ 2007-09-14 19:34:12 by jwe]
jwe
parents: 6046
diff changeset
92 ## Clean up rounding errors.
5961
1c61d6a2c9e6 [project @ 2006-08-24 15:57:08 by jwe]
jwe
parents: 5428
diff changeset
93 ind = (n == round (n));
1c61d6a2c9e6 [project @ 2006-08-24 15:57:08 by jwe]
jwe
parents: 5428
diff changeset
94 b(ind) = round (b(ind));
6902
d6d19fcc51b0 [project @ 2007-09-14 19:34:12 by jwe]
jwe
parents: 6046
diff changeset
95
d6d19fcc51b0 [project @ 2007-09-14 19:34:12 by jwe]
jwe
parents: 6046
diff changeset
96 ind = (n != round (n));
d6d19fcc51b0 [project @ 2007-09-14 19:34:12 by jwe]
jwe
parents: 6046
diff changeset
97 b(ind) = real (b(ind));
d6d19fcc51b0 [project @ 2007-09-14 19:34:12 by jwe]
jwe
parents: 6046
diff changeset
98
2538
6f71af650490 [project @ 1996-11-19 21:41:48 by jwe]
jwe
parents:
diff changeset
99 endfunction
6f71af650490 [project @ 1996-11-19 21:41:48 by jwe]
jwe
parents:
diff changeset
100
6902
d6d19fcc51b0 [project @ 2007-09-14 19:34:12 by jwe]
jwe
parents: 6046
diff changeset
101 %!assert(bincoeff(4,2), 6)
d6d19fcc51b0 [project @ 2007-09-14 19:34:12 by jwe]
jwe
parents: 6046
diff changeset
102 %!assert(bincoeff(2,4), 0)
d6d19fcc51b0 [project @ 2007-09-14 19:34:12 by jwe]
jwe
parents: 6046
diff changeset
103 %!assert(bincoeff(0.4,2), -.12, 8*eps)