The ESPCAD (or Extended-Sign PCAD) just extends the PCAD
structure. The pieces of information to be added are
- SC_SIGN
-
If cell C is an i-level cell of an ESPCAD (Extended sub-CAD), then
field SC_SIGN is a list (s_1,s_2, ... ,s_m), such that there are
m i-level projection factors for the ESPCAD, and s_j is the sign of
the jth i-level projection factor in C.
- SC_EXTS
-
If cell C is an i-level cell of an ESPCAD (Extended sub-CAD), then
field SC_EXTS is a list (s_1,s_2, ... ,s_m), such that there are
m i-level projection factors for the ESPCAD, and s_j is the
index
of the jth i-level projection factor in C.
- SC_TMPM
- This is a temporary mark whose use is variable.
- SC_RRNV
- If cell C is an i-level cell of an ESPCAD (Extended sub-CAD), then
field SC_RRNV is a list (s_1,s_2, ... ,s_m), such that there are
m (i+1)-level projection factors, and s_j gives the number of
distinct real roots of the jth (m+1)-level projection factor
over C. If the jth polynomial is identically zero over C, then
s_j is -1.
Here's a list of programs for manipulating ESPCAD's:
LIST
Christopher W. Brown
Last modified: Tue Jul 30 15:24:34 EDT 2002