|
a/CombLib.def |
|
b/CombLib.def |
1 |
DEFINITION MODULE CombLib;
|
1 |
DEFINITION MODULE CombLib;
|
2 |
|
2 |
|
3 |
(*------------------------------------------------------------------------*)
|
3 |
(*------------------------------------------------------------------------*)
|
4 |
(* Combination of numbers / Kombinatorische Routinen *)
|
4 |
(* Combination of numbers / Kombinatorische Routinen *)
|
|
|
5 |
(*------------------------------------------------------------------------*)
|
|
|
6 |
(* Implementation : Michael Riedl *)
|
|
|
7 |
(* Licence : GNU Lesser General Public License (LGPL) *)
|
5 |
(*------------------------------------------------------------------------*)
|
8 |
(*------------------------------------------------------------------------*)
|
6 |
|
9 |
|
7 |
(* $Id: CombLib.def,v 1.1 2018/12/10 09:14:34 mriedl Exp mriedl $ *)
|
10 |
(* $Id: CombLib.def,v 1.1 2018/12/10 09:14:34 mriedl Exp mriedl $ *)
|
8 |
|
11 |
|
9 |
PROCEDURE NoverK(N,K : INTEGER) : LONGREAL;
|
12 |
PROCEDURE NoverK(N,K : INTEGER) : LONGREAL;
|