Figure 1

Main functionalities of the analysis workflow. First, extremal vertices of the simplex polyhedron of plausible flux distributions have to be computed, including the case when this space is not bounded. Then, formal algebra is required to obtain a symbolic representation of AIO matrices, expressed as a formal function, where the variables are the coefficients of a plausible flux distribution. Finally, extrema of the AIO coefficients are computed among the complete simplex of plausible flux distributions, either with the existing optimization routine or with dedicated local-search algorithms.