SageMath package for linear inequality systems and certifying (un)solvability
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
Sage 10.0 or later is recommended.
The package elementary_vectors is required.
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
To install the package for Python directly, run:
pip install certlin
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
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]"
The documentation of this package is available on GitHub:
To generate it, run
make doc
or
make doc-pdf
at the root directory of the repository.
To run the test suite, install the package and run the command
make test
at the root directory of the repository.