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

Description¶

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

License¶

GPL-3.0-or-later

Upstream Contact¶

https://pypi.org/project/certlin/

Type¶

optional

Dependencies¶

$(PYTHON)
$(PYTHON_TOOLCHAIN)
elementary_vectors: SageMath package to work with elementary vectors, sign vectors, oriented matroids and vectors with components in intervals
sagemath_flint: Fast computations with MPFI and FLINT
sagemath_graphs: Graphs, posets, hypergraphs, designs, abstract complexes, combinatorial polyhedra, abelian sandpiles, quivers
sagemath_repl: IPython kernel, Sage preparser, doctester
sagemath_symbolics: Symbolic calculus

Version Information¶

requirements.txt:

certlin

Installation commands¶

PyPI:

$ pip install certlin

Sage distribution:

$ sage -i certlin

However, these system packages will not be used for building Sage because spkg-configure.m4 has not been written for this package; see upstream Issue #27330 for more information.