Zulip Chat Archive

Stream: triage

Topic: issue #2551: Quadratic forms over R — Sylvester's law of ...


view this post on Zulip 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?

view this post on Zulip 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?

view this post on Zulip 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?

view this post on Zulip Kevin Buzzard (Feb 19 2021 at 15:24):

@Jason KY. are you close to being able to prove this?

view this post on Zulip 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.

view this post on Zulip 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

view this post on Zulip 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?

view this post on Zulip 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: May 18 2021 at 22:15 UTC