#19634: Implement Hochschild (co)homology
-------------------------------------+-------------------------------------
Reporter: tscrim | Owner: tscrim
Type: enhancement | Status: new
Priority: major | Milestone: sage-6.10
Component: categories | Resolution:
Keywords: | Merged in:
Authors: Travis Scrimshaw | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
public/homology/hochschild-19634 | cf8cf9e2c7a320b361cdca0c0542c2eedbb96338
Dependencies: #19609, #19608 | Stopgaps:
-------------------------------------+-------------------------------------
Changes (by tscrim):
* commit: => cf8cf9e2c7a320b361cdca0c0542c2eedbb96338
* branch: => public/homology/hochschild-19634
Comment:
Here's an initial mock-up. Thought you might be interested. Also I was
wondering if you knew of a better way to compute the cohomology and how
much you think we should abstract these concepts for doing more general
homology computations?
Related, would you be interested in an implementation of modules and free
resolutions over polynomial rings?
----
New commits:
||[http://git.sagemath.org/sage.git/commit/?id=55a5aac263fb25bb60940a069920747154b4d591
55a5aac]||{{{Added image and kernel to finite-dimensional modules with
basis.}}}||
||[http://git.sagemath.org/sage.git/commit/?id=0010ab5f4f547eb0cb6644cb3db6f632ae2214ff
0010ab5]||{{{Better __eq__ tests for module morphisms and removing
cached_method.}}}||
||[http://git.sagemath.org/sage.git/commit/?id=c13fbd22d4500ece2ade8230b6d723deba3e03bb
c13fbd2]||{{{Fixing an __eq__.}}}||
||[http://git.sagemath.org/sage.git/commit/?id=289d8c22e5fca2ef89131e7095516861bdd8e3d1
289d8c2]||{{{Making the output of cached methods immutable.}}}||
||[http://git.sagemath.org/sage.git/commit/?id=ac84d20c994d818067c95b8057fee16beecd8a03
ac84d20]||{{{Adding a check for finite-dimensionality for tensor
products.}}}||
||[http://git.sagemath.org/sage.git/commit/?id=01d25ff4aeed12cf288d0a6815e4bc4245bf2ab5
01d25ff]||{{{Added tensor products of modules.}}}||
||[http://git.sagemath.org/sage.git/commit/?id=cf8cf9e2c7a320b361cdca0c0542c2eedbb96338
cf8cf9e]||{{{Initial version of Hochschild (co)homology.}}}||
--
Ticket URL: <http://trac.sagemath.org/ticket/19634#comment:1>
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.
