User blog comment:C7X/CNF Comparison Algorithm/@comment-35470197-20200110045759/@comment-37485018-20200110061303

Does it matter if the sequences have non-unique outputs? For example, \(\sum_{i=0}^2a_i\) for \(a_0=\omega^4,\;a_1=\omega^3+\omega^2,\;a_2=\omega\) and \(\sum_{i=0}^3b_i\) for \(b_0=\omega^4,\;b_1=\omega^3,\;b_2=\omega^2,\;b_3=\omega\) output the same string (\(\omega^4+\omega^3+\omega^2+\omega\)), and because repetition doesn't matter in a set, no strings are "left out", it's just that one appears twice.