Zulip Chat Archive

Stream: graph theory

Topic: making mwes


view this post on Zulip Alena Gusakov (Aug 12 2020 at 14:22):

So I'm currently struggling to put together an mwe for a question I'd like to ask because of the various imports from within the project, like my lemma sort of builds on a lot of different definitions

view this post on Zulip Alena Gusakov (Aug 12 2020 at 14:22):

Since we're all more or less working on the same code, would it be alright if I just posted mwes with imports from within the project? (going to include my own definitions/lemmas in the mwe of course)

view this post on Zulip Bhavik Mehta (Aug 12 2020 at 14:30):

I think it's still instructive to try to minimise your code to see exactly where the problem is, but you can probably just post a we anyway

view this post on Zulip Bhavik Mehta (Aug 12 2020 at 14:31):

In particular back when I was starting out I sometimes managed to figure out what the actual problem was in the process of minimising, and learnt quite a bit that way

view this post on Zulip Alena Gusakov (Aug 12 2020 at 14:32):

It's not exactly a problem, it's more a question of how I should approach proving a lemma

view this post on Zulip Bhavik Mehta (Aug 12 2020 at 14:32):

Ah fair, in that case a we should be fine :)

view this post on Zulip Alena Gusakov (Aug 12 2020 at 14:32):

Like I have the rough outline of how it should go, I just have a specific question about one step of the implementation

view this post on Zulip Alena Gusakov (Aug 12 2020 at 14:32):

okay cool lol

view this post on Zulip Alena Gusakov (Aug 12 2020 at 14:46):

just kidding, i realized that there are a lot of differences between what i'm working on and what's in the hedetniemi branch

view this post on Zulip Aaron Anderson (Aug 12 2020 at 17:29):

I've been working on code that's probably more similar to yours, if you want to post anyway


Last updated: May 08 2021 at 22:13 UTC