Reviving this thread from 2017:
If anyone still has access to these files: It would be good to upload them
as Release Assets to https://github.com/sagemath/sage/releases -- note I
just created releases going back to 2.10.1 as part of an effort to
consolidate release notes.
On Wednesday, May 10
Ah, it would make it harder to compute cohomology. I haven't run into that
problem because I am not working in a context where you would want to do
that.
(To set my context: I am working with differential forms, but without
writing everything out in coordinates, as one might do on a Lie group wi
The problem with that approach is that, if there are degree zero
generators, the homogeneous part of each degree becomes an infinite
dimensional vector space. And hence, we can't compute a matrix representing
the differential operator in a given degree (which is needed to compute
cohomology).
I would like to propose a simple but large improvement to the
commutative_dga package.
In short, one currently cannot use the package to create graded commutative
algebras that include non-closed degree 0 terms.
(For example, this exclude the package from being used for the algebra of
differenti