chern.lib
LIB "chern.lib"; // dual partition to (1, 3, 4): list I = 1, 3, 4; print( dualPart(I) ); ==> [1]: ==> 1 ==> [2]: ==> 2 ==> [3]: ==> 2 ==> [4]: ==> 3