blob: f0e5df22d3477690321257fd4873ba59f1031b73 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
|
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
|
