#12630: Add representations of quivers and quiver algebras to sage
------------------------------------------------------------------------------+
Reporter: JStarx |
Owner: AlexGhitza
Type: enhancement |
Status: needs_review
Priority: major |
Milestone: sage-5.11
Component: algebra |
Resolution:
Keywords: algebra, quiver, module, days49 |
Work issues:
Report Upstream: N/A |
Reviewers: Simon King
Authors: Jim Stark, Simon King, Mathieu Guay-Paquet, Aladin Virmaux |
Merged in:
Dependencies: #12412, #12413 |
Stopgaps:
------------------------------------------------------------------------------+
Changes (by SimonKing):
* status: needs_work => needs_review
* work_issues: Add a TestSuite test =>
Comment:
I updated the last patch, and now, from my perspective, it is good to go!
Hence, now it really needs review...
Changes with respect to last time:
- The invalid path now evaluates as zero in the path algebra. This was the
last obstruction for `TestSuite`, and now there is a `TestSuite` test for
all parents (free small category, algebra, representation, homspace)
involved in this patch. This was done by overloading the `_monomial()`
method of an algebra.
- I added a `cardinality()` method for free small categories, such that
the dimension of a path algebra A becomes available. Unfortunately,
`list(A.basis())` would not work, because `A.basis()` (which is a free
small category) is not initialised as an object of
`FiniteEnumeratedsets()`---perhaps it should be. I'll check how difficult
this would be.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/12630#comment:110>
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.
