Htirage/Tutorial.lhs

   1 Tutoriel de htirage
   2 ===================
   3
   4 On commence par les entêtes nécessaires au compilateur :
   5
   6 > {-# OPTIONS_GHC -fno-warn-missing-signatures #-}
   7 > module Htirage.Tutorial where
   8 > import Htirage
   9 > import Data.List (sort)
  10
  11
  12 2 parmi 5
  13 ---------
  14
  15 Pour sélectionner 2 choix parmi 5 (ordonnés lexicographiquement) :
  16
  17 > x0 = sort ["dominique", "claude", "baya", "zhennan", "camille"]
  18 > n0 = length x0
  19 > k0 = 2
  20
  21 Il faut au moins c0 == 3 bits équiprobables :
  22
  23 > c0 = equiprobableBits (toInteger n0`nCk`k0)
  24
  25 Ce tirage de lotterie en procure length b0 == 23:
  26
  27 > b0 = randomOf6aus49 (39,2,19,41,6,30) 9
  28
  29 Et on obtient s0 == ["baya","claude"] :
  30
  31 > s0 = drawMany x0 k0 b0
  32
  33
  34
  35 42 parmi 100
  36 ------------
  37
  38 Pour sélectionner 42 choix parmi 100 :
  39
  40 > n1 = 100
  41 > k1 = 42
  42
  43 Il faut au moins c1 == 94 bits équiprobables :
  44
  45 > c1 = equiprobableBits (n1`nCk`k1)
  46
  47 Ces quatres tirages de lotterie en procurent length b1 == 97 :
  48
  49 > b1 = randomOf6aus49 (27,2,12,34,22,19) 1 ++
  50 >      randomOfEuroMillions (5,14,35,16,10) (2,7) ++
  51 >      randomOfFrenchLoto (14,8,26,3,24) 2 ++
  52 >      randomOfSwissLoto (17,2,29,37,30,25) 5
  53
  54 Et on obtient s1 == [1,8,9,10,11,12,17,19,20,21,25,26,28,32,35,37,46,50
  55                     ,51,52,54,55,57,60,61,63,65,66,67,69,70,73,74,75,78
  56                     ,80,83,87,89,90,92,97]
  57
  58 > s1 = drawMany [1..n1] k1 b1