muEC::TYP
The muEC::TYP
library provides functions to check that a
mu-EC object is well typed (or well formed). Common
objects such as compositions, partitions, symmetric functions can be
tested, but this list is not exhaustive...
MuPAD Combinat, an open source algebraic combinatorics package