-- Jori Mäntysalo
Sage has a static data structure SetPartition, and a dynamic structure
DisjointSet that can *combine* blocks. Is there a "dual" structure of
latter, something that would start from one big block and would have
functions to *split* block?