Re: [sage-devel] broken: http://old.files.sagemath.org/src-old/

2024-08-17 Thread Matthias Koeppe
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

[sage-devel] Re: Proposal: allow commutative_dga package to include degree zero terms

2024-08-17 Thread Benjamin McMillan
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

[sage-devel] Re: Proposal: allow commutative_dga package to include degree zero terms

2024-08-17 Thread mmarco
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).

[sage-devel] Proposal: allow commutative_dga package to include degree zero terms

2024-08-17 Thread Benjamin McMillan
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