p(n)
denotes the number of ways the integer n
can be written as a sum of positive integers.
|
Table data: (P,Q)
such that (P)⟹(Q)
Definitions:
Fungrim symbol | Notation | Short description |
---|---|---|
PartitionsP | p(n) | Integer partition function |
ZZ | Z | Integers |
ZZGreaterEqual | Z≥n | Integers greater than or equal to n |
Source code for this entry:
Entry(ID("f5e153"), SymbolDefinition(PartitionsP, PartitionsP(n), "Integer partition function"), Description(PartitionsP(n), "denotes the number of ways the integer", n, "can be written as a sum of positive integers."), Table(TableRelation(Tuple(P, Q), Implies(P, Q)), TableHeadings(Description("Domain"), Description("Codomain")), List(Tuple(Element(n, ZZ), Element(PartitionsP(n), ZZGreaterEqual(0))), Tuple(Element(n, ZZGreaterEqual(0)), Element(PartitionsP(n), ZZGreaterEqual(1))))))