Zulip Chat Archive

Stream: triage

Topic: PR #10632: feat(geometry/euclidean/ceva) : Ceva's Theorem...

Random Issue Bot (Apr 24 2022 at 14:20):

Today I chose PR 10632 for discussion!

feat(geometry/euclidean/ceva) : Ceva's Theorem, problem 61 on Freek's list
Created by @Mantas Bakšys (@MantasBaksys) on 2021-12-06
Labels: awaiting-author

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

Ruben Van de Velde (Apr 24 2022 at 14:25):

@Yaël Dillies I believe you've done some work on this - any news?

Yaël Dillies (Apr 24 2022 at 15:29):

Nothing more happened, but I am planning on writing the affine_reindex API on a rainy day. It might take a little while because Mantas and I are having our exams in a month and a half.

Random Issue Bot (May 27 2022 at 14:20):

Today I chose PR 10632 for discussion!

feat(geometry/euclidean/ceva) : Ceva's Theorem, problem 61 on Freek's list
Created by @Mantas Bakšys (@MantasBaksys) on 2021-12-06
Labels: awaiting-author

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

Random Issue Bot (Jan 10 2023 at 14:08):

Today I chose PR 10632 for discussion!

feat(geometry/euclidean/ceva) : Ceva's Theorem, problem 61 on Freek's list
Created by @Mantas Bakšys (@MantasBaksys) on 2021-12-06
Labels: awaiting-author, please-adopt

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

Last updated: Dec 20 2023 at 11:08 UTC