Zulip Chat Archive
Stream: triage
Topic: issue #2551: Quadratic forms over R — Sylvester's law of ...
Random Issue Bot (Dec 29 2020 at 14:29):
Today I chose issue 2551 for discussion!
Quadratic forms over R — Sylvester's law of inertia
Created by @Johan Commelin (@jcommelin) on 2020-04-28
Labels: feature-request
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Jan 25 2021 at 14:46):
Today I chose issue 2551 for discussion!
Quadratic forms over R — Sylvester's law of inertia
Created by @Johan Commelin (@jcommelin) on 2020-04-28
Labels: feature-request
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Feb 19 2021 at 14:20):
Today I chose issue 2551 for discussion!
Quadratic forms over R — Sylvester's law of inertia
Created by @Johan Commelin (@jcommelin) on 2020-04-28
Labels: feature-request
Is this issue still relevant? Any recent updates? Anyone making progress?
Kevin Buzzard (Feb 19 2021 at 15:24):
@Jason KY. are you close to being able to prove this?
Jason KY. (Feb 19 2021 at 15:28):
I think this is doable (we are missing a few definitions I believe) but I don't think it's smart to start to prove this if there is going to be a refactor in this region of the library.
Jason KY. (Feb 19 2021 at 15:43):
Now that I reminded myself of the version of the proof I learnt, all we need is #5814 and then the complex version is immediate and the real should be simple as well with some work
Random Issue Bot (Mar 27 2021 at 14:22):
Today I chose issue 2551 for discussion!
Quadratic forms over R — Sylvester's law of inertia
Created by @Johan Commelin (@jcommelin) on 2020-04-28
Labels: feature-request
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Apr 24 2021 at 14:24):
Today I chose issue 2551 for discussion!
Quadratic forms over R — Sylvester's law of inertia
Created by @Johan Commelin (@jcommelin) on 2020-04-28
Labels: feature-request
Is this issue still relevant? Any recent updates? Anyone making progress?
Last updated: Dec 20 2023 at 11:08 UTC