Zulip Chat Archive

Stream: new members

Topic: Why is this running forever?

Brendan Seamas Murphy (Jul 16 2022 at 07:39):

I was trying to establish that Ch(A) has limits when A does and for some reason my proof that the cone I construct is a limit cone doesn't work. Can anyone take a look and help me figure out what's wrong? The non-working code is at https://gist.github.com/Shamrock-Frost/3754872b64482e5d04546ce72a24cfe9

Andrew Yang (Jul 16 2022 at 07:44):

I haven't looked into your code but note that this is already done in LTE.

Brendan Seamas Murphy (Jul 16 2022 at 08:14):


Last updated: Dec 20 2023 at 11:08 UTC