Welcome to pypolycontain’s documentation!

pypolycontain is a python package for polytopic objects, operations, and polytope containment problems. It is written as part of a project for verification and control of hybrid systems.

Setup

Installation is now easy:

pip install pypolycontain

Or download, and:

python3 setup.py install

Dependencies:

• numpy (Use latest version)

Optional dependencies (for some features)

• Drake (Use latest version)
• pycdd (Use latest version)
• Gurobi (Version 8.0.1 or later) Free Academic License
• scipy (Use latest version)

Contents:

• Examples
  • Getting Started
    • Objects
    • Visualization
    • Operations
• Objects
  • H-polytope
  • V-polytope
  • AH-polytope
  • Zonotope
  • Unitbox
• Operations
• Conversions
• Visualization

Indices and tables

• Index
• Module Index
• Search Page

Main Developer

• Sadra Sadraddini

Contributors

• Albert Wu
• Kasra Ghasemi