Zulip Chat Archive
Stream: triage
Topic: issue #3082: Hasse invariant of quadratic forms
Random Issue Bot (Jul 24 2022 at 14:12):
Today I chose issue 3082 for discussion!
Hasse invariant of quadratic forms
Created by @Johan Commelin (@jcommelin) on 2020-06-15
Labels: feature-request
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Sep 03 2022 at 14:14):
Today I chose issue 3082 for discussion!
Hasse invariant of quadratic forms
Created by @Johan Commelin (@jcommelin) on 2020-06-15
Labels: feature-request
Is this issue still relevant? Any recent updates? Anyone making progress?
Kevin Buzzard (Sep 03 2022 at 18:14):
Amelia Livingston is pushing on with group cohomology, which is really a prerequisite for this; please feel free to review/merge #16258 !
Johan Commelin (Sep 03 2022 at 19:26):
Thanks for the pointer @Kevin Buzzard . I see that there is an unprocessed comment by Joël Riou. Also, the PR was not tagged awaiting-review, which means it will certainly get lost.
Kevin Buzzard (Sep 03 2022 at 19:29):
Oh many thanks for catching this Johan!
Random Issue Bot (Oct 03 2022 at 14:38):
Today I chose issue 3082 for discussion!
Hasse invariant of quadratic forms
Created by @Johan Commelin (@jcommelin) on 2020-06-15
Labels: feature-request
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Nov 25 2022 at 14:08):
Today I chose issue 3082 for discussion!
Hasse invariant of quadratic forms
Created by @Johan Commelin (@jcommelin) on 2020-06-15
Labels: feature-request
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Mar 13 2023 at 14:08):
Today I chose issue 3082 for discussion!
Hasse invariant of quadratic forms
Created by @Johan Commelin (@jcommelin) on 2020-06-15
Labels: feature-request
Is this issue still relevant? Any recent updates? Anyone making progress?
Kevin Buzzard (Mar 13 2023 at 14:11):
Amelia Livingston is pushing on with group cohomology, which is really a prerequisite for this; please feel free to review/merge #18341 ! (or rather the PRs it depends on; the one which is awaiting review is #18148)
Last updated: Dec 20 2023 at 11:08 UTC