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.

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 ElementaryVectors, SignVectors, CertLin, and SignCRN.