Hi Anne, hi Nicolas, On 26 Mrz., 15:30, Anne Schilling <a...@math.ucdavis.edu> wrote: > >> Could you then rebase trac7797 so that it is easier to use it in the > >> sage-combinat queue? I added it there, but it is currently disabled. > > > Ok, as soon as I get Simon's green light. > > Sounds good! Simon, can we rebased #7797?
I'll probably be not able to rebase it until Monday, but if you like, you can rebase it. Concerning the methods discussed here: For the current version of the patch, I did not think at all about bases. There even is no F.monoid() method of the free algebra F, and thus also no F.basis() indexed by the elements of F.monoid(). And the elements of F have no dict(), monomial_coefficient(), support() etc. I am not sure whether it would really be worth the effort: After all, FreeAlgebra_letterplace does not support inhomogeneous elements (until a future Singular version will be in Sage). And thus, for now, its purpose is quite narrow: Normal forms and degree-wise Gröbner bases of homogeneous two-sided ideals. At the moment, I tend to think that using AlgebrasWithBasis should be implemented only when general (i.e., inhomogeneous) arithmetic can be implemented. But who knows, perhaps I'll change my mind. Cheers, Simon -- You received this message because you are subscribed to the Google Groups "sage-combinat-devel" group. To post to this group, send email to sage-combinat-devel@googlegroups.com. To unsubscribe from this group, send email to sage-combinat-devel+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sage-combinat-devel?hl=en.
