On Thu, Sep 09, 2010 at 01:51:18PM -0700, Quimey Vivas wrote: > I am interested in the computation of Hochschild (co)homology of path > algebras. This is the first step. I am just learning about sage > development, so my code might be very buggy and/or incomplete in some > areas (such as coercion model).
For the record: Patrick Lemeur (in CC) had implemented things of this nature in MuPAD-Combinat a couple years ago: - Doc: http://mupad-combinat.svn.sourceforge.net/viewvc/mupad-combinat/trunk/MuPAD-Combinat/lib/EXAMPLES/DOC/QuiverWithRelationsAlgebra.mupdoc?view=markup - Code: http://mupad-combinat.svn.sourceforge.net/viewvc/mupad-combinat/trunk/MuPAD-Combinat/lib/EXAMPLES/QuiverWithRelationsAlgebra.mu?view=markup - Tests: http://mupad-combinat.svn.sourceforge.net/viewvc/mupad-combinat/trunk/MuPAD-Combinat/lib/EXAMPLES/TEST/QuiverWithRelationsAlgebra.tst?view=markup It's too far from my field for me to judge how much this matches with your goals though. Best, Nicolas > #9889: A new module implementing Monomial Algebras > ---------------------------- > +----------------------------------------------- > Reporter: quimey | Owner: AlexGhitza > Type: enhancement | Status: new > Priority: minor | Milestone: sage-4.6 > Component: algebra | Keywords: homological algebra, > monomial algebra, quiver > Author: Quimey Vivas | Upstream: N/A > Reviewer: | Merged: > Work_issues: | > ---------------------------- > +----------------------------------------------- > A monomial algebra is a quotient of a path algebra by an admissible > ideal > generated by paths (see Assem, Ibrahim; Simson, Daniel; Skowronski, > Andrzej. Elements of the representation theory of associative > algebras. > Vol. 1.) > > This module implement the class of monomial algebras, the class of > elements of monomial algebras and some functions related to those > classes, > such as functions for the computation of Hochschild (co)homology of > these > algebras. For this computation the class of chain complexes is used. > > -- -- Nicolas M. ThiƩry "Isil" <nthi...@users.sf.net> http://Nicolas.Thiery.name/ -- 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-de...@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.