WeakComposition

A name from the enumeratio catalogue with no kernel of its own yet; this page carries its crosswalk only.

Catalogued in the enumeratio database; not yet written up here.

OEISA000217via Weak3Compositions↗SageMathsage.combinat.integer_vector.IntegerVectors(n, k)via WeakCompositionsIntoKParts↗mathlib4Finset.Nat.antidiagonalTuplevia WeakCompositionsIntoKParts↗

WeakComposition(...)Catalogued in the enumeratio database; not yet written up here.

Typed signatures

Type	Package	Applies
(list<integer>) -> weak_composition	combinatorics	always

Domain: Combinatorics

About

Crosswalk	OEISSageMathmathlib4