Added RankCard enumeration under symmetry.
Added non-commutative polynomial ring support.