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.

Reply via email to