Dear David,
> I think the polynomial ring model should translate well
> to the non-commutative free algebras. In addition to
> access, specifying a (non-commutative) monomial
> ordering would be desirable. Generalizing these
> orderings is the only challenge in the generalization
> from free commutative algebras.
>
> For performance, one might want to use the same idea
> of a dictionary directly and have both free mononoids
> and free algebras use this. I think I strongly tied these
> two classes together, but this could be weakened while
> preserving the sharing of code.
Sure ! But right now due to very few free time in personally have and the
man-power I have with my student, I'll only focus on extending the
interface... I'm sorry but I'll not have the time for any optimization or
rewriting...
Right now FreeAlgebraElements are stored by a dictionary. My feeling is that
except for optimization, FreeAlgebra should be implemented as the GroupAlgebra
of the Free monoid. There should be not that many specific code...
Cheers,
Florent
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---
