Skip to content

Latest commit

 

History

History
42 lines (22 loc) · 2.34 KB

INSTALL.md

File metadata and controls

42 lines (22 loc) · 2.34 KB
Raw

Installation instructions

Setting your Python path

Make sure you have Python 2.7 installed. To run Polya, the Polya module needs to be in your Python path. For example, in a Unix bash shell, use

export PYTHONPATH=PYTHONPATH:path/to/directory

where "directory" contains the contents of the distribution, including the folder named "polya". If you will be using Polya regularly, it is convenient to add this line to your .bashrc.

In Windows, open a command prompt window and type

set PYTHONPATH=%PYTHONPATH%;C:\Path\to\directory

Or select My Computer > Properties > Advanced System Settings > Environment Variables and create (or modify) the PYTHONPATH variable to include C:\Path\to\directory

Installing the geometry packages

Polya can make use of more efficient geometric methods to handle additive and multiplicative information. To to take advantage of these capabilities, you need to have the following software installed:

  1. The Gnu Multiple Precision library, GMP. Typically you can install this using a package manager on Unix systems. It is often included in Windows binaries, so you may be able to skip this step for Windows systems.

  2. Komei Fukuda's cddlib, with Python bindings. On Unix systems, use EasyInstall to install this. Note that EasyInstall is bundled with setuptools, which is typically available from a package manager. On Windows, simply download and run the relevant binaries (.exe).

    Note: there are bugs in the versions of lrs and redund found in some package managers. When you download the binaries in Unix, you may have to set the executable flag:

     chmod a+x lrs redund

  3. David Avis' lrs and redund.

    Linux or Windows: download the appropriate binary files (Linux, Windows) and put them in

     /Path/to/Polya/polya/polyhedron

    or anywhere in your runtime path.

    Other systems: follow the instructions here.