#6102: cohomology ring of simplicial complexes
-------------------------------------+-------------------------------------
Reporter: bantieau | Owner: bantieau
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.10
Component: algebraic | Resolution:
topology | Merged in:
Keywords: | Reviewers: Travis Scrimshaw
Authors: John Palmieri | Work issues:
Report Upstream: N/A | Commit:
Branch: u/tscrim/AT-model | 37517531687fffbe421b2d882e3073dcb13144e1
Dependencies: #19179 | Stopgaps:
-------------------------------------+-------------------------------------
Changes (by tscrim):
* commit: 12d4cc771196f0ee301198a6ee89485a4faafb98 =>
37517531687fffbe421b2d882e3073dcb13144e1
* branch: u/jhpalmieri/AT-model => u/tscrim/AT-model
Comment:
Done. I spent so much time trying to get the `cup_product` to iterate over
cohomology, but I realized that it was support to be over homology...
Anyways, it works now. With the category framework, I was able to remove
`__pow__` (at a small cost of a not correct error for negative powers, at
least for now I didn't want to muck with the `AlgebrasWithBasis` code). So
if you're happy with my changes, then you can set a positive review.
----
New commits:
||[http://git.sagemath.org/sage.git/commit/?id=8b59ed360471d53e7686d414cdf5cb95a6ab74f0
8b59ed3]||{{{Making (co)homology into a graded module (algebra).}}}||
||[http://git.sagemath.org/sage.git/commit/?id=37517531687fffbe421b2d882e3073dcb13144e1
3751753]||{{{Making Sq work for inhomogeneous elements.}}}||
--
Ticket URL: <http://trac.sagemath.org/ticket/6102#comment:40>
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.
