Manual
manual
User Manual:
Open the PDF directly: View PDF
Page Count: 251 [warning: Documents this large are best viewed by clicking the View PDF Link!]
- User Manual
- Introduction
- License
- Installation
- Integer Set Library
- Memory Management
- Initialization
- Return Types
- Values
- Sets and Relations
- Error Handling
- Identifiers
- Spaces
- Local Spaces
- Creating New Sets and Relations
- Inspecting Sets and Relations
- Points
- Functions
- Input and Output
- Properties
- Unary Operations
- Binary Operations
- Ternary Operations
- Lists
- Associative arrays
- Vectors
- Matrices
- Bounds on Piecewise Quasipolynomials and Piecewise Quasipolynomial Reductions
- Parametric Vertex Enumeration
- Polyhedral Compilation Library
- Applications
- Implementation Details
- Further Reading