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
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