When generating random ultimately periodic words using the upw! macro I noticed that sometimes words are not properly reduced. Two examples I found:
upw!("baa", "ba") gives $(ba)(ba)^\omega$ which should be $(ba)(ab)^\omega$.
upw!("bab", "ab") gives $(ab)^\omega$ which should be $(ba)^\omega$.
When generating random ultimately periodic words using the
upw!macro I noticed that sometimes words are not properly reduced. Two examples I found:upw!("baa", "ba")gives $(ba)(ba)^\omega$ which should be $(ba)(ab)^\omega$.upw!("bab", "ab")gives $(ab)^\omega$ which should be $(ba)^\omega$.