Cat::GradedCombinatorialClass – the category of graded combinatorial classes

Cat::GradedCombinatorialClass represents the category of graded combinatorial classes.

→ Examples

Categories

Cat::CombinatorialClass

Details:

Entries

"typeSize"

A type for the size; by default Type::NonNegInt.

size – size of an object (optional).

Cat::GradedCombinatorialClass::size(object x)

Returns the size of an object of the class.

Example 1:

Integer partitions form a graded combinatorial class:

combinat::partitions::hasProp(Cat::GradedCombinatorialClass)

math

the size of a partition being defined as the sum of its entries:

combinat::partitions::size([4, 3, 2])

math

We can thus ask for the number of partitions of size 9:

combinat::partitions::count(9)

math

Changes in MuPAD 3.1

New Function.