#12630: Add representations of quivers and quiver algebras to sage
---------------------------------------------------+------------------------
Reporter: JStarx | Owner: AlexGhitza
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-5.11
Component: algebra | Resolution:
Keywords: algebra, quiver, module, days49 | Work issues: Split into
different modules. Use parents and elements.
Report Upstream: N/A | Reviewers:
Authors: Jim Stark, Simon King | Merged in:
Dependencies: #12412, #12413 | Stopgaps:
---------------------------------------------------+------------------------
Comment (by SimonKing):
Replying to [comment:57 saliola]:
> Replying to [comment:52 SimonKing]:
> > Some comments from a discussion with Nicolas:
> >
> > - Currently, we say `FreeSmallCategory`. Isn't it simply a semi-group?
>
> If you add the zero element to your set of paths.
>
> In this case, one wants the "contracted" semigroup algebra (where the 0
of the algebra is identified with the zero of the semigroup).
How to organise work?
I'd suggest that I continue working on the second patch, until stuff works
with the current implementation of path algebras. And in a third patch,
one could then (try to) do everything with contracted semigroup algebras.
Other suggestion?
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/12630#comment:58>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.
