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

71 64 384 3 697 document 384 EBD15-Section2Example-Maple.mw application/xml 3591b0c9bdc4b4718989710278c80a07 MD5 77623 2015-03-24 14:19:43 https://researchdata.bath.ac.uk/71/1/EBD15-Section2Example-Maple.mw 71 1 1 application/xml other Maple worksheet for examples in Section 2 of the paper en public cc_by_sa

EBD15-Section2Example-Maple.mw

data 385 3 699 document 385 EBD15-Section2Example-Maple.pdf application/pdf dc7df056a2bcad06c7bb83924764c420 MD5 797824 2015-03-24 14:21:14 https://researchdata.bath.ac.uk/71/2/EBD15-Section2Example-Maple.pdf 71 2 2 application/pdf other PDF printout of Maple worksheet for examples in Section 2 of the paper en public cc_by_sa

EBD15-Section2Example-Maple.pdf

data 386 4 701 document 386 EBD15-Section2Example-Qepcad.zip application/zip 0292429136c7b1126934e206e1019589 MD5 5727 2015-03-24 14:21:19 https://researchdata.bath.ac.uk/71/3/EBD15-Section2Example-Qepcad.zip 71 3 4 application/zip other Qepcad-B files for examples in Section 2 of the paper en public cc_by_sa

EBD15-Section2Example-Qepcad.zip

data 387 4 703 document 387 EBD15-Section4Example-NewApproach.mw application/xml 3170926ed0d184cf32bb7624b83fcffc MD5 1280188 2015-03-24 14:21:23 https://researchdata.bath.ac.uk/71/4/EBD15-Section4Example-NewApproach.mw 71 4 5 application/xml other Maple worksheet for example in Section 4 of the paper en public cc_by_sa

EBD15-Section4Example-NewApproach.mw

data 388 4 705 document 388 EBD15-Section4Example-NewApproach.pdf application/pdf 9a9220c86c18f85de55522b9f21b65c8 MD5 2980586 2015-03-24 14:21:28 https://researchdata.bath.ac.uk/71/5/EBD15-Section4Example-NewApproach.pdf 71 5 6 application/pdf other PDF printout of Maple worksheet for example in Section 4 of the paper en public cc_by_sa

EBD15-Section4Example-NewApproach.pdf

data 389 5 707 document 389 EBD15-Section4Example-OtherMaple.zip application/zip 0e06e10d75895abda963abdccc067db9 MD5 3056140 2015-03-24 14:21:34 https://researchdata.bath.ac.uk/71/6/EBD15-Section4Example-OtherMaple.zip 71 6 8 application/zip other Other CAD implementations in Maple for example in Section 4 of the paper en public cc_by_sa

EBD15-Section4Example-OtherMaple.zip

data 390 5 709 document 390 EBD15-Section4Example-Qepcad.zip application/zip c363f7173d46b3bf49c4caa3bc5c5afa MD5 23004 2015-03-24 14:21:38 https://researchdata.bath.ac.uk/71/7/EBD15-Section4Example-Qepcad.zip 71 7 7 application/zip other Qepcad-B files for example in Section 4 of the paper en public cc_by_sa

EBD15-Section4Example-Qepcad.zip

data 391 4 711 document 391 ProjectionCAD.mpl text/plain 13497cf349c8fbccec23bfabe37a9aea MD5 225465 2015-03-24 14:21:47 https://researchdata.bath.ac.uk/71/8/ProjectionCAD.mpl 71 8 3 text/plain other Maple Library file en public cc_by_sa

ProjectionCAD.mpl

data 392 2 713 document 392 README.txt text/plain e54bc72b493a96fb896fed2602a41d18 MD5 4136 2015-03-24 14:21:51 https://researchdata.bath.ac.uk/71/9/README.txt 71 9 9 text/plain other en public

README.txt

documentation 393 1 728 document 393 indexcodes.txt text/x-pascal 716032e267b84883c597ee74778bd61f MD5 474 2015-03-24 14:39:48 https://researchdata.bath.ac.uk/71/10/indexcodes.txt 71 10 10 text/x-pascal other Generate index codes conversion from other to indexcodes en public

indexcodes.txt

http://eprints.org/relation/isVersionOf https://researchdata.bath.ac.uk/id/document/385 http://eprints.org/relation/isVolatileVersionOf https://researchdata.bath.ac.uk/id/document/385 http://eprints.org/relation/isIndexCodesVersionOf https://researchdata.bath.ac.uk/id/document/385 394 1 729 document 394 indexcodes.txt text/x-pascal c3b01f51808fbaad548c8bb253f7ab25 MD5 1407 2015-03-24 14:39:50 https://researchdata.bath.ac.uk/71/11/indexcodes.txt 71 11 11 text/x-pascal other Generate index codes conversion from other to indexcodes en public

indexcodes.txt

http://eprints.org/relation/isVersionOf https://researchdata.bath.ac.uk/id/document/392 http://eprints.org/relation/isVolatileVersionOf https://researchdata.bath.ac.uk/id/document/392 http://eprints.org/relation/isIndexCodesVersionOf https://researchdata.bath.ac.uk/id/document/392 395 2 730 document 395 lightbox.jpg image/png 7563eb9ac24a36b32546b5579f4ffa95 MD5 32189 2015-03-24 14:41:22 https://researchdata.bath.ac.uk/71/12/lightbox.jpg 71 12 12 image/png other Thumbnails conversion from other to thumbnail_lightbox en public

lightbox.jpg

http://eprints.org/relation/isVersionOf https://researchdata.bath.ac.uk/id/document/385 http://eprints.org/relation/isVolatileVersionOf https://researchdata.bath.ac.uk/id/document/385 http://eprints.org/relation/islightboxThumbnailVersionOf https://researchdata.bath.ac.uk/id/document/385 396 2 731 document 396 preview.jpg image/png 1ae384e7603e9391bb06987d7a16419c MD5 14936 2015-03-24 14:41:23 https://researchdata.bath.ac.uk/71/13/preview.jpg 71 13 13 image/png other Thumbnails conversion from other to thumbnail_preview en public

preview.jpg

http://eprints.org/relation/isVersionOf https://researchdata.bath.ac.uk/id/document/385 http://eprints.org/relation/isVolatileVersionOf https://researchdata.bath.ac.uk/id/document/385 http://eprints.org/relation/ispreviewThumbnailVersionOf https://researchdata.bath.ac.uk/id/document/385 397 2 732 document 397 medium.jpg image/png 4359baa5fc68053814e1b105246f5a1f MD5 5713 2015-03-24 14:41:23 https://researchdata.bath.ac.uk/71/14/medium.jpg 71 14 14 image/png other Thumbnails conversion from other to thumbnail_medium en public

medium.jpg

http://eprints.org/relation/isVersionOf https://researchdata.bath.ac.uk/id/document/385 http://eprints.org/relation/isVolatileVersionOf https://researchdata.bath.ac.uk/id/document/385 http://eprints.org/relation/ismediumThumbnailVersionOf https://researchdata.bath.ac.uk/id/document/385 398 2 733 document 398 small.jpg image/png 3e9445abfb40d6fae3e1a9b692479a37 MD5 1803 2015-03-24 14:41:24 https://researchdata.bath.ac.uk/71/15/small.jpg 71 15 15 image/png other Thumbnails conversion from other to thumbnail_small en public

small.jpg

http://eprints.org/relation/isVersionOf https://researchdata.bath.ac.uk/id/document/385 http://eprints.org/relation/isVolatileVersionOf https://researchdata.bath.ac.uk/id/document/385 http://eprints.org/relation/issmallThumbnailVersionOf https://researchdata.bath.ac.uk/id/document/385 399 2 734 document 399 lightbox.jpg image/png abd267ecca595a9d491ff1fe37a19e4a MD5 33771 2015-03-24 14:41:29 https://researchdata.bath.ac.uk/71/16/lightbox.jpg 71 16 16 image/png other Thumbnails conversion from other to thumbnail_lightbox en public

lightbox.jpg

preview.jpg

medium.jpg

small.jpg

http://eprints.org/relation/isVersionOf https://researchdata.bath.ac.uk/id/document/388 http://eprints.org/relation/isVolatileVersionOf https://researchdata.bath.ac.uk/id/document/388 http://eprints.org/relation/issmallThumbnailVersionOf https://researchdata.bath.ac.uk/id/document/388 archive 3777 disk0/00/00/00/71 2015-03-25 16:06:57 2024-07-15 10:57:44 2015-03-25 16:06:57 data_collection show England Matthew M.England@bath.ac.uk 0000-0001-5729-3420 University of Bath TRUE Bradford Russell R.J.Bradford@bath.ac.uk 0009-0003-3251-2051 University of Bath TRUE Davenport James J.H.Davenport@bath.ac.uk 0000-0002-3982-7545 University of Bath TRUE Dataset supporting the paper: Improving the use of equational constraints in cylindrical algebraic decomposition CZ0010 FB0070 GJ0010 dept_compsci 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. 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. 2015 University of Bath public RightsHolder University of Bath Engineering and Physical Sciences Research Council https://doi.org/10.13039/501100000266 EP/J003247/1 Real Geometry and Connectedness via Triangular Description 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. The numbers reported in the paper were cell counts taken from running the code provided in this dataset. 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. https://doi.org/10.1145/2755996.2756678 https://doi.org/10.1007/978-3-662-44199-2_69 https://researchportal.bath.ac.uk/en/publications/d7737767-fef3-4fe7-ba8b-8bdfc6abf21c en 1 10.15125/BATH-00071 https://doi.org/10.1145/2755996.2756678 pub open