#16508: Add Commutative graded differential algebras.
-------------------------------------+-------------------------------------
Reporter: mmarco | Owner:
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.3
Component: algebra | Resolution:
Keywords: sd58, algebras, | Merged in:
nonconmutative, graded | Reviewers:
Authors: mmarco | Work issues:
Report Upstream: N/A | Commit:
Branch: | 6a80cf5faaa4f1318f455969c9e0c8aa0d3092f1
u/mmarco/ticket/16508 | Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Comment (by jhpalmieri):
Replying to [comment:9 mmarco]:
> Replying to [comment:7 jhpalmieri]:
> > I like the fact that the branch here uses `QuotientRing_nc`, which
mine doesn't do. On the other hand, I think that a differential graded
algebra should be endowed with a differential: the differential should not
be a separate piece of structure.
>
> I talked with saraedum about that. My original idea was that, but it had
some problems:
>
> 1) If the differential is to be defined at creation time, we can not use
elements of the parent to determine it, so we should give tuples of
dictionaries or something like that. Not user friendly at all.
>
> 2) If we set the differential after the object creation, the parent is
mutable, which is a problem for pickling, unique representation and so on.
>
> So after considering all, i think that this approach is a decent
compromise between user friendlyness and immutability
Take a look at how I did it in my branch.
--
Ticket URL: <http://trac.sagemath.org/ticket/16508#comment:11>
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/d/optout.
