Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add binary convex_hull method to API module #3662

Merged
merged 1 commit into from
Feb 13, 2025
Merged

Conversation

schillic
Copy link
Member

As an alternative to this PR, I was wondering whether we should remove the binary convex_hull method from the library.

The convex hull is traditionally defined for a single set. Originally, there was no way to express unions of two sets, but now we can express that via a UnionSet. So it feels a bit arbitrary that we offer this binary method.

A similar argument goes for the lazy binary operation ConvexHull, which could be turned into a unary operation.

@schillic schillic added the discussion 🗣️ Requires human input label Dec 11, 2024
@schillic schillic marked this pull request as ready for review December 12, 2024 06:32
@mforets
Copy link
Member

mforets commented Feb 13, 2025

I think we should keep convex_hull / ConvexHull binary operations as they are common in reachability algorithms.

For the unary, lazy convex hull, we could define: ConvexHull(X) = ConvexHull(X, X).

@schillic schillic removed the discussion 🗣️ Requires human input label Feb 13, 2025
@schillic schillic force-pushed the schillic/convex_hull branch from c4a1828 to dd0607f Compare February 13, 2025 18:36
@schillic schillic merged commit e4283d1 into master Feb 13, 2025
7 checks passed
@schillic schillic deleted the schillic/convex_hull branch February 13, 2025 19:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants