Requirements:
- Install Macaulay2 (http://www.math.uiuc.edu/Macaulay2/)
- Download Boost Library 1.55.0 (http://www.boost.org/doc/libs/) NOTE: If you want to use a different version of the Boost Library, you will have to edit the file NetReductionBoost/Makefile accordingly (Step 3 in Compiling)
- Download BNReduction.zip
- Have gcc, g++, perl, bash
Compiling:
- Unzip BNReduction.zip
- Move the Boost Library folder to the BNReduction folder
- Make sure the contents of the file NetReductionBoost/Makefile and your version of the Boost Library match (only necessary if using a different version of Boost Library).
- Go to BNReduction
- make clean
- make install
- ./Testing_BNReduction.sh (this is used to check that everything is working)
Usage:
./BNReduction.sh inputfile
The file with steady states will be generated into inputfile.fp (if it has no lines, that means there are no fixed points)
NOTE: The input file must be a file where each line has a Boolean function for each variable. E.g., the following is a Boolean network in 4 variables:
x1 & x2
0
!x2 | x4
1
The variables must range from x1 to xn. The folder Examples has some examples of Boolean networks in the necessary format.
How to cite:
- A. Veliz-Cuba, B. Aguilar, F. Hinkelmann and R. Laubenbacher. Steady state analysis of Boolean molecular network models via model reduction and computational algebra. BMC Bioinformatics, 2014.
Additional references: 2. A. Veliz-Cuba, B. Aguilar, and R. Laubenbacher. Dimension Reduction of Large Sparse AND-NOT Network Models. Electronic Notes in Theoretical Computer Science. Accepted, 2014. (see also arxiv.org/abs/1311.6868). 3. A. Veliz-Cuba, K. Buschur, R. Hamershock, A. Kniss, E. Wolff and R. Laubenbacher. AND-NOT logic framework for steady state analysis of Boolean network models. Applied Mathematics and Information Sciences. 7(4): 1263-1274, 2013. 4. A. Veliz-Cuba. Reduction of Boolean Network Models. Journal of Theoretical Biology, 289:167-172, 2011. 5. F. Hinkelmann, M. Brandon, B. Guang, R. McNeill, G. Blekherman, A. Veliz-Cuba and R. Laubenbacher. ADAM: Analysis of Discrete Models of Biological Systems Using Computer Algebra. BMC Bioinformatics, 12:295, 2011. 6. A. Veliz-Cuba, A. Jarrah and R. Laubenbacher. The Polynomial Algebra of Discrete Models in Systems Biology. Bioinformatics, 26:1637-1643, 2010. References 2-6 cover all the mathematical theory behind reference 1.
License: Free for any academic/educational/any other non-profit use; in which case, you can do whatever you want with this code. No restrictions of any kind, explicit or implied.
For commercial purposes it is still free for up to a month (for evaluation). Afterwards, please contact the authors.
Warranty: No warranty of any kind, explicit or implied.