Hi sage-devel team, I have a question concerning the definition of new rings in SAGE.
I would like to generate matrices whose elements are finite formal sums of words (i.e. linear combinations with integer coeffs of elements of a free monoid over some finite alphabet). I was able to get this far: I use FreeMonoid to generate the set of finite words and I use FormalSums over the integers to get the linear combinations and I wrote a simple method to multiply two such formal sums (should this go into the class of FormalSums?). Now FormalSums with this multiplication should be a ring (similar to a free group ring), but SAGE does not recognize this as the FormalSums package does not have any relation to sage.rings. The problem I am left with is that I can not just define matrices with entries such formal sums, as SAGE can not find a ring containing them (this should be the ring of formal sums I guess). Also there seems to be no free group ring construction (which I could probably use as well)... Is there any way to generate this ring or to tell SAGE how to handle/ generate those matrices? Is there a way to modify the definition of FormalSums so it IS RECOGNIZED as a ring in order to define matices? As I am not very familiar with the internal structure of SAGE (categories, inheritance etc.) yet, any help or ideas would be very welcome. Thanks. Best M. -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
