#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: Fix doctests. Use existing infrastructure for homspace/morphism.
Report Upstream: N/A |
Reviewers:
Authors: Jim Stark, Simon King, Mathieu Guay-Paquet, Aladin Virmaux |
Merged in:
Dependencies: #12412, #12413 |
Stopgaps:
------------------------------------------------------------------------------+
Comment (by SimonKing):
I saw today that Quiver is still using a `UniqueFactory`, which, I think,
it should not do. It should use `UniqueRepresentation`, and actually I
thought that I had done the change already in my first patch.
Pro: With `UniqueRepresentation`, it has ''much'' faster comparison and
hash.
Con: If you want to compare a quiver Q and a digraph D, you may have
`D==Q` but `Q!=D`. I, for one, would accept this drawback.
I suggest that I will do the transition to `UniqueFactory` on top of
trac_12630_quivers_v2.patch quiver_distributed_code.patch
trac_12630_fix_import_statement.patch trac_12630_fix_some_errors.patch,
and we can take care of the last few remaining errors after this change.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/12630#comment:71>
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.