ESOLID Version xxx URL: http://research.cs.tamu.edu/keyser/geom/ 1) Files README This file mapc_poly_main.cc A sample file to use MAPC mapc_sturm_main.cc A sample file to use MAPC mapc_pt1_main.cc A sample file to use MAPC mapc_main.cc A sample file to use MAPC esolid_main.cc A sample file to use ESOLID In the rest of this file, ${ESOLID_dir} refers to the installation directory, the parent directory where you are now. 2) MAPC MAPC is a library for efficient exact manipulation of algebraic points and curves. To build the archive of the object files, go to ${ESOLID_dir} and type make libmapc 2-1) mapc_poly_main.cc This file contains the source codes to build the executable "mapc_poly". To build the executable "esolid", go to ${ESOLID_dir} and type make mapc_poly This file contains several examples to use MAPC to perform arithmetic operations over the ring of polynomials with rational coefficients. 2-2) mapc_sturm_main.cc This file contains the source codes to build the executable "mapc_sturm". To build the executable "esolid", go to ${ESOLID_dir} and type make mapc_sturm This file contains several examples to use MAPC to compute the roots of a given univariate polynomial with rational coefficients by Sturm sequence method. 2-3) mapc_pt1_main.cc This file contains the source codes to build the executable "mapc_pt1". To build the executable "esolid", go to ${ESOLID_dir} and type make mapc_pt1 This file contains several examples to use MAPC to perform arithmetic operations over 1-dimensional algebraic numbers. 2-4) mapc_main.cc This file contains the source codes to build the executable "mapc". To build the executable "esolid", go to ${ESOLID_dir} and type make mapc This file contains several examples to use MAPC. 3) ESOLID ESOLID is a system for performing exact boundary evaluation of low-degree curves solids. 3-1) esolid_main.cc This file contains the source codes to build the executable "esolid". To build the executable "esolid", go to ${ESOLID_dir} and type make esolid or simply make The usage is "esolid" is as follows: usage: esolid [operation] infile1 [infile2] [outfile] operations: -M perform a multilevel operation rooted at the directory infile1 -U perform a union between infile1 and infile2, output to outfile. -I perfom an intersection between infile1 and infile2, output to outfile. -D perform a difference of infile1 minus infile2, output to outfile. -O output the solid given in infile1 to outfile (do not specify infile2). example: ${ESOLID_dir}/esolid -U ${ESOLID_dir}/desolid/boxinp1 ${ESOLID_dir}/desolid/boxinp2 ${ESOLID_dir}/bez/box1Ubox2.bez 4) Contact: Prof. John Keyser: keyser@cs.tamu.edu Koji Ouchi : kouchi@cs.tamu.edu