Hi Nathann, You are right. Infinite words don't belong into an algebra; you cannot multiply them. Barring hack reasons, the change is correct.
Best regards, Darij On Sun, Jan 5, 2014 at 3:32 PM, Nathann Cohen <nathann.co...@gmail.com> wrote: > Or possibly : you know that your algebras can break at any moment if you > play with the wrong words, but you want to be able to define this anyway > when you know what you are doing ?... > > Nathann > > > On Sunday, January 5, 2014 3:30:40 PM UTC+1, Nathann Cohen wrote: >> >> Hellooooooooo everybody !! >> >> Because of broken doctests in #12867, I find myself opening the file >> sage/categories/examples/algebras_with_basis.py, and about to do something >> potentially .... big. >> >> I am about to remplace this >> CombinatorialFreeModule.__init__(self, R, Words(alphabet), category = >> AlgebrasWithBasis(R)) >> >> By this: >> CombinatorialFreeModule.__init__(self, R, Words(alphabet, infinite=False), >> category = AlgebrasWithBasis(R)) >> >> And I would like to know what you think of it. Because I wondered : can >> you really define (in Sage) an algebra over (Finite+Infinite) Words, given >> that you cannot even check whether two infinite words are ... equal ? >> >> This is my problem. And if there is no reason to create (in Sage) an >> algebra over infiinite words, my problem is settled :-P >> >> Tell me what you think ! >> >> Nathann > > -- > You received this message because you are subscribed to the Google Groups > "sage-combinat-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-combinat-devel+unsubscr...@googlegroups.com. > To post to this group, send email to sage-combinat-devel@googlegroups.com. > Visit this group at http://groups.google.com/group/sage-combinat-devel. > For more options, visit https://groups.google.com/groups/opt_out. -- You received this message because you are subscribed to the Google Groups "sage-combinat-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-combinat-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-combinat-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-combinat-devel. For more options, visit https://groups.google.com/groups/opt_out.
