Zulip Chat Archive
Stream: triage
Topic: issue #4709: Type vars in `data/polynomial/splitting_field`
Random Issue Bot (Aug 14 2022 at 14:13):
Today I chose issue 4709 for discussion!
Type vars in data/polynomial/splitting_field
Created by @Yury G. Kudryashov (@urkud) on 2020-10-20
Labels:
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Sep 04 2022 at 14:13):
Today I chose issue 4709 for discussion!
Type vars in data/polynomial/splitting_field
Created by @Yury G. Kudryashov (@urkud) on 2020-10-20
Labels:
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Feb 04 2023 at 14:08):
Today I chose issue 4709 for discussion!
Type vars in data/polynomial/splitting_field
Created by @Yury G. Kudryashov (@urkud) on 2020-10-20
Labels:
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Mar 02 2023 at 14:09):
Today I chose issue 4709 for discussion!
Type vars in data/polynomial/splitting_field
Created by @Yury G. Kudryashov (@urkud) on 2020-10-20
Labels:
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Aug 15 2023 at 14:07):
Today I chose issue 4709 for discussion!
Type vars in data/polynomial/splitting_field
Created by @Yury G. Kudryashov (@urkud) on 2020-10-20
Labels:
Is this issue still relevant? Any recent updates? Anyone making progress?
Eric Wieser (Aug 15 2023 at 19:57):
I assume this issue is "Field R should be Field K"?
Last updated: Dec 20 2023 at 11:08 UTC