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

Use support function in iterative refinement #1187

Open
schillic opened this issue Mar 2, 2019 · 2 comments
Open

Use support function in iterative refinement #1187

schillic opened this issue Mar 2, 2019 · 2 comments
Labels
extension ⬆️ Extension of an existing feature performance 🐎 More efficient code refactoring 🔧 Internal code changes, typically no impact on API

Comments

@schillic
Copy link
Member

schillic commented Mar 2, 2019

Follow-up of #1178.

In iterative refinement, we compute the support vectors. However, I would say that we could instead compute the support functions, which can be more efficient for certain set types.

@schillic schillic added performance 🐎 More efficient code refactoring 🔧 Internal code changes, typically no impact on API labels Mar 2, 2019
@schillic schillic added the extension ⬆️ Extension of an existing feature label Mar 26, 2019
@schillic
Copy link
Member Author

schillic commented Mar 26, 2019

This is even needed for lazy intersections which do not provide the support vector.
x-ref: #1320

@schillic
Copy link
Member Author

Another set type that needs this is the continuous convex hull in ReachabilityAnalysis.jl.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
extension ⬆️ Extension of an existing feature performance 🐎 More efficient code refactoring 🔧 Internal code changes, typically no impact on API
Projects
None yet
Development

No branches or pull requests

1 participant