#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: Quivers with loops, coercion free small category ->
algebra. Methods gen, gens, ngens =>
Comment:
The updated patch does this:
- The free small category is now initialised in the category of enumerated
sets, either finite (if acyclic) or infinite.
- It provides test suites for all involved parents. Being in the category
of enumerated sets, `self.some_elements()` is now a lot longer, and hence
some tests in the test suite from the category of monoids resp. of magmas
used to fail. The underlying bugs are fixed with the new patch version.
- Now `_assign_variables` is explicitly of implicitly called for free
small category and algebras. Hence `self.variable_names()` is available.
Other typically needed methods (gen, gens, ngens) were added, and I think
it is useful to have methods returning only the arrows resp. only the
idempotents of the quiver free small category or algebra.
- Now, the free small category coerces into the quiver algebra. Of course,
this is demonstrated in tests.
I am happy with the implemented features, and thus I'd appreciate a final
review!
Apply:
trac_12630_quivers_v2.patch trac12630_refactor_code.patch
trac12630-quiver_representation.patch
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/12630#comment:114>
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.
