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.

Sign up for GitHub

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

Jump to bottom

Lazy intersection of hyperplane and polytope using 2D decompositions #676

Closed
mforets opened this issue Sep 26, 2018 · 0 comments
Closed

Lazy intersection of hyperplane and polytope using 2D decompositions #676

mforets opened this issue Sep 26, 2018 · 0 comments
Assignees
@mforets
Labels
feature ➕ A new feature
Milestone
Intersection

Comments

@mforets
Copy link
Member

mforets commented Sep 26, 2018

See: Le Guernic's thesis, Proposition 8.2 in Chapter 8.
@mforets mforets added the feature ➕ A new feature label Sep 26, 2018
@mforets mforets added this to the Intersection milestone Sep 26, 2018
@mforets mforets changed the title Intersection of hyperplane and polytope using 2D decompositions Lazy intersection of hyperplane and polytope using 2D decompositions Oct 1, 2018
This was referenced Oct 3, 2018
Merged
Open
mforets added a commit that referenced this issue Oct 4, 2018
@mforets
Merge pull request #694 from JuliaReach/mforets/676
827206d 
#676 - Add _projection method for set - hyperplane lazy intersection
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@mforets mforets

Labels
feature ➕ A new feature
Projects
None yet
Milestone
Intersection
Development

No branches or pull requests
1 participant
@mforets