9f0cebd468952547.tex
1: \begin{definition}
2: The corner $(\alpha^-,\gamma^+)$ is
3: {\bf ambiguous}
4:   if there are intervals 
5: $(x,x')$ and  $(y,y')$ output by Theorem \ref{sing-fibers}
6: such that 
7: $(x,x')$, 
8: isolating a root $\xi$
9:  of $\tilde P(X,\gamma^+)$,
10:  contains 
11: $\alpha^-$ and 
12: $(y,y')$,
13: isolating a root $\eta$
14:  of $\tilde P(\alpha^-,Y)$, contains 
15: $\gamma^+$. We omit similar definitions for the
16: three
17: corners  $(\alpha^-,\gamma^-)$,
18:  $(\alpha^+,\gamma^-)$,  $(\alpha^+,\gamma^+) $.
19:  
20:  Similarly the midpoint $(\alpha,\gamma^+)$ is
21:  {\bf ambiguous}
22:    if there are intervals 
23: $(x,x')$ and  $(y,y')$ output by Theorem \ref{sing-fibers}
24: sachet that 
25: $(x,x')$,
26: isolating a root $\xi$,
27:  of $\tilde P(X,\gamma^+)$
28:  contains 
29: $\alpha$ and 
30: $(y,y')$,
31: isolating a root $\eta$
32:  of $\tilde P(\alpha,Y)$, contains 
33: $\gamma^+$ .
34: We omit a
35: similar definition for the
36: other midpoint  $(\alpha,\gamma^-)$.
37: \end{definition}
38: