Logiweb extract of combinations

Table of contents

Date of publication
Bibliography
Definitions
Charges

Date of publication

GRD-2009-11-13.UTC:09:09:05.897212 (Gregorian Date / Universal Coordinated Time)
MJD-55148.TAI:09:09:39.897212 (Modified Julian Day / International Atomic Time)
LGT-4764820179897212e-6 (Logiweb Time)

Bibliography

[0] combinations (0143BAB3BC67212340C9406BDB560819F3DCD4E859FC96F7B1C2B2BB0806)
[1] base (01AB1F51C8C17606A5C0331B5689B4858C796547B9A0A4AEF0BCB2BB0806)

Definitions

combinations

Index 0 of page combinations

lgcdef lgcname of combinations as "combinations" enddef

lgcdef lgccharge of combinations as "0" enddef

(( " , " ))

Index 1 of page combinations

lgcdef lgcname of (( lgcvar , lgcvar )) as "(( ""! , ""! ))" enddef

Define tex show of (( n , k )) as " \left( \begin{array}{l} "[ n ][" \\ "[ k ]" \end{array}\right)"] end define

define value of (( n , k )) as if k = 0 then 1 else [[(( n - 1 , k - 1 )) * n] div k] end define

lgcdef lgccharge of (( lgcvar , lgcvar )) as "0" enddef

Charges

0

base
combinations
(( " , " ))

2

+"

4

" factorial

6

" ' "

8

- "

10

" Times "

12

" Plus "

14

PlusTag "

16

" div "

17

" LazyPair "

19

" ,, "

20

" = "

22

Not "

24

" And "

26

" Or "

29

" Iff "

30

" Select " else " end select

32

\ " . "

33

norm "

34

" reduce to "

50

" endline

51

" lgcthen "

52

" linebreak "

54

" & "

56

" \\ "