The files in this dataset support the paper "Improving the use of equational constraints in cylindrical algebraic decomposition" by Matthew England, Russell Bradford and James H. Davenport. They include the following:

1. A Maple worksheet and library file detailing the examples in Section 2 of the paper.
2. A zipped directory of files concerning those examples from Section 2 of the paper run in Qepcad-B.
3. A Maple worksheet concerning the example in Section 4 solved using the new ideas of the paper.
4. A zipped directory of files concerning the example in Section 4 of the paper when solved with Qepcad-B.
5. A zipped directory of files concerning the other CAD implementations in Maple for the example in Section 4. These are
    - Sign-invariant CAD by our own package ProjectionCAD;
    - Sign-invariant CAD by the RegularChains package (two variants);
    - CAD using single EC (four variants) in our own package;
    - CAD using multiple ECs in Regular Chains.