#16508: Add Commutative graded differential algebras.
-------------------------------------+-------------------------------------
Reporter: mmarco | Owner:
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.4
Component: algebra | Resolution:
Keywords: sd58, sd59, | Merged in:
algebras, nonconmutative, graded | Reviewers:
Authors: mmarco | Work issues:
Report Upstream: N/A | Commit:
Branch: | 1c136cbfe994c196401d18dba99737cf351bcac0
u/jhpalmieri/DGA_new | Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Comment (by tscrim):
Replying to [comment:35 mmarco]:
> So i guess that means that we cannot write a method to compute the
cohomology algebra of a cdga. Unless there is some algorithm that can
compute it in some cases. Or that we somehow implement infinitely
generated cdga's.
We currently don't have any support for (possibly) infinite (co)chain
complexes, but it should be easy enough to implement by doing something
like
{{{#!python
class InfiniteChainComplex(Parent):
def __init__(self, grading_group, degree, chain_map, etc):
# Store all of the necessary input data
def homology(self, i, R):
# Return the homology of a finite chain complex that
# determines the i-th homology (i.e., truncate ``self``)
}}}
Side note - As far as I know, we don't have a way to compute the cup
product in Sage (but I haven't looked very hard). I think this would be
useful. I also found this on a quick web search:
http://www.pawelpilarczyk.com/preprint/2013cubi.pdf.
--
Ticket URL: <http://trac.sagemath.org/ticket/16508#comment:37>
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.
