Dataset supporting the paper:

Russell Bradford, James H. Davenport, Matthew England, Hassan Errami, Vladimir Gerdt, Dima Grigoriev, Charles Hoyt, Marek Košta, Ovidiu Radulescu, Thomas Sturm, and Andreas Weber. A Case Study on the Parametric Occurrence of Multiple Steady States. In Proceedings of ISSAC ’17, Kaiserslautern, Germany, July 25-28, 2017, 8 pages. ACM, 2017.
https://doi.org/http://dx.doi.org/10.1145/3087604.3087622
Preprint: https://arxiv.org/abs/1704.08997

We provide all the accompanying material for the main symbolic computations in Section 2.1

###############
Section 2.1.1
###############

The computations were carried out within the following setting:

1. Compiled and functional Reduce system r3606 is available and the
environment variable $trunk points to the trunk of Reduce source tree
(e.g. ~/reduce-algebra/trunk). To compile and install Reduce see:
http://redlog.eu/reduce-wiki/index.php/Installation

2. Compiled and functional QEPCAD B v1.69 is installed and it is
possible to call QEPCAD from Reduce (via rlqepcad). To compile and
install QEPCAD see: https://www.usna.edu/CS/qepcadweb/B/QEPCAD.html

To reproduce the experiments reported in the paper go:

./generate-problems-onevar.py

./compute-all.sh --csl ~/reduce-algebra/trunk ./problems-onevar 4

./einsetzen.sh

A few notes BEFORE YOU RUN:

1. To try a different value of k19, edit the file solbiomod26.red.
Currently we set k19 = 500.

2. It is advised to run these test on a multicore machine, e.g., we
used 32 cores (the last argument of ./compute-all.sh script) for
trying the 3^11 candidates (einsetzen.sh script).

3. The script generate-problems-assignmnets.py (called from
einsetzen.sh) creates 3^11 test files!

4. The potential values to be tried using interval refinement are
described as real algebraic numbers, i.e., pairs of polynomial and
isolating interval. These numbers are stored in assignment files
(assignment-<var>-<possibility#>) produced by ./gml-to-red.py (called
from einsetzen.sh)

###############
Section 2.1.2
###############

These computation were conducted in commercial Computer Algebra System, Maple 2016.  We have included the Maple Worksheet file which is annotated to describe the calulations in detail.  We also include a pdf printout of the worksheet which those without access to Maple can read.