On May 19, 3:02 pm, "Nicolas M. Thiery" <nicolas.thi...@u-psud.fr> wrote: > On Wed, May 19, 2010 at 02:25:22PM -0700, John Palmieri wrote: > > - Should I do anything with the new categories framework? I've > > defined a "category" method for the algebra, but should I do anything > > else? > > > - I'm working on a differential graded algebra, in fact. It is a > > "graded algebra with basis" (and it's actually Z x Z graded, so a > > "bigraded algebra with basis"); do I need to do anything special about > > this? I've defined a "basis" method already which returns the basis > > in each bidegree as a Python list.
> As a short first answer, please try: > > sage: A = AlgebrasWithBasis(QQ).example() Yes, I saw that. It looks like I should try to define my algebra (call it L) as a CombinatorialFreeModule and implement at least one_basis, product_on_basis, and algebra_generators. Unfortunately, there is no corresponding example for GradedAlgebrasWithBasis, and the framework for graded objects doesn't seem very complete. So should I specify the basis for the CombinatorialFreeModule using some family, and then attach some sort of grading to the basis elements to induce a grading on L? That seems awkward -- it is important, at least for this example, to be able to easily extract the basis in any given (bi)degree, so it seems better to define a function specifying the basis in each degree. What do you think? If that's right, then I don't see how to conveniently construct L as a CombinatorialFreeModule; rather, it is an infinite direct sum of (finite-dimensional) such objects, and I need to be able to consider each piece as well as the whole. -- John -- 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
