Manual
manual
manual
User Manual:
Open the PDF directly: View PDF
Page Count: 122 [warning: Documents this large are best viewed by clicking the View PDF Link!]
- User Manual
- Introduction
- Installation
- Library
- Initialization
- Integers
- Sets and Relations
- Memory Management
- Error Handling
- Identifiers
- Spaces
- Local Spaces
- Input and Output
- Creating New Sets and Relations
- Inspecting Sets and Relations
- Properties
- Unary Operations
- Binary Operations
- Lists
- Vectors
- Matrices
- Piecewise Quasi Affine Expressions
- Piecewise Multiple Quasi Affine Expressions
- Points
- Piecewise Quasipolynomials
- Bounds on Piecewise Quasipolynomials and Piecewise Quasipolynomial Reductions
- Dependence Analysis
- Scheduling
- Parametric Vertex Enumeration
- Applications
- Implementation Details
- References