Open JoeyBF opened 1 year ago
I don't have time to investigate at the moment, but I'll note that h3 d0 is already zero (if only there were a computer program that could tell us that...), but computing that does not panic.
The failure is in very low degree so I would guess a few prints would quickly pinpoint the issue.
Yes, the same problem happens with a = h0^2. If b is killed by h0^2 but not h0, there's no panic. But if b is also killed by h0 itself, it panics
Just to check my maths <h0², b, -> is just <h0, b, h0> multiplication (up to indeterminacy), right?
On 27 November 2022 10:30:38 pm GMT-05:00, Joey Beauvais-Feisthauer @.***> wrote:
Yes, the same problem happens with a = h0^2. If b is killed by h0^2 but not h0, there's no panic. But if b is also killed by h0 itself, it panics
-- Reply to this email directly or view it on GitHub: https://github.com/SpectralSequences/sseq/issues/116#issuecomment-1328489059 You are receiving this because you commented.
Message ID: @.***>
My gut is telling me no but I can't think of a counterexample. You might be right.
BTW I think the bug is because it tries to lift homotopies when the product is not nullhomotopic. I just caught it trying to compute a homotopy for h1 * 1 (the identity in (0,0))
If I'm not mistaken, the product h3^2 * d0 is zero (the target bidegree is empty). However, trying to compute the Massey products gives me the following error: