XPORTA.jl

A julia wrapper for the PORTA polyhedral analysis software.

XPORTA.jl Features

• Read/Write utilities for PORTA files.
• File IO handler for PORTA routines.

Why Use XPORTA.jl?

Ease-of-Use

• No compilation of source code.
• No required knowledge of the PORTA software.
• No need to read/write files required by PORTA.

Reproducibility

• Users all run the same PORTA binaries.

PORTA Software

"A collection of [C] routines for analyzing polytopes and polyhedra." -(http://porta.zib.de)

PORTA (POlyhedron Representation Transformation Algorithm) is a rational polyhedral solver. Polyhedra are described either by the vertex representation or by the halfspace representation. For an introduction to PORTA and polyhedral theory please review these slides.

Licensing

PORTA and XPORTA.jl are licensed under the GNU General Public License (GPL) v2.0.

Acknowledgments

Development of XPORTA.jl was made possible by the advisory of Dr. Eric Chitambar and general support from the Physics Department at the University of Illinois Urbana-Champaign. Funding was provided by NSF Award 1914440.

Citing

See PORTA_CITATION.bib for the relevant references.

Contents

• User Guide
• Exports
• Wrapping PORTA
• File IO
• Binaries
• Development Guide

Index

Exports

• XPORTA.XPORTA
• XPORTA.IEQ
• XPORTA.POI
• XPORTA.PortaMatrix
• XPORTA.dim
• XPORTA.fctp
• XPORTA.fmel
• XPORTA.portsort
• XPORTA.posie
• XPORTA.traf
• XPORTA.vint

File IO

• XPORTA.make_porta_tmp
• XPORTA.read_ieq
• XPORTA.read_poi
• XPORTA.rm_porta_tmp
• XPORTA.write_ieq
• XPORTA.write_poi

Binary Calls

• XPORTA.iespo
• XPORTA.run_valid
• XPORTA.run_xporta