#===================================================
#
#  README file for experimental results supplementary information for the paper:
#  Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains
#  R. Bradford, C. Chen, J.H. Davenport, M.England, M. Moreno Maza and D. Wilson
#
#  Available from: http://opus.bath.ac.uk/38344/
#  Last modified: 3rd June 2014
#
#===================================================

See the file "BCDEMW14-Examples.txt" for the input to the experiments.  It is organised into sections suitable for the different algorithms tested.

All those algorithms developed by the authors use the software package, Maple, developed by Maplesoft:
http://www.maplesoft.com/ (accessed 3rd June 2014).

The tests in Maple were carried out using:
- A development version of Maple sourced on 21st October 2013.  The closest publicly available version is Maple 18.
- A development version of The RegularChains Library sourced in 4th April 2014.  A version with the relevant material is not currently publicly available, but should become so in the future at: 
http://www.regularchains.org/ (accessed 3rd June 2014).

In addition, the tests for the algorithms starting PL used the package ProjectionCAD available from:
http://opus.bath.ac.uk/35636/

The tests for algorithms not written by the authors were run using publicly available software and cited and detailed in the paper.