programlibs/Combinatorics/demos/lottery.xtl

Lottery odds and a tiny tournament. Run with "just demo Combinatorics lottery".

source · imports cb: libs/Combinatorics/src/Combinatorics.xtl; t: libs/Strings/src/Strings.xtl

tickets : Int

value · line 8
tickets ← 6 ᶜᵇc̲hoose 49
Used in: libs/Combinatorics/demos/lottery.xtl:9, libs/Combinatorics/demos/lottery.xtl:13

k : Int

value · line 10
k ← o̲ffsets 7
Used in: ways

ways : Int

value · line 11
ways ← (k ᶜᵇc̲hoose 6) × (6 − k) ᶜᵇc̲hoose 43
Used in: libs/Combinatorics/demos/lottery.xtl:12, libs/Combinatorics/demos/lottery.xtl:13

teams : Char

value · line 16
teams ← "ABCD"
Used in: libs/Combinatorics/demos/lottery.xtl:18

m : Int

value · line 17
m ← 2 ᶜᵇc̲ombinations 4
Used in: libs/Combinatorics/demos/lottery.xtl:18