Software
SageMath packages
I develop several open-source packages for SageMath. All my packages follow an objective-oriented design and apply caching and lazy evaluation to improve performance. The documentation is generated automatically from the docstrings and the many examples are doctested.
The packages are available on GitHub, PyPI and Zenodo.
ElementaryVectors
A package for the computation of circuits and cocircuits of a matrix.
SignVectors
This package provides classes for sign vectors and oriented matroids.
CertLin
A package for certifying solvability and unsolvability of linear inequality systems using circuits.
SignCRN
A package for computing sign vector conditions for the existence and uniqueness of equilibria of chemical reaction networks with (generalized) mass-action kinetics.
Sign and Elementary Vector Applications
This repository provides examples and applications of the SageMath packages above.