Examples for Improving Equational Constraints in Cylindrical Algebraic Decomposition

Maple worksheets and library files support the paper by Matthew England et al. from the University of Bath. The dataset includes examples solved using Qepcad-B and multiple CAD implementations in Maple, such as ProjectionCAD and RegularChains. It provides a direct comparison of sign-invariant CAD and CAD using single or multiple equational constraints.

Use Cases

• Benchmarking CAD algorithm performance based on the provided examples.
• Comparing sign-invariant CAD with CAD using equational constraints based on the described variants.
• Reproducing the results from the associated academic paper using the supplied Maple worksheets.
• Testing the functionality of CAD implementations like ProjectionCAD and RegularChains.

Strengths

• Includes direct examples from a peer-reviewed academic paper.
• Provides comparative files for multiple CAD implementations (ProjectionCAD, RegularChains).
• Contains both Maple worksheets and Qepcad-B output files for cross-validation.

Limitations

• Row count and dataset size are unknown, which may limit suitability assessment.
• Column-level documentation is absent; field semantics must be inferred from the Maple code.
• Last update date is unknown; freshness unverified.

Provenance

Source

University of Bath

Collection Method

Created to support the academic paper 'Improving the use of equational constraints in cylindrical algebraic decomposition'.