PR !4#7791: feat(LinearAlgebra/Matrix): define projective...

Stream: triage

[Random Issue Bot]

Today I chose PR 7791 for discussion!

feat(LinearAlgebra/Matrix): define projective special linear group
Created by @Wen Yang (@shuxuezhuyi) on 2023-10-20
Labels: awaiting-review, t-algebra

Is this PR still relevant? Any recent updates? Anyone making progress?

[Eric Wieser]

I think this is best combined with one of its downstream PRs, to make the motivation clearer

[Eric Wieser]

But those are held up by #7815

[Eric Wieser]

@Wen Yang, would you be able to address @Jireh Loreaux's comment on that PR to get things moving?

[Wen Yang]

@Eric Wieser I apologize for the long pause. I'm getting back to working on these PRs now.