Table of 
 for 
 and 
 
| 
 | 
Table data: 
  such that  
 
Definitions:
| Fungrim symbol | Notation | Short description | 
|---|---|---|
| FallingFactorial | Falling factorial | 
Source code for this entry:
Entry(ID("63f368"),
    Description("Table of", FallingFactorial(n, k), "for", LessEqual(0, n, 10), "and", LessEqual(0, k, 10)),
    Table(TableRelation(Tuple(n, k, y), Equal(FallingFactorial(n, k), y)), TableHeadings(Description(n, "\", k), 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10), TableColumnHeadings(0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10), List(Tuple(1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0), Tuple(1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0), Tuple(1, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0), Tuple(1, 3, 6, 6, 0, 0, 0, 0, 0, 0, 0), Tuple(1, 4, 12, 24, 24, 0, 0, 0, 0, 0, 0), Tuple(1, 5, 20, 60, 120, 120, 0, 0, 0, 0, 0), Tuple(1, 6, 30, 120, 360, 720, 720, 0, 0, 0, 0), Tuple(1, 7, 42, 210, 840, 2520, 5040, 5040, 0, 0, 0), Tuple(1, 8, 56, 336, 1680, 6720, 20160, 40320, 40320, 0, 0), Tuple(1, 9, 72, 504, 3024, 15120, 60480, 181440, 362880, 362880, 0), Tuple(1, 10, 90, 720, 5040, 30240, 151200, 604800, 1814400, 3628800, 3628800))))