Skip to content

Zonotopes / Support Function / Random Polytopes#1

Open
gleasonj wants to merge 12 commits into
heirung:masterfrom
gleasonj:master
Open

Zonotopes / Support Function / Random Polytopes#1
gleasonj wants to merge 12 commits into
heirung:masterfrom
gleasonj:master

Conversation

@gleasonj

@gleasonj gleasonj commented Mar 4, 2020

Copy link
Copy Markdown

Hey, I'm happy to see a polytope library available on python. Was getting tired of having to write it all in MATLAB.

I work in topics focusing on high-dimensional reachability analysis. So using sets which are large enough in size that trying to solve the vertex-facet enumeration problem is just problematically limiting. So I've been using your base to try to work on developing some code for that. Specifically, I have tried to build up some basic code for Zonotopes, Support Function, and Random Polytope constructions.

Along the way I also added some basic support inside the polytope class for things like singleton vertex sets.

Thanks for all you work on creating the toolbox and getting CDD linked. That stuff seems like a pain.

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.

1 participant