#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: Travis Scrimshaw
Authors: Miguel Marco, | Work issues:
John Palmieri | Commit:
Report Upstream: N/A | 7b6f118fda2362a592f6d627c608674166ee5841
Branch: | Stopgaps:
public/algebras/cdga-16508 |
Dependencies: #17224 |
-------------------------------------+-------------------------------------
Comment (by tscrim):
Replying to [comment:43 jhpalmieri]:
> What syntax are you imagining? `A.differential().cohomology()`?
Something like this would not be discoverable by tab completion. I think
it makes a lot of sense to have a class for commutative DG algebras, and
for instances of those, you should be able to call `B.cohomology()`, etc.
That's no more tab completable than `A.CDGAlgebra().cohomology()`. The
semantic would be `d = A.differential({some: data})`. However I'm not
saying that removing the `CDGAlgebra` class is the best or right thing to
do based on my current data/ideas. Yet I'm thinking of putting the
actually implementations in the differential class and having
`CDGAlgebra`'s corresponding methods call the corresponding differential's
method in case we want to remove the class. IMO those methods fits
naturally with the differential as well.
--
Ticket URL: <http://trac.sagemath.org/ticket/16508#comment:44>
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.
