On Wed, Feb 23, 2011 at 05:58:38PM -0800, Alexandre Blondin Massé wrote:
> I thought it would be the right place to redirect the discussion [1]
> since it involves combinatorics on words.
+1
> sage: WS = WordSystem()
> sage: WS.set_alphabet(['a','b'])
> sage: WS.add_equation('u*v*u=phi(v*u))
> sa
Hi, everyone!
I thought it would be the right place to redirect the discussion [1]
since it involves combinatorics on words.
To summarize, I'm interested in adding a solver for equations on words
in Sage. As a first step, I would implement it in pure-Python, but one
of my future goal would be to