Metadata-Version: 2.4
Name: certlin
Version: 1.1
Summary: a SageMath package to work with linear inequality systems and certify (un)solvability of them
Home-page: https://github.com/MarcusAichmayr/certlin
Author: Marcus S. Aichmayr
Author-email: aichmayr@mathematik.uni-kassel.de
License: GPL-3.0-or-later
Keywords: linear inequality systems,intervals,certification,elementary_vectors,circuits,cocircuits,vectors
Classifier: Development Status :: 4 - Beta
Classifier: Programming Language :: Python :: 3
Classifier: Operating System :: OS Independent
Classifier: Intended Audience :: Science/Research
Classifier: Topic :: Scientific/Engineering :: Mathematics
Description-Content-Type: text/markdown
License-File: LICENSE
Requires-Dist: elementary_vectors>=2.1
Requires-Dist: sign_vectors>=1.1
Provides-Extra: passagemath
Requires-Dist: passagemath-symbolics; extra == "passagemath"
Requires-Dist: passagemath-flint; extra == "passagemath"
Requires-Dist: passagemath-graphs; extra == "passagemath"
Requires-Dist: passagemath-repl; extra == "passagemath"
Dynamic: author
Dynamic: author-email
Dynamic: classifier
Dynamic: description
Dynamic: description-content-type
Dynamic: home-page
Dynamic: keywords
Dynamic: license
Dynamic: license-file
Dynamic: provides-extra
Dynamic: requires-dist
Dynamic: summary

# Certlin

## Description

SageMath package for linear inequality systems and certifying (un)solvability

## License

Distributed under the terms of the GNU General Public License (GPL, see the
LICENSE file), either version 3 or (at your option) any later version

- http://www.gnu.org/licenses/

## Requirements

Sage 10.0 or later is recommended.

## Installation

### Install from GitHub (recommended)

To install the latest development version on a system where Sage
was built from source or installed from official packages, run:

    sage -pip install git+https://github.com/MarcusAichmayr/certlin.git

### Install from PyPI (recommended)

To install the package for Python directly, run:

    pip install certlin

### Local install from source

Download the source from the git repository:

    git clone https://github.com/MarcusAichmayr/certlin.git

Change to the root directory of the repository and run:

    make install

### Local install from source (no Sage installation required)

Download the source from the git repository:

    git clone https://github.com/MarcusAichmayr/certlin.git

Change to the root directory of the repository and run:

    python3 -m venv venv
    . venv/bin/activate
    pip install -v -e ".[passagemath]"

## Documentation

The documentation of this package is available on GitHub:

https://marcusaichmayr.github.io/certlin/index.html

To generate it, run

    make doc

or

    make doc-pdf

at the root directory of the repository.

## Testing

To run the test suite, install the package and run the command

    make test

at the root directory of the repository.
