Re: [sage-devel] Re: [debian-science] Modularized sagemath packages: proof of concept

2024-10-06 Thread Robert Bruner
ly said this in response to some past posts making the same point. I agree with them too. Robert Bruner From: sage-devel@googlegroups.com on behalf of G. M.-S. Sent: Sunday, October 6, 2024 11:41 AM To: sage-devel@googlegroups.com Subject: Re: [sage-dev

Re: [sage-devel] Re: Ask about the SageMath codebase using ChatGPT

2023-07-01 Thread Robert Bruner
For example, I asked how to compute a resolution of a module over the Steenrod algebra. The answer is basically right, but contains the misleading phrase "To prove that the output is a resolution, we can check that the composition of consecutive maps results in the zero map by using the helper

Re: [sage-devel] Re: Graded modules over the Steenrod algebra: The degree of zero elements

2020-07-19 Thread Robert Bruner
Hi John, Your question is a good one, to look at the places where the notion that 0 has no degree causes extra effort.I have strong memories of having to go through minor but annoying contortions to deal with this, both in sage and in MAGMA, for decades now, but don't have examples fresh in