On Thu, Feb 24, 2011 at 05:26:57AM -0800, Alexandre Blondin Massé wrote:
> I guess I would have to add symbolic morphisms as well:
>
> sage: symbolic_word("u,v")
> sage: symbolic_word_morphism("phi")
> sage: solve( u * v == phi(u * v) )
Either that, or have word morphisms accept a symbolic
>
> Just a little suggestion: return an iterable rather than an iterator:
>
> sage: for sol in WS.solutions(): print sol
>
> This gives a conceptual meaning to the result of WS.solutions(): it
> models the set of all solutions of the system of equations. Otherwise
> it is just a computation