Dataset supporting the paper: Improving the use of equational constraints in cylindrical algebraic decomposition

Data collection method:

The data collection was by recording cell counts of CAD algorithms in various computer algebra systems. A full explanation can be found in the paper this data set supports.

Data processing and preparation activities:

The numbers reported in the paper were cell counts taken from running the code provided in this dataset.

Technical details and requirements:

To run the Maple worksheet you will need a copy of the commercial computer algebra software Maple. This is currently available from http://www.maplesoft.com/products/maple/. The examples were run in Maple 18 (released Spring 2014). It is likely that the same results would be obtained in Maple 17 and 16 as well as future versions of Maple, but this cannot be guaranteed. An additional code package, developed at the University of Bath and included in this dataset as `ProjectionCAD.mpl`, is required. If you do not have a copy of Maple you can still read the PDF printout of the worksheets. The very last experiment detailed in EBD15-Section4Example-OtherMaple.zip was also run in the Development Version of Maple giving a different result, as reported in the paper. The Development Version of Maple is not publicly available. However, it is likely the new algorithm within will be available in the next public Maple release (2015.0). Qepcad-B is a free piece of software for Linux which can be obtained from http://www.usna.edu/CS/qepcadweb/B/QEPCAD.html. Bash scripts are provided for running all available tests at once.

Additional information:

Within the zipped directories EBD15-Section2Example-Qepcad.zip and EBD15-Section4Example-Qepcad.zip, all the files end in either "-in.txt" or "-out.txt". The former give input for Qepcad and the latter record output. Hence readers without access to Qepcad (e.g. on a Windows system) can still observe the output in the latter files.

Methodology link: